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
ProBParseExceptionjava.lang.UnsupportedOperationExceptionpublic de.prob.prolog.term.PrologTerm parsePredicate(java.lang.String predicate,
boolean wrap)
throws ProBParseException,
java.lang.UnsupportedOperationException
ProBParseExceptionjava.lang.UnsupportedOperationExceptionpublic de.prob.prolog.term.PrologTerm parseTransitionPredicate(java.lang.String transPredicate,
boolean wrap)
throws ProBParseException,
java.lang.UnsupportedOperationException
ProBParseExceptionjava.lang.UnsupportedOperationException