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.
-
ClassName
-
-
JavaType
-
-
val
-
-
IntType()
-
-
IntType(IntNum)
-
-
compile_unify(ClauseCodeGen, TermInfo, TermInfo)
- Generates code to unify one Term with another.
-
create(ClauseCodeGen, TermInfo)
- Creates the Term denoted by this TermType.
-
getJavaType(TermInfo)
-
-
instantiate(Term, TermInfo[], TypeDictionary, boolean)
- Instantiates this TermType against a given
Term.
-
toString(StringBuffer)
-
-
unify(TermInfo, TermInfo, TypeTrail)
- Unifies two TermType objects.
ClassName
static final String ClassName
JavaType
static final ObjectType JavaType
val
public IntNum val
IntType
public IntType()
IntType
public IntType(IntNum val)
getJavaType
ObjectType getJavaType(TermInfo ti)
- Overrides:
- getJavaType in class NumericType
instantiate
TermInfo instantiate(Term t,
TermInfo typevars[],
TypeDictionary types,
boolean map)
- Instantiates this TermType against a given
Term.
- Overrides:
- instantiate in class NumericType
unify
boolean unify(TermInfo ti,
TermInfo arg,
TypeTrail trail)
- Unifies two TermType objects.
- Overrides:
- unify in class NumericType
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
create
public void create(ClauseCodeGen ccg,
TermInfo arg0)
- Creates the Term denoted by this TermType.
- Overrides:
- create in class NumericType
toString
public void toString(StringBuffer out)
- Overrides:
- toString in class NumericType
All Packages Class Hierarchy This Package Previous Next Index