All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.GJava 

java.lang.Object
   |
   +----kl1.lang.KL1Object
           |
           +----kl1.lang.GCObj
                   |
                   +----kl1.lang.GJava
public class GJava
extends GCObj
This class represents a java object.

Author:
Satoshi KURAMOCHI

Constructor Index

o GJava(Object)
Constructs a java object.
o GJava(String)
Constructs a java object.
o GJava(String, boolean)
Constructs a java object.
o GJava(String, Object[])
Constructs a java object.

Method Index

o ()
o _new(KL1Machine, KL1Object[])
Creates generic objects.
o active_unify(KL1Machine, KL1Object)
Performs an active unification.
o convertFromKL1(KL1Object)
Convert a KL1 term to a Java object.
o convertToKL1(Object)
Convert a Java object to a KL1 object.
o deref()
Dereferences the object.
o get()
o print()
Prints the information of the object.
o unify(KL1Machine, KL1Object)
Unifies this object and that.

Constructors

o GJava 
 public GJava(String class_name,
              Object argv[])
Constructs a java object.

Parameters:
class_name - the class name of the object.
argv - arguments.
o GJava 
 public GJava(String class_name)
Constructs a java object.

Parameters:
class_name - the class name of the object.
o GJava 
 public GJava(String class_name,
              boolean isClass)
Constructs a java object.

Parameters:
class_name - the class name of the object.
o GJava 
 public GJava(Object obj)
Constructs a java object.

Methods

o 
 static void ()
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 GCObj
o active_unify 
 public KL1Object active_unify(KL1Machine mach,
                               KL1Object that)
Performs an active unification.

Overrides:
active_unify in class GCObj
o convertFromKL1 
 public static Object convertFromKL1(KL1Object x)
Convert a KL1 term to a Java object.

Parameters:
x - A KL1 object to be converted. This must be deref()'ed and instantiated.
Returns:
the object to be converted.
o convertToKL1 
 public static KL1Object convertToKL1(Object x)
Convert a Java object to a KL1 object.

Parameters:
x - A Java object to be converted.
Returns:
the KL1 object to be converted.
o unify 
 public void unify(KL1Machine mach,
                   KL1Object that)
Unifies this object and that.

Overrides:
unify in class KL1Object
o get 
 public Object get()
o print 
 public String print()
Prints the information of the object.

Overrides:
print in class KL1Object 
All Packages  Class Hierarchy  This Package  Previous  Next  Index