public class ProBParserBaseAdapter
extends java.lang.Object
Constructor and Description |
---|
ProBParserBaseAdapter(ProBParserBase base) |
Modifier and Type | Method and Description |
---|---|
de.prob.prolog.term.PrologTerm |
parseExpression(java.lang.String expression,
boolean wrap) |
de.prob.prolog.term.PrologTerm |
parsePredicate(java.lang.String predicate,
boolean wrap) |
de.prob.prolog.term.PrologTerm |
parseTransitionPredicate(java.lang.String transPredicate,
boolean wrap) |
public ProBParserBaseAdapter(ProBParserBase base)
public de.prob.prolog.term.PrologTerm parseExpression(java.lang.String expression, boolean wrap) throws ProBParseException, java.lang.UnsupportedOperationException
ProBParseException
java.lang.UnsupportedOperationException
public de.prob.prolog.term.PrologTerm parsePredicate(java.lang.String predicate, boolean wrap) throws ProBParseException, java.lang.UnsupportedOperationException
ProBParseException
java.lang.UnsupportedOperationException
public de.prob.prolog.term.PrologTerm parseTransitionPredicate(java.lang.String transPredicate, boolean wrap) throws ProBParseException, java.lang.UnsupportedOperationException
ProBParseException
java.lang.UnsupportedOperationException