Pattern to match hexadecimal digits

Contract
Parameter key	Default value	Type
a_type	type.<one_of pattern.digit <ref type.range_of/> <ref type.range_of/>/>	one_of
regex_string	"[0123456789abcdefABCDEF]"	string

Water Contract

<class pattern.hexdigit
  a_type        =<type.one_of pattern.digit <type.range_of min="a" max="f" include_max=true/> <type.range_of min="A" max="F" include_max=true/>/>
  regex_string  ="[0123456789abcdefABCDEF]"=string
  _native_object=<ja.org.apache.regexp.RE/>
/>

See also: is_type_for, get_string_segments, replace_string_segments, string_segment, digit

Returns a pattern with a regex_string field set to " [0123456789abcdefABCDEF] ". This pattern is useful for matching hexadecimal digit characters in the target string.

Example: A string of hexdigits

<pattern pattern.start_of_line 
         pattern.<one_or_more pattern.hexdigit /> 
         pattern.end_of_line />.
<is_type_for "0abCDEF187" />

true

Example: A string containing a non-hexdigit character

<pattern pattern.start_of_line 
         pattern.<one_or_more pattern.hexdigit /> 
         pattern.end_of_line />.
<is_type_for "0XabCDEF187" />

false