alice.tuprolog

Class PrimitiveInfo

java.lang.Object

alice.tuprolog.PrimitiveInfo

public class PrimitiveInfo
extends Object

Primitive class referring to a builtin predicate or functor

See Also:

Struct

Field Summary

Fields

Modifier and Type	Field and Description
static int	DIRECTIVE
static int	FUNCTOR
static int	PREDICATE

Constructor Summary

Constructors

Constructor and Description
PrimitiveInfo(int type, String key, Library lib, Method m, int arity)

Method Summary

Methods

Modifier and Type	Method and Description
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
String	getKey()
IPrimitives	getSource()
int	getType()
String	invalidate() Method to invalidate primitives.
boolean	isDirective()
boolean	isFunctor()
boolean	isPredicate()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

DIRECTIVE

public static final int DIRECTIVE

See Also:

Constant Field Values

PREDICATE

public static final int PREDICATE

See Also:

Constant Field Values

FUNCTOR

public static final int FUNCTOR

See Also:

Constant Field Values

Constructor Detail

PrimitiveInfo

public PrimitiveInfo(int type,
             String key,
             Library lib,
             Method m,
             int arity)
              throws NoSuchMethodException

Throws:

NoSuchMethodException

Method Detail

invalidate

public String invalidate()

Method to invalidate primitives. It's called just mother library removed

getKey

public String getKey()

isDirective

public boolean isDirective()

isFunctor

public boolean isFunctor()

isPredicate

public boolean isPredicate()

getType

public int getType()

getSource

public IPrimitives getSource()

evalAsDirective

public void evalAsDirective(Struct g)
                     throws IllegalAccessException,
                            InvocationTargetException

evaluates the primitive as a directive

Throws:

InvocationTargetException

IllegalAccessException

Exception - if invocation directive failure

evalAsPredicate

public boolean evalAsPredicate(Struct g)
                        throws Throwable

evaluates the primitive as a predicate

Throws:

Exception - if invocation primitive failure

Throwable

evalAsFunctor

public Term evalAsFunctor(Struct g)

evaluates the primitive as a functor

toString

public String toString()

Overrides:

toString in class Object