Regular chars are all characters that are not identified as a symbol char in
WordsDef.
Special regular chars are regular characters used by Gobstones lexer to
structure numbers and identifiers in a Gobstones program.
This interface defines the basic, built-in special regular chars.
It is given separately from the extra special regular chars, as its groups are not given by
extension, but by extension, using functions.
It constitutes one of the elements of the WordsDef interface.
Digit chars are those that can appear in numbers.
Numbers usually have additional structure, so some combinations of digit chars may result in
invalid numbers during parsing.
Uppercase chars are the subset of regular characters identified as uppercase -- see
WordsDef documentation for an explanation of casing and its importance in Gobstones.
Lowercase chars are the subset of regular characters identified as lowercase -- see
WordsDef documentation for an explanation of casing and its importance in Gobstones.
It is added for redundancy, as all characters that are not identified as Uppercase are
considered lowercase...
Regular chars are all characters that are not identified as a symbol char in WordsDef. Special regular chars are regular characters used by Gobstones lexer to structure numbers and identifiers in a Gobstones program. This interface defines the basic, built-in special regular chars. It is given separately from the extra special regular chars, as its groups are not given by extension, but by extension, using functions.
It constitutes one of the elements of the WordsDef interface.
Digit chars are those that can appear in numbers. Numbers usually have additional structure, so some combinations of digit chars may result in invalid numbers during parsing.
Uppercase chars are the subset of regular characters identified as uppercase -- see WordsDef documentation for an explanation of casing and its importance in Gobstones.
Lowercase chars are the subset of regular characters identified as lowercase -- see WordsDef documentation for an explanation of casing and its importance in Gobstones. It is added for redundancy, as all characters that are not identified as Uppercase are considered lowercase...