Package com.ohrasys.cad.bnf.validator

A package to verify the syntax and optionally format a Backus-Naur Form file.

See:
Description

Class Summary

AndFactorsValidator
AssignmentValidator
BasicSymbolValidator
BNFValidator
BracedTermValidator
BracketedTermValidator
EscapedSymbolValidator
FactorsValidator
FactorValidator
IdentifierAdditionalCharacterValidator
IdentifierStartCharacterValidator
IdentifierValidator
LowercaseValidator
NumberValidator
OrFactorsValidator
OrFactorValidator
QuotedValidator
RuleValidator
SubFactorsValidator
SymbolValidator
TermValidator
UnderscoreValidator
UppercaseValidator
ValidatorFormattingRules
ValidatorUtils
WhitespaceValidator

Package com.ohrasys.cad.bnf.validator Description

A package to verify the syntax and optionally format a Backus-Naur Form file.

The table below is a description of Backus-Naur Form using Backus-Naur Form grammar.

SYNTAX ::= RULE { RULE } ;
RULE ::= IDENTIFIER ASSIGNMENT TERM { TERM } ";" ;
TERM ::= BASIC_TERM | BRACKET_TERM | BRACED_TERM ;
BRACKET_TERM ::= "[" FACTORS "]" ;
BRACED_TERM ::= "{" FACTORS "}" ;
BASIC_TERM ::= FACTORS ;
FACTORS ::= FACTOR [ SUB_FACTORS ] ;
SUB_FACTORS ::= AND_FACTORS | OR_FACTORS ;
AND_FACTORS ::= AND_FACTOR { AND_FACTOR } ;
OR_FACTORS ::= OR_FACTOR { OR_FACTOR } ;
AND_FACTOR ::= FACTOR ;
OR_FACTOR ::= "|" FACTOR ;
FACTOR ::= QUOTED | IDENTIFIER ;
QUOTED ::= "\"" SYMBOLS "\"" ;
SYMBOLS ::= SYMBOL { SYMBOL } ;
SYMBOL ::= ID_ADD_CHAR | BASIC_SYMBOL | ESCAPED_SYMBOL ;
IDENTIFIER ::= ID_START_CHAR { ID_ADD_CHAR } ;
ID_START_CHAR ::= UPPERCASE | LOWERCASE ;
ID_ADD_CHAR ::= ID_START_CHAR | NUMBERS | UNDERSCORE ;
UPPERCASE ::= "A" | "B" | "C" | "D" | "E" | "F" | "G" | "H" | "I" | "J" | "K" | "L" | "M" | "N" | "O" | "P" | "Q" | "R" | "S" | "T" | "U" | "V" | "W" | "X" | "Y" | "Z" ;
LOWERCASE ::= "a" | "b" | "c" | "d" | "e" | "f" | "g" | "h" | "i" | "j" | "k" | "l" | "m" | "n" | "o" | "p" | "q" | "r" | "s" | "t" | "u" | "v" | "w" | "x" | "y" | "z" ;
NUMBERS ::= "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9" ;
UNDERSCORE ::= "_" ;
BASIC_SYMBOL ::= "`" | "~" | "!" | "@" | "#" | "$" | "%" | "^" | "&" | "*" | "(" | ")" | "-" | "+" | "=" | "{" | "}" | "[" | "]" | " | " | ":" | ";" | "'" | "<" | ">" | "," | "." | "/" | "?" | " " ;
ESCAPED_SYMBOL ::= "\"" | "\\" | "\n" | "\t" ;
ASSIGNMENT ::= "::=" ;