All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.GGObj 

java.lang.Object
   |
   +----kl1.lang.KL1Object
           |
           +----kl1.lang.GGObj
public abstract class GGObj
extends KL1Object
This class is an abstract class for generic generator object.

Author:
Satoshi KURAMOCHI

Variable Index

o name
the name of the generic object

Constructor Index

o GGObj()

Method Index

o _new(KL1Machine, KL1Object[])
Creates generic objects.
o active_unify(KL1Machine, KL1Object)
Performs an active unification.
o deref()
Dereferences the object.
o generate()
Generates a value.
o generator_unify(KL1Machine, Susprec, Susprec)
o suspend(KL1Object, Goalrec)

Variables

o name 
 public static String name
the name of the generic object

Constructors

o GGObj 
 public GGObj()

Methods

o _new 
 public static KL1Object _new(KL1Machine mach,
                              KL1Object argv[])
Creates generic objects.

o deref 
 public KL1Object deref()
Dereferences the object.

Overrides:
deref in class KL1Object
o active_unify 
 public boolean active_unify(KL1Machine mach,
                             KL1Object that)
Performs an active unification.

Parameters:
that - the object with which to unify.
Returns:
true if succeeds; false if fails.
o generate 
 public KL1Object generate()
Generates a value.

Returns:
the object to be generated; GDObj.FAILURE if fails.
o suspend 
 public KL1Object suspend(KL1Object reference,
                          Goalrec goal)
o generator_unify 
 public static void generator_unify(KL1Machine mach,
                                    Susprec gsx,
                                    Susprec sy)

All Packages  Class Hierarchy  This Package  Previous  Next  Index