All Packages Class Hierarchy This Package Previous Next Index
Class prolog.TermType
java.lang.Object
|
+----prolog.TermType
- public abstract class TermType
- extends Object
- implements Serializable
The base class of all types. This type represents the general case:
unknown.
- See Also:
- PredicateCodeGen, JITPredicate
-
ClassName
-
-
JavaType
-
-
TermType()
-
-
compile_unify(ClauseCodeGen, TermInfo, TermInfo)
- Generates code to unify one Term with another.
-
create(ClauseCodeGen, TermInfo)
- Creates the Term denoted by this TermType.
-
getBinding(TermInfo)
- Chase reference chains.
-
getJavaType(TermInfo)
-
-
instantiate(Term, TermInfo[], TypeDictionary, boolean)
- Instantiates this TermType against a given
Term.
-
load(ClauseCodeGen, TermInfo, boolean)
- Loads a Term.
-
toString()
-
-
toString(StringBuffer)
-
-
unify(TermInfo, TermInfo, TypeTrail)
- Unifies two TermType objects.
ClassName
static final String ClassName
JavaType
static final ObjectType JavaType
TermType
protected TermType()
getJavaType
ObjectType getJavaType(TermInfo ti)
getBinding
public TermInfo getBinding(TermInfo arg0)
- Chase reference chains.
instantiate
abstract TermInfo instantiate(Term t,
TermInfo typevars[],
TypeDictionary types,
boolean map)
- Instantiates this TermType against a given
Term.
unify
abstract boolean unify(TermInfo ti,
TermInfo arg,
TypeTrail trail)
- Unifies two TermType objects. We use the PTD as a trail.
- See Also:
- called
compile_unify
public abstract boolean compile_unify(ClauseCodeGen ccg,
TermInfo arg0,
TermInfo arg1)
- Generates code to unify one Term with another. The idea is
we invoke this method on the left/first/arg0 TermType
object, as it is always a Variable.
load
public void load(ClauseCodeGen ccg,
TermInfo arg0,
boolean cast)
- Loads a Term.
create
public abstract void create(ClauseCodeGen ccg,
TermInfo arg0)
- Creates the Term denoted by this TermType.
Stack: ... -> ..., TermRef, where TermRef has the
type of the created Term.
toString
public void toString(StringBuffer out)
toString
public final String toString()
- Overrides:
- toString in class Object
All Packages Class Hierarchy This Package Previous Next Index