public class UnparsedParserBase extends java.lang.Object implements ProBParserBase
| Constructor and Description |
|---|
UnparsedParserBase(java.lang.String expr,
java.lang.String pred,
java.lang.String trans) |
| Modifier and Type | Method and Description |
|---|---|
void |
parseExpression(de.prob.prolog.output.IPrologTermOutput pto,
java.lang.String expression,
boolean wrap)
Parses a string that should contain an expression.
|
void |
parsePredicate(de.prob.prolog.output.IPrologTermOutput pto,
java.lang.String predicate,
boolean wrap)
Parses a string that should contain a predicate.
|
void |
parseTransitionPredicate(de.prob.prolog.output.IPrologTermOutput pto,
java.lang.String transPredicate,
boolean wrap)
Parses a string that should contain a predicate over a transition between
two states.
|
public UnparsedParserBase(java.lang.String expr,
java.lang.String pred,
java.lang.String trans)
public void parseExpression(de.prob.prolog.output.IPrologTermOutput pto,
java.lang.String expression,
boolean wrap)
throws ProBParseException,
java.lang.UnsupportedOperationException
ProBParserBaseparseExpression in interface ProBParserBasepto - The PrologTermOutput where the result should be written texpression - The expression as stringwrap - whether the Prolog representation should be wrapped by a term
that indicates the type of formalism.ProBParseException - in case of a parse error (e.g. syntax or lexer errors)java.lang.UnsupportedOperationException - if the formalism does not support expressionspublic void parsePredicate(de.prob.prolog.output.IPrologTermOutput pto,
java.lang.String predicate,
boolean wrap)
throws ProBParseException,
java.lang.UnsupportedOperationException
ProBParserBaseparsePredicate in interface ProBParserBasepto - The PrologTermOutput where the result should be written tpredicate - The predicate as stringwrap - whether the Prolog representation should be wrapped by a term
that indicates the type of formalism.ProBParseException - in case of a parse error (e.g. syntax or lexer errors)java.lang.UnsupportedOperationException - if the formalism does not support predicatespublic void parseTransitionPredicate(de.prob.prolog.output.IPrologTermOutput pto,
java.lang.String transPredicate,
boolean wrap)
throws ProBParseException,
java.lang.UnsupportedOperationException
ProBParserBaseparseTransitionPredicate in interface ProBParserBasepto - The PrologTermOutput where the result should be written ttransPredicate - The transition predicate as stringwrap - whether the Prolog representation should be wrapped by a term
that indicates the type of formalism.ProBParseException - in case of a parse error (e.g. syntax or lexer errors)java.lang.UnsupportedOperationException - if the formalism does not support predicates on transitions