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.ProBParserBaseparseExpression in interface de.prob.parserbase.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.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.ProBParserBaseparsePredicate in interface de.prob.parserbase.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.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.ProBParserBaseparseTransitionPredicate in interface de.prob.parserbase.ProBParserBasepto - 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)