public class BindingGenerator
extends java.lang.Object
| Constructor and Description |
|---|
BindingGenerator() |
| Modifier and Type | Method and Description |
|---|---|
static java.util.Map<java.lang.String,de.prob.prolog.term.PrologTerm> |
createBinding(Start ast) |
static java.util.Map<java.lang.String,de.prob.prolog.term.PrologTerm> |
createBindingMustNotFail(java.lang.String query,
Start ast) |
static de.prob.prolog.term.CompoundPrologTerm |
getCompoundTerm(java.util.Map<java.lang.String,de.prob.prolog.term.PrologTerm> bindings,
java.lang.String name,
int arity) |
static de.prob.prolog.term.CompoundPrologTerm |
getCompoundTerm(java.util.Map<java.lang.String,de.prob.prolog.term.PrologTerm> bindings,
java.lang.String name,
java.lang.String functor,
int arity) |
static de.prob.prolog.term.CompoundPrologTerm |
getCompoundTerm(de.prob.prolog.term.PrologTerm term,
int arity) |
static de.prob.prolog.term.CompoundPrologTerm |
getCompoundTerm(de.prob.prolog.term.PrologTerm term,
java.lang.String functor,
int arity) |
static de.prob.prolog.term.IntegerPrologTerm |
getInteger(java.util.Map<java.lang.String,de.prob.prolog.term.PrologTerm> bindings,
java.lang.String name) |
static de.prob.prolog.term.IntegerPrologTerm |
getInteger(de.prob.prolog.term.PrologTerm term) |
static de.prob.prolog.term.ListPrologTerm |
getList(ISimplifiedROMap<java.lang.String,de.prob.prolog.term.PrologTerm> bindings,
java.lang.String name) |
static de.prob.prolog.term.ListPrologTerm |
getList(java.util.Map<java.lang.String,de.prob.prolog.term.PrologTerm> bindings,
java.lang.String name) |
static de.prob.prolog.term.ListPrologTerm |
getList(de.prob.prolog.term.PrologTerm term) |
static de.prob.prolog.term.VariablePrologTerm |
getVariable(java.util.Map<java.lang.String,de.prob.prolog.term.PrologTerm> bindings,
java.lang.String name) |
static de.prob.prolog.term.VariablePrologTerm |
getVariable(de.prob.prolog.term.PrologTerm term) |
public static java.util.Map<java.lang.String,de.prob.prolog.term.PrologTerm> createBinding(Start ast) throws ResultParserException
ResultParserExceptionpublic static java.util.Map<java.lang.String,de.prob.prolog.term.PrologTerm> createBindingMustNotFail(java.lang.String query,
Start ast)
throws ResultParserException
ResultParserExceptionpublic static de.prob.prolog.term.CompoundPrologTerm getCompoundTerm(de.prob.prolog.term.PrologTerm term,
java.lang.String functor,
int arity)
throws ResultParserException
ResultParserExceptionpublic static de.prob.prolog.term.CompoundPrologTerm getCompoundTerm(de.prob.prolog.term.PrologTerm term,
int arity)
throws ResultParserException
ResultParserExceptionpublic static de.prob.prolog.term.CompoundPrologTerm getCompoundTerm(java.util.Map<java.lang.String,de.prob.prolog.term.PrologTerm> bindings,
java.lang.String name,
java.lang.String functor,
int arity)
throws ResultParserException
ResultParserExceptionpublic static de.prob.prolog.term.CompoundPrologTerm getCompoundTerm(java.util.Map<java.lang.String,de.prob.prolog.term.PrologTerm> bindings,
java.lang.String name,
int arity)
throws ResultParserException
ResultParserExceptionpublic static de.prob.prolog.term.ListPrologTerm getList(de.prob.prolog.term.PrologTerm term)
throws ResultParserException
ResultParserExceptionpublic static de.prob.prolog.term.ListPrologTerm getList(java.util.Map<java.lang.String,de.prob.prolog.term.PrologTerm> bindings,
java.lang.String name)
throws ResultParserException
ResultParserExceptionpublic static de.prob.prolog.term.ListPrologTerm getList(ISimplifiedROMap<java.lang.String,de.prob.prolog.term.PrologTerm> bindings, java.lang.String name) throws ResultParserException
ResultParserExceptionpublic static de.prob.prolog.term.IntegerPrologTerm getInteger(de.prob.prolog.term.PrologTerm term)
throws ResultParserException
ResultParserExceptionpublic static de.prob.prolog.term.IntegerPrologTerm getInteger(java.util.Map<java.lang.String,de.prob.prolog.term.PrologTerm> bindings,
java.lang.String name)
throws ResultParserException
ResultParserExceptionpublic static de.prob.prolog.term.VariablePrologTerm getVariable(de.prob.prolog.term.PrologTerm term)
throws ResultParserException
ResultParserExceptionpublic static de.prob.prolog.term.VariablePrologTerm getVariable(java.util.Map<java.lang.String,de.prob.prolog.term.PrologTerm> bindings,
java.lang.String name)
throws ResultParserException
ResultParserException