All Packages Class Hierarchy This Package Previous Next Index
Class prolog.TermInfo
java.lang.Object
|
+----prolog.TermInfo
- public class TermInfo
- extends Object
- implements Serializable
The information we have about particular Term objects: type,
type variable assignments, location, argument TermInfos. Not all
of this is appropriate in all contexts, but this is a prototype, right?
-
arg_tis
-
-
location
- == null if this object has no location (i.e.
-
next
- Linked list stack, for trailing type var's.
-
type
-
-
typevars
-
-
TermInfo(TermType)
- true iff the corresponding Term contains unbound variables.
-
TermInfo(TermType, TermInfo[])
-
-
TermInfo(TermType, TermInfo[], Location)
-
-
TermInfo(TermType, TermInfo[], TermInfo[])
-
-
clean()
- Get rid of Locations, etc.
-
load(ClauseCodeGen, boolean)
- Loads the Term we denote, leaving a reference on the stack.
-
set(TermInfo, Location)
-
-
toString()
-
-
unify(TermInfo, TypeTrail)
-
type
public TermType type
typevars
public TermInfo typevars[]
arg_tis
public TermInfo arg_tis[]
location
public Location location
- == null if this object has no location (i.e. a
destructor/local variable.)
next
TermInfo next
- Linked list stack, for trailing type var's.
TermInfo
public TermInfo(TermType type)
- true iff the corresponding Term contains unbound variables.
TermInfo
TermInfo(TermType type,
TermInfo typevars[])
TermInfo
TermInfo(TermType type,
TermInfo typevars[],
TermInfo arg_tis[])
TermInfo
TermInfo(TermType type,
TermInfo typevars[],
Location location)
set
void set(TermInfo ti1,
Location l)
- See Also:
- algebraic_build_index
unify
boolean unify(TermInfo arg,
TypeTrail trail)
load
public void load(ClauseCodeGen ccg,
boolean cast)
- Loads the Term we denote, leaving a reference on the stack.
Stack: ... -> ..., TermRef, where TermRef has the
type of the loaded/created Term.
- Parameters:
- ccg - the ClauseCodeGen context.
- cast - should this object be cast to it's most-specific type?
clean
void clean()
- Get rid of Locations, etc.
toString
public String toString()
- Overrides:
- toString in class Object
All Packages Class Hierarchy This Package Previous Next Index