Package astra.term

Class ModuleTerm

java.lang.Object

astra.term.ModuleTerm

All Implemented Interfaces:

Term, Serializable

public class ModuleTerm
extends Object
implements Term

See Also:

Serialized Form

Field Summary

Fields inherited from interface astra.term.Term

EMPTY_ARRAY, NULL_TERM

Constructor Summary

Constructors

Constructor	Description
ModuleTerm(ModuleTermAdaptor adaptor)
ModuleTerm(String module, Type type, Predicate method, ModuleTermAdaptor adaptor)

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
ModuleTermAdaptor	adaptor()
ModuleTerm	clone()
boolean	equals(Object object)
Object	evaluate(Intention context)
Object	evaluate(BindingsEvaluateVisitor visitor)
boolean	matches(Term right)
Predicate	method()
String	module()
String	signature()
String	toString()
Type	type()

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

ModuleTerm

public ModuleTerm(ModuleTermAdaptor adaptor)

ModuleTerm

public ModuleTerm(String module, Type type, Predicate method, ModuleTermAdaptor adaptor)

Method Details

type

public Type type()

Specified by:

type in interface Term

accept

public Object accept(LogicVisitor visitor)

Specified by:

accept in interface Term

method

public Predicate method()

matches

public boolean matches(Term right)

Specified by:

matches in interface Term

evaluate

public Object evaluate(Intention context)

evaluate

public Object evaluate(BindingsEvaluateVisitor visitor)

equals

public boolean equals(Object object)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

signature

public String signature()

Specified by:

signature in interface Term

adaptor

public ModuleTermAdaptor adaptor()

module

public String module()

clone

public ModuleTerm clone()

Specified by:

clone in interface Term

Overrides:

clone in class Object