import Data.List (intercalate, intersperse)
-import System.Exit (exitFailure)
-import Text.Regex.Posix
-
-import Cidr (Cidr,
- from_string,
- min_first_octet,
- min_second_octet,
- min_third_octet,
- min_fourth_octet,
- max_first_octet,
- max_second_octet,
- max_third_octet,
- max_fourth_octet)
+import System.Exit (ExitCode(..), exitWith)
+import System.IO (stderr, hPutStrLn)
+
+import Cidr (Cidr(..),
+ cidr_from_string,
+ is_valid_cidr)
+
+import CommandLine (help_set,
+ help_text,
+ input_function,
+ Mode(..),
+ parse_errors,
+ parse_mode)
+
+import IPv4Address
+import Octet
+
+-- Some exit codes, used in the ExitFailure constructor.
+exit_invalid_cidr :: Int
+exit_invalid_cidr = 1
+
+exit_args_parse_failed :: Int
+exit_args_parse_failed = 2
-- A regular expression that matches a non-address character.
range2 = numeric_range min2 max2
range3 = numeric_range min3 max3
range4 = numeric_range min4 max4
- min1 = min_first_octet cidr
- min2 = min_second_octet cidr
- min3 = min_third_octet cidr
- min4 = min_fourth_octet cidr
- max1 = max_first_octet cidr
- max2 = max_second_octet cidr
- max3 = max_third_octet cidr
- max4 = max_fourth_octet cidr
-
+ min1 = octet_to_int (min_octet1 (ipv4address cidr) (maskbits cidr))
+ min2 = octet_to_int (min_octet2 (ipv4address cidr) (maskbits cidr))
+ min3 = octet_to_int (min_octet3 (ipv4address cidr) (maskbits cidr))
+ min4 = octet_to_int (min_octet4 (ipv4address cidr) (maskbits cidr))
+ max1 = octet_to_int (max_octet1 (ipv4address cidr) (maskbits cidr))
+ max2 = octet_to_int (max_octet2 (ipv4address cidr) (maskbits cidr))
+ max3 = octet_to_int (max_octet3 (ipv4address cidr) (maskbits cidr))
+ max4 = octet_to_int (max_octet4 (ipv4address cidr) (maskbits cidr))
--- Will return True if the passed String is in CIDR notation, False
--- otherwise.
-is_valid_cidr :: String -> Bool
-is_valid_cidr cidr = cidr =~ "([0-9]{1,3}\\.){3}[0-9]{1,3}/[0-9]{1,2}"
-- Take a list of Strings, and return a regular expression matching
upper = maximum [x,y]
--- Take a CIDR String, and exitFailure if it's invalid.
+-- Take a CIDR String, and exit with a failure if it's invalid.
validate_or_die :: String -> IO ()
validate_or_die cidr = do
- if (is_valid_cidr cidr)
+ if (Cidr.is_valid_cidr cidr)
then do
return ()
else do
putStrLn "Error: not valid CIDR notation."
- exitFailure
+ exitWith (ExitFailure exit_invalid_cidr)
+
main :: IO ()
main = do
- input <- getContents
+ -- First, check for any errors that occurred while parsing
+ -- the command line options.
+ errors <- CommandLine.parse_errors
+ if not (null errors)
+ then do
+ hPutStrLn stderr (concat errors)
+ putStrLn CommandLine.help_text
+ exitWith (ExitFailure exit_args_parse_failed)
+ else do -- Nothing
+
+ -- Next, check to see if the 'help' option was passed to the
+ -- program. If it was, display the help, and exit successfully.
+ help_opt_set <- CommandLine.help_set
+ if help_opt_set
+ then do
+ putStrLn CommandLine.help_text
+ exitWith ExitSuccess
+ else do -- Nothing
+
+ -- The input function we receive here should know what to read.
+ inputfunc <- (CommandLine.input_function)
+ input <- inputfunc
+
let cidr_strings = lines input
mapM validate_or_die cidr_strings
- let cidrs = map Cidr.from_string cidr_strings
- let regexes = map cidr_to_regex cidrs
- putStrLn $ alternate regexes
+ let cidrs = map Cidr.cidr_from_string cidr_strings
+
+ -- Get the mode of operation.
+ mode <- CommandLine.parse_mode
+ case mode of
+ Regex -> do
+ let regexes = map cidr_to_regex cidrs
+ putStrLn $ alternate regexes
+ Reduce -> do
+ putStr input