public abstract class DomainTheoryGrammar
extends java.lang.Object
ParserDomainTheory
.
DomainTheory -> LanguageName, HeaderOpts, StandardMacros, Theory.
LanguageName -> leftParen, "languageName", comma, string, rightParen.
First: [leftParen] Follow: [leftParen, symbol]
HeaderOpts -> leftParen, HdrOpts2, HeaderOpts.
| \empty.
First: [leftParen] Follow: [symbol]
HdrOpts2 -> "author", comma, string, rightParen.
| "date", comma, string, rightParen.
| "partial", comma, Boolean, rightParen.
| "address", comma, Boolean, rightParen.
| "polygamyOK", comma, Boolean, rightParen.
| "citation", comma, string, rightParen.
| "non_term", comma, FlagOrKinTerm, OtherFlagOrKinTerm, rightParen.
| "recursiveLevels", comma, integer, rightParen.
| "userDefinedProperties", UDProps, rightParen.
| "synonyms", comma, TermPairs, rightParen.
| "umbrellas", comma, TermListPairs, rightParen.
| "overlaps", comma, TermListPairs, rightParen.
First: ["author", "date", "partial", "polygamyOK", "citation", "non_term",
"recursiveLevels", "userDefinedProperties", "umbrellas", "synonyms", "overlaps"]
Follow: [leftParen, symbol]
Boolean -> "true".
| "false".
First: ["true", "false"] Follow: [comma, rightParen]
U_D_Props -> comma, leftParen, starName, comma, "type", comma, Type, comma, "single_value", comma, Boolean, UDP_Opts, rightParen, U_D_Props.
| \empty.
First: [comma] Follow: [rightParen]
Type -> "integer".
| "float".
| "string".
| "boolean".
| "individual".
First: [
UDP_Opts -> comma, RestrictOrDefault, UDP_Opts.
| \empty.
First: [comma] Follow: [rightParen]
RestrictOrDefault -> "restricted_to", comma, leftParen, Ints_Floats_Strings, rightParen.
| "default", comma, Int_Float_String.
| "max", comma, Int_Float.
| "min", comma, Int_Float.
First: ["restricted_to", "default", "max", "min"] Follow: [comma, rightParen]
Int_Float_String -> integer.
| float.
| string.
First: [integer, float, string] Follow: [comma, rightParen]
Int_Float -> integer.
| float.
First: [integer, float] Follow: [comma, rightParen]
Ints_Floats_Strings -> Ints.
| Floats.
| Strings.
First: [integer, float, string] Follow: [rightParen]
Ints -> integer, MoreInts.
MoreInts -> comma, integer, MoreInts.
| \empty
First: [comma] Follow: [rightParen]
Floats -> float, MoreFloats.
MoreFloats -> comma, float, MoreFloats.
| \empty.
First: [comma] Follow: [rightParen]
Strings -> string, MoreStrings.
MoreStrings -> comma, string, MoreStrings.
| \empty.
First: [comma] Follow: [rightParen]
StandardMacros -> KinTermDef, SignatureString, Expansion, OtherDefs.
| \empty.
TermPairs -> TermPair, OtherTermPairs.
First: [leftParen] Follow: [rightParen]
TermPair -> leftParen, symbol, comma, symbol, rightParen.
First: [leftParen] Follow: [comma, rightParen]
OtherTermPairs -> comma, TermPair, OtherTermPairs.
| \empty.
First: [comma] Follow: [rightParen]
TermListPairs -> TermListPair, OtherTermListPairs.
First: [leftParen] Follow: [rightParen]
OtherTermListPairs -> comma, TermListPair, OtherTermListPairs.
| \empty.
First: [comma] Follow: [rightParen]
TermListPair -> leftParen, symbol, comma, TermList, rightParen.
First: [leftParen] Follow: [rightParen]
TermList -> leftParen, symbol, MoreTerms, rightParen.
First: [leftParen] Follow: [rightParen]
MoreTerms -> comma, symbol, MoreTerms.
| \empty.
First: [comma] Follow: [rightParen]
Theory -> KinTermDef, SignatureString, Expansion, OtherDefs.
OtherDefs -> KinTermDef, SignatureString, Expansion, OtherDefs.
| \empty.
First: [symbol] Follow: [$]
KinTermDef -> ClauseHead, imply, ClauseBody, OtherBodies.
First: [symbol] Follow: [percent $]
ClauseHead -> symbol, leftParen, Args, rightParen.
Args -> var, OtherArgs.
| symbol, OtherArgs.
| string, OtherArgs.
| integer, OtherArgs.
| float, OtherArgs.
First: [var, symbol, string] Follow: [rightParen]
OtherArgs -> \empty.
| comma, Args.
First: [comma] Follow: [rightParen]
ClauseBody -> LitOrFlag, OtherLitsOrFlags, period.
First: [symbol, flag] Follow: [bar, symbol, percent, $]
OtherLitsOrFlags -> \empty.
| comma, LitOrFlag, OtherLitsOrFlags.
First: [comma] Follow: [period]
OtherBodies -> bar, ClauseBody, OtherBodies.
| \empty.
First: [bar] Follow: [symbol, percent, leftCurly, $]
FlagOrKinTerm -> flag.
| symbol.
First: [flag, symbol]
Follow: [comma, leftParen, symbol]
OtherFlagOrKinTerm -> comma, OtherFlagOrKinTerm2.
| \empty.
First: [comma]
Follow: [rightParen]
OtherFlagOrKinTerm2 -> flag, OtherFlagOrKinTerm.
| symbol, OtherFlagOrKinTerm.
First: [flag, symbol]
Follow: [leftParen, symbol]
LitOrFlag -> flag.
| Literal.
Literal -> symbol, leftParen, ArgNest, rightParen.
| starName, leftParen, ArgNest, rightParen.
First: [symbol, starName] Follow: [comma, period]
ArgNest -> var, OtherArgNest.
| symbol, SymbOrLitRest, OtherArgNest.
| starName, leftParen, ArgNest, rightParen, OtherArgNest.
| string, OtherArgNest.
| integer, OtherArgNest.
| float, OtherArgNest.
| \empty.
First: [var, symbol, starName, string, integer, float] Follow: [rightParen]
SymbOrLitRest -> \empty.
| leftParen, ArgNest, rightParen.
First: [leftParen] Follow: [comma, rightParen]
OtherArgNest -> \empty.
| comma, ArgNest.
First: [comma] Follow: [rightParen]
SignatureString -> \empty.
| leftCurly, string, rightCurly.
First: [leftCurly] Follow: [percent, symbol, $]
Expansion -> ExpList, ExpClauseBody, Expansion.
| \empty.
First: [percent] Follow: [symbol, starName, $]
ExpClauseBody -> LitOrFlag, OtherLitsOrFlags, period.
First: [symbol, flag] Follow: [bar, symbol, percent, $]
ExpList -> percent, ExpItem, OtherExpItems, percent, LvlStr.
First: [percent] Follow: [symbol, flag]
ExpItem -> symbol, colon, integer.
| NegExpansion.
First: [symbol, leftParen] Follow: [comma, percent, rightParen]
OtherExpItems -> comma, ExpItem, OtherExpItems.
| \empty.
First: [comma] Follow: [percent, rightParen]
LvlStr -> CtrSet, comma, CtrSet, comma, CtrSet, comma, leftCurly, VarOrStar, rightCurly.
First: [symbol] Follow: [symbol, flag]
VarOrStar -> var, MoreVarsOrStars.
| varWithStars, MoreVarsOrStars.
| starName, MoreVarsOrStars.
| stars, MoreVarsOrStars.
First: [var, varWithStars, starName, stars] Follow: [rightCurly]
MoreVarsOrStars -> var, MoreVarsOrStars.
| varWithStars, MoreVarsOrStars.
| starName, MoreVarsOrStars.
| stars, MoreVarsOrStars.
| \empty.
First: [var, varWithStars, starName, stars] Follow: [rightCurly]
CtrSet -> symbol, equal, integer.
First: [symbol, starName] Follow: [comma, period]
NegExpansion -> leftParen, symbol, NegExpRest, rightParen.
First: [leftParen] Follow: [comma, percent, rightParen]
NegExpRest -> colon, ExpItem, OtherExpItems.
| \empty.
First: [colon] Follow: [rightParen]
Constructor and Description |
---|
DomainTheoryGrammar() |