(* Module: Rx Generic regexps to build lenses Author: Raphael Pinson About: License This file is licensed under the LGPL v2+, like the rest of Augeas. *) module Rx = (* Group: Spaces *) (* Variable: space A mandatory space or tab *) let space = /[ \t]+/ (* Variable: opt_space An optional space or tab *) let opt_space = /[ \t]*/ (* Variable: cl A continued line with a backslash *) let cl = /[ \t]*\\\\\n[ \t]*/ (* Variable: cl_or_space A or a *) let cl_or_space = cl | space (* Variable: cl_or_opt_space A or a *) let cl_or_opt_space = cl | opt_space (* Group: General strings *) (* Variable: space_in A string which not starting or ending with a space *) let space_in = /[^ \t\n].*[^ \t\n]|[^ \t\n]/ (* Variable: no_spaces A string with no spaces *) let no_spaces = /[^ \t\n]+/ (* Variable: word An alphanumeric string *) let word = /[A-Za-z0-9_.-]+/ (* Variable: integer One or more digits *) let integer = /[0-9]+/ (* Variable: integer A relative *) let relinteger = /[-+]?[0-9]+/ (* Variable: decimal A decimal value (using ',' or '.' as a separator) *) let decimal = /[0-9]+([.,][0-9]+)?/ (* Variable: reldecimal A relative *) let reldecimal = /[+-]?[0-9]+([.,][0-9]+)?/ (* Variable: fspath A filesystem path *) let fspath = /[^ \t\n]+/ (* Group: All but... *) (* Variable: neg1 Anything but a space, a comma or a comment sign *) let neg1 = /[^,# \n\t]+/ (* * Group: IPs * Cf. http://blog.mes-stats.fr/2008/10/09/regex-ipv4-et-ipv6/ (in fr) *) (* Variable: ipv4 *) let ipv4 = let dot = "." in let digits = /(25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)/ in digits . dot . digits . dot . digits . dot . digits (* Variable: ipv6 *) let ipv6 = /(([0-9A-Fa-f]{1,4}:){7}[0-9A-Fa-f]{1,4})/ | /(([0-9A-Fa-f]{1,4}:){6}:[0-9A-Fa-f]{1,4})/ | /(([0-9A-Fa-f]{1,4}:){5}:([0-9A-Fa-f]{1,4}:)?[0-9A-Fa-f]{1,4})/ | /(([0-9A-Fa-f]{1,4}:){4}:([0-9A-Fa-f]{1,4}:){0,2}[0-9A-Fa-f]{1,4})/ | /(([0-9A-Fa-f]{1,4}:){3}:([0-9A-Fa-f]{1,4}:){0,3}[0-9A-Fa-f]{1,4})/ | /(([0-9A-Fa-f]{1,4}:){2}:([0-9A-Fa-f]{1,4}:){0,4}[0-9A-Fa-f]{1,4})/ | ( /([0-9A-Fa-f]{1,4}:){6}/ . /((((25[0-5])|(1[0-9]{2})|(2[0-4][0-9])|([0-9]{1,2})))\.){3}/ . /(((25[0-5])|(1[0-9]{2})|(2[0-4][0-9])|([0-9]{1,2})))/ ) | ( /([0-9A-Fa-f]{1,4}:){0,5}:/ . /((((25[0-5])|(1[0-9]{2})|(2[0-4][0-9])|([0-9]{1,2})))\.){3}/ . /(((25[0-5])|(1[0-9]{2})|(2[0-4][0-9])|([0-9]{1,2})))/ ) | ( /::([0-9A-Fa-f]{1,4}:){0,5}/ . /((((25[0-5])|(1[0-9]{2})|(2[0-4][0-9])|([0-9]{1,2})))\.){3}/ . /(((25[0-5])|(1[0-9]{2})|(2[0-4][0-9])|([0-9]{1,2})))/ ) | ( /[0-9A-Fa-f]{1,4}::([0-9A-Fa-f]{1,4}:){0,5}/ . /[0-9A-Fa-f]{1,4}/ ) | /(::([0-9A-Fa-f]{1,4}:){0,6}[0-9A-Fa-f]{1,4})/ | /(([0-9A-Fa-f]{1,4}:){1,7}:)/ (* Variable: ip An or *) let ip = ipv4 | ipv6 (* * Variable: device_name * A Linux device name like eth0 or i2c-0. Might still be too restrictive *) let device_name = /[a-zA-Z0-9_?.+:!-]+/ (* * Variable: email_addr * To be refined *) let email_addr = /[A-Za-z0-9_+.-]+@[A-Za-z0-9_.-]+/