All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class prolog.FloType

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

public class FloType
extends NumericType
Represents the FloNum type.


Variable Index

 o ClassName
 o JavaType
 o val

Constructor Index

 o FloType(FloNum)

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 FloNum val

Constructors

 o FloType
 public FloType(FloNum 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