|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectalice.tuprolog.PrimitiveInfo
Primitive class referring to a builtin predicate or functor
Struct
Field Summary | |
static int |
DIRECTIVE
|
static int |
FUNCTOR
|
static int |
PREDICATE
|
Constructor Summary | |
PrimitiveInfo(int type,
java.lang.String key,
Library lib,
java.lang.reflect.Method m,
int arity)
|
Method Summary | |
void |
evalAsDirective(Struct g)
evaluates the primitive as a directive |
Term |
evalAsFunctor(Struct g)
evaluates the primitive as a functor |
boolean |
evalAsPredicate(Struct g)
evaluates the primitive as a predicate |
java.lang.String |
getKey()
|
IPrimitives |
getSource()
|
int |
getType()
|
java.lang.String |
invalidate()
Method to invalidate primitives. |
boolean |
isDirective()
|
boolean |
isFunctor()
|
boolean |
isPredicate()
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
public static final int DIRECTIVE
public static final int PREDICATE
public static final int FUNCTOR
Constructor Detail |
public PrimitiveInfo(int type, java.lang.String key, Library lib, java.lang.reflect.Method m, int arity) throws java.lang.NoSuchMethodException
Method Detail |
public java.lang.String invalidate()
public java.lang.String getKey()
public boolean isDirective()
public boolean isFunctor()
public boolean isPredicate()
public int getType()
public IPrimitives getSource()
public void evalAsDirective(Struct g) throws java.lang.IllegalAccessException, java.lang.reflect.InvocationTargetException
java.lang.reflect.InvocationTargetException
java.lang.IllegalAccessException
java.lang.Exception
- if invocation directive failurepublic boolean evalAsPredicate(Struct g) throws java.lang.Throwable
java.lang.Exception
- if invocation primitive failure
java.lang.Throwable
public Term evalAsFunctor(Struct g)
public java.lang.String toString()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |