public class PrologMetaMethod
extends java.lang.Object
Constructor and Description |
---|
PrologMetaMethod(PrologMetaClass cl,
java.lang.reflect.Method m)
Creates a new instance of MetaPrologClass
|
Modifier and Type | Method and Description |
---|---|
int |
getArity() |
Clause<?,?>[] |
getClauses() |
PrologMetaClass |
getEnclosingMeta() |
java.lang.reflect.Method |
getJavaMethod() |
java.lang.String |
getPredicateName() |
Theory |
getTheory() |
boolean |
hasMultipleOutput() |
java.lang.Object |
invoke(PrologObject o,
Term<?>... args) |
void |
setTheory(Theory t) |
public PrologMetaMethod(PrologMetaClass cl, java.lang.reflect.Method m)
public Theory getTheory()
public void setTheory(Theory t)
public Clause<?,?>[] getClauses()
public int getArity()
public boolean hasMultipleOutput()
public java.lang.Object invoke(PrologObject o, Term<?>... args)
public PrologMetaClass getEnclosingMeta()
public java.lang.reflect.Method getJavaMethod()
public java.lang.String getPredicateName()