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
ResultParserException
public static java.util.Map<java.lang.String,de.prob.prolog.term.PrologTerm> createBindingMustNotFail(java.lang.String query, Start ast) throws ResultParserException
ResultParserException
public static de.prob.prolog.term.CompoundPrologTerm getCompoundTerm(de.prob.prolog.term.PrologTerm term, java.lang.String functor, int arity) throws ResultParserException
ResultParserException
public static de.prob.prolog.term.CompoundPrologTerm getCompoundTerm(de.prob.prolog.term.PrologTerm term, int arity) throws ResultParserException
ResultParserException
public 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
ResultParserException
public 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
ResultParserException
public static de.prob.prolog.term.ListPrologTerm getList(de.prob.prolog.term.PrologTerm term) throws ResultParserException
ResultParserException
public 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
ResultParserException
public static de.prob.prolog.term.ListPrologTerm getList(ISimplifiedROMap<java.lang.String,de.prob.prolog.term.PrologTerm> bindings, java.lang.String name) throws ResultParserException
ResultParserException
public static de.prob.prolog.term.IntegerPrologTerm getInteger(de.prob.prolog.term.PrologTerm term) throws ResultParserException
ResultParserException
public 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
ResultParserException
public static de.prob.prolog.term.VariablePrologTerm getVariable(de.prob.prolog.term.PrologTerm term) throws ResultParserException
ResultParserException
public 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