public class ClassicalBParser
extends java.lang.Object
implements de.prob.parserbase.ProBParserBase
Constructor and Description |
---|
ClassicalBParser() |
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 trans,
boolean wrap)
Parses a string that should contain a predicate over a transition between
two states.
|
public void parseExpression(de.prob.prolog.output.IPrologTermOutput pto, java.lang.String expression, boolean wrap) throws de.prob.parserbase.ProBParseException
de.prob.parserbase.ProBParserBase
parseExpression
in interface de.prob.parserbase.ProBParserBase
pto
- 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.de.prob.parserbase.ProBParseException
- in case of a parse error (e.g. syntax or lexer errors)public void parsePredicate(de.prob.prolog.output.IPrologTermOutput pto, java.lang.String predicate, boolean wrap) throws de.prob.parserbase.ProBParseException
de.prob.parserbase.ProBParserBase
parsePredicate
in interface de.prob.parserbase.ProBParserBase
pto
- 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.de.prob.parserbase.ProBParseException
- in case of a parse error (e.g. syntax or lexer errors)public void parseTransitionPredicate(de.prob.prolog.output.IPrologTermOutput pto, java.lang.String trans, boolean wrap) throws de.prob.parserbase.ProBParseException
de.prob.parserbase.ProBParserBase
parseTransitionPredicate
in interface de.prob.parserbase.ProBParserBase
pto
- The PrologTermOutput where the result should be written ttrans
- The transition predicate as stringwrap
- whether the Prolog representation should be wrapped by a term
that indicates the type of formalism.de.prob.parserbase.ProBParseException
- in case of a parse error (e.g. syntax or lexer errors)