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
-
name
- the name of the generic object
-
GGObj()
-
-
_new(KL1Machine, KL1Object[])
- Creates generic objects.
-
active_unify(KL1Machine, KL1Object)
- Performs an active unification.
-
deref()
- Dereferences the object.
-
generate()
- Generates a value.
-
generator_unify(KL1Machine, Susprec, Susprec)
-
-
suspend(KL1Object, Goalrec)
-
name
public static String name
- the name of the generic object
GGObj
public GGObj()
_new
public static KL1Object _new(KL1Machine mach,
KL1Object argv[])
- Creates generic objects.
deref
public KL1Object deref()
- Dereferences the object.
- Overrides:
- deref in class KL1Object
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.
generate
public KL1Object generate()
- Generates a value.
- Returns:
- the object to be generated;
GDObj.FAILURE
if fails.
suspend
public KL1Object suspend(KL1Object reference,
Goalrec goal)
generator_unify
public static void generator_unify(KL1Machine mach,
Susprec gsx,
Susprec sy)
All Packages Class Hierarchy This Package Previous Next Index