All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.IntType

java.lang.Object
   |
   +----prolog.TermType
           |
           +----prolog.NumericType
                   |
                   +----prolog.IntType

public class IntType
extends NumericType
Represents the Numeric type.


Variable Index

 o ClassName
 o JavaType
 o val

Constructor Index

 o IntType()
 o IntType(IntNum)

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 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 val
 public IntNum val

Constructors

 o IntType
 public IntType()
 o IntType
 public IntType(IntNum val)

Methods

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

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

Overrides:
unify in class NumericType
 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 NumericType
 o create
 public void create(ClauseCodeGen ccg,
                    TermInfo arg0)
Creates the Term denoted by this TermType.

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

All Packages  Class Hierarchy  This Package  Previous  Next  Index