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.
-
args
-
-
arity
-
-
ClassName
-
-
fa
-
-
functor
-
-
functor_arity
-
-
JavaType
-
-
CompoundType(Compound, TypeDictionary, Hashtable)
- Constructor for use by the TypeDictionary (typedefs).
-
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.
-
make(Compound, TypeDictionary, boolean)
- Wrapper to build TI's for Compound terms with unspecified
(== not typedefed) types.
-
toString(StringBuffer)
-
-
unify(TermInfo, TermInfo, TypeTrail)
- Unifies two TermType objects.
ClassName
static final String ClassName
JavaType
static final ObjectType JavaType
fa
public FunctorArity fa
functor_arity
int functor_arity
functor
public String functor
arity
public int arity
args
public TermType args[]
CompoundType
CompoundType(Compound c,
TypeDictionary types,
Hashtable vars) throws ArgumentException
- Constructor for use by the TypeDictionary (typedefs).
- See Also:
- TypeDictionary
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
getJavaType
ObjectType getJavaType(TermInfo ti)
- Overrides:
- getJavaType in class TermType
instantiate
TermInfo instantiate(Term t,
TermInfo typevars[],
TypeDictionary types,
boolean map)
- Instantiates this TermType against a given
Term.
- Overrides:
- instantiate in class TermType
unify
boolean unify(TermInfo ti,
TermInfo arg,
TypeTrail trail)
- Unifies two TermType objects.
- Overrides:
- unify in class TermType
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
create
public void create(ClauseCodeGen ccg,
TermInfo arg0)
- Creates the Term denoted by this TermType.
- Overrides:
- create in class TermType
toString
public void toString(StringBuffer out)
- Overrides:
- toString in class TermType
All Packages Class Hierarchy This Package Previous Next Index