public interface GrammaticalParser
Modifier and Type | Method and Description |
---|---|
default void |
addSettings(SessionStore store)
(Optionally) add some settings to the global storage to improve load
times.
|
int |
parseExpr(ParseTree[] parseTreeArrayIn,
Cnst formulaTypIn,
ParseNodeHolder[] parseNodeHolderExprIn,
int highestSeqIn)
Parse (syntactical analysis) of a single Expression.
|
int parseExpr(ParseTree[] parseTreeArrayIn, Cnst formulaTypIn, ParseNodeHolder[] parseNodeHolderExprIn, int highestSeqIn) throws VerifyException
parseTreeArrayIn
- Array of ParseTree to be filled in with completed
ParseTree objects by the parser.formulaTypIn
- Type Code that the Expression must parse *to*, AKA
"Start Type".parseNodeHolderExprIn
- Expression to be parsed which has already
had its variables "pre-parsed", replacing them with their
corresponding VarHyp's.highestSeqIn
- greatest MObj.seq number that can be used to parse
the expression (a Metamath Stmt should not refer to later
statements, but ambiguity checking may involve attempting a
parse using all grammar rules to see if the later rules
introduce ambiguity.)VerifyException
- if an error occurreddefault void addSettings(SessionStore store)
store
- The setting storage