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?


Variable Index

 o arg_tis
 o location
== null if this object has no location (i.e.
 o next
Linked list stack, for trailing type var's.
 o type
 o typevars

Constructor Index

 o TermInfo(TermType)
true iff the corresponding Term contains unbound variables.
 o TermInfo(TermType, TermInfo[])
 o TermInfo(TermType, TermInfo[], Location)
 o TermInfo(TermType, TermInfo[], TermInfo[])

Method Index

 o clean()
Get rid of Locations, etc.
 o load(ClauseCodeGen, boolean)
Loads the Term we denote, leaving a reference on the stack.
 o set(TermInfo, Location)
 o toString()
 o unify(TermInfo, TypeTrail)

Variables

 o type
 public TermType type
 o typevars
 public TermInfo typevars[]
 o arg_tis
 public TermInfo arg_tis[]
 o location
 public Location location
== null if this object has no location (i.e. a destructor/local variable.)

 o next
 TermInfo next
Linked list stack, for trailing type var's.

Constructors

 o TermInfo
 public TermInfo(TermType type)
true iff the corresponding Term contains unbound variables.

 o TermInfo
 TermInfo(TermType type,
          TermInfo typevars[])
 o TermInfo
 TermInfo(TermType type,
          TermInfo typevars[],
          TermInfo arg_tis[])
 o TermInfo
 TermInfo(TermType type,
          TermInfo typevars[],
          Location location)

Methods

 o set
 void set(TermInfo ti1,
          Location l)
See Also:
algebraic_build_index
 o unify
 boolean unify(TermInfo arg,
               TypeTrail trail)
 o 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?
 o clean
 void clean()
Get rid of Locations, etc.

 o toString
 public String toString()
Overrides:
toString in class Object

All Packages  Class Hierarchy  This Package  Previous  Next  Index