All Packages Class Hierarchy This Package Previous Next Index
Class prolog.TypeDictionary
java.lang.Object
|
+----prolog.TypeDictionary
- public class TypeDictionary
- extends Object
- implements Serializable
The dictionary of user- and system-defined types.
- See Also:
- _type_def_2, _has_type_2, listtypes_0
-
TypeDictionary()
-
-
get(int)
- Returns the type record associated with the given
functor/arity (the name of the type, not it's data
constructors).
-
parse_type_sig(Compound)
-
-
toString()
-
-
type_def(Compound, Compound)
- Defines a type with the given name and definition.
-
type_of(Compound, boolean)
- Determines the type of a function symbol and its arguments.
TypeDictionary
TypeDictionary()
type_def
public void type_def(Compound c,
Compound defs) throws ArgumentException
- Defines a type with the given name and definition.
- See Also:
- _type_def_2
get
AlgebraicType get(int functor_arity)
- Returns the type record associated with the given
functor/arity (the name of the type, not it's data
constructors).
NOTE: This is the original record (i.e. not a copy!)
- See Also:
- CompoundType
type_of
void type_of(Compound c,
boolean map)
- Determines the type of a function symbol and its arguments. Really
only for use by Compound.
- Parameters:
- map - map functors to their most general type.
- See Also:
- typeify
parse_type_sig
public TermType parse_type_sig(Compound c)
toString
public String toString()
- Overrides:
- toString in class Object
All Packages Class Hierarchy This Package Previous Next Index