This class encodes an Alphabet to support the
DFA
used in parsing
Horn Clauses. The static method
check
recognizes the
following alphabet:
- SmLtr any lower-case letter
- CapLtr any upper-case letter
- LtrOrDig a-z, A-Z, 0-9, and underscore.
- LeftParen '('
- RightParen ')'
- LeftAngle '<'
- NonLeftAngle anything but '<'
- RightAngle '>'
- NonRightAngle anything but '>'
- LeftSquare '['
- RightSquare ']'
- LeftCurly '{'
- RightCurly '}'
- EqualSign '='
- Dash '-'
- UnderScore '_'
- Comma ','
- Period '.'
- Colon ':'
- SemiColon ';'
- Bar '|'
- Slash '/'
- BackSlash '\'
- NonSlash anything but '/'
- AtSign '@'
- NonAtSign anything but '@'
- Pound '#'
- Star '*'
- Plus '+'
- QuestionMark '?'
- Exclamation '!'
- LineTerm any character that causes a new line to start (\n, \r, etc.)
- NonLineTerm anything other than a LineTerm
- WhiteSpace any non-printing character
- Quote the quote character
- NonQuote anything except the quote character
- Any any legal character, but not end-of-file
- Digit 0-9
- NonDigit anything except 0-9
- Percent '%'