All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.CompoundType

java.lang.Object
   |
   +----prolog.TermType
           |
           +----prolog.CompoundType

public class CompoundType
extends TermType
Represents Compound term types.


Variable Index

 o args
 o arity
 o ClassName
 o fa
 o functor
 o functor_arity
 o JavaType

Constructor Index

 o CompoundType(Compound, TypeDictionary, Hashtable)
Constructor for use by the TypeDictionary (typedefs).

Method Index

 o compile_unify(ClauseCodeGen, TermInfo, TermInfo)
Generates code to unify one Term with another.
 o create(ClauseCodeGen, TermInfo)
Creates the Term denoted by this TermType.
 o getJavaType(TermInfo)
 o instantiate(Term, TermInfo[], TypeDictionary, boolean)
Instantiates this TermType against a given Term.
 o make(Compound, TypeDictionary, boolean)
Wrapper to build TI's for Compound terms with unspecified (== not typedefed) types.
 o toString(StringBuffer)
 o unify(TermInfo, TermInfo, TypeTrail)
Unifies two TermType objects.

Variables

 o ClassName
 static final String ClassName
 o JavaType
 static final ObjectType JavaType
 o fa
 public FunctorArity fa
 o functor_arity
 int functor_arity
 o functor
 public String functor
 o arity
 public int arity
 o args
 public TermType args[]

Constructors

 o CompoundType
 CompoundType(Compound c,
              TypeDictionary types,
              Hashtable vars) throws ArgumentException
Constructor for use by the TypeDictionary (typedefs).

See Also:
TypeDictionary

Methods

 o make
 static TermInfo make(Compound c,
                      TypeDictionary types,
                      boolean map)
Wrapper to build TI's for Compound terms with unspecified (== not typedefed) types.

See Also:
typeof
 o getJavaType
 ObjectType getJavaType(TermInfo ti)
Overrides:
getJavaType in class TermType
 o instantiate
 TermInfo instantiate(Term t,
                      TermInfo typevars[],
                      TypeDictionary types,
                      boolean map)
Instantiates this TermType against a given Term.

Overrides:
instantiate in class TermType
 o unify
 boolean unify(TermInfo ti,
               TermInfo arg,
               TypeTrail trail)
Unifies two TermType objects.

Overrides:
unify in class TermType
 o compile_unify
 public boolean compile_unify(ClauseCodeGen ccg,
                              TermInfo arg0,
                              TermInfo arg1)
Generates code to unify one Term with another.

Overrides:
compile_unify in class TermType
 o create
 public void create(ClauseCodeGen ccg,
                    TermInfo arg0)
Creates the Term denoted by this TermType.

Overrides:
create in class TermType
 o toString
 public void toString(StringBuffer out)
Overrides:
toString in class TermType

All Packages  Class Hierarchy  This Package  Previous  Next  Index