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

Constructor Index

 o TypeDictionary()

Method Index

 o get(int)
Returns the type record associated with the given functor/arity (the name of the type, not it's data constructors).
 o parse_type_sig(Compound)
 o toString()
 o type_def(Compound, Compound)
Defines a type with the given name and definition.
 o type_of(Compound, boolean)
Determines the type of a function symbol and its arguments.

Constructors

 o TypeDictionary
 TypeDictionary()

Methods

 o 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
 o 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
 o 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
 o parse_type_sig
 public TermType parse_type_sig(Compound c)
 o toString
 public String toString()
Overrides:
toString in class Object

All Packages  Class Hierarchy  This Package  Previous  Next  Index