All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.GVector

java.lang.Object
   |
   +----kl1.lang.KL1Object
           |
           +----kl1.lang.GDObj
                   |
                   +----kl1.lang.GVector

public final class GVector
extends GDObj
This class represents a vector object.

Author:
Satoshi KURAMOCHI

Constructor Index

 o GVector()
Constructs a vector object.
 o GVector(KL1Object[], boolean)
Constructs a vector object.

Method Index

 o ()
 o _new(KL1Machine, KL1Object[])
Creates generic objects.
 o compare(GDObj)
 o element_of_vector(IntAtom)
 o generic(KL1Machine, String, KL1Object[])
Calls generic method.
 o ggeneric(String, KL1Object[])
Calls guard generic method.
 o gunify(GDObj)
 o hash(int)
 o print()
Prints the information of the object.
 o size_of_vector()
 o unify(KL1Machine, KL1Object)
Unifies this object and that.

Constructors

 o GVector
 public GVector()
Constructs a vector object.

 o GVector
 public GVector(KL1Object body[],
                boolean iscnst)
Constructs a vector object.

Parameters:
body - the elements.
iscnst - whether or not this is a constant.

Methods

 o
 static void ()
 o gunify
 public KL1Object gunify(GDObj that_)
 o unify
 public void unify(KL1Machine mach,
                   KL1Object that_)
Unifies this object and that.

Overrides:
unify in class GDObj
 o generic
 public void generic(KL1Machine mach,
                     String method,
                     KL1Object argv[])
Calls generic method.

Overrides:
generic in class GDObj
 o ggeneric
 public KL1Object ggeneric(String method,
                           KL1Object argv[])
Calls guard generic method.

Overrides:
ggeneric in class GDObj
 o print
 public String print()
Prints the information of the object.

Overrides:
print in class KL1Object
 o compare
 public IntAtom compare(GDObj that_)
Overrides:
compare in class GDObj
 o hash
 public IntAtom hash(int level)
 o _new
 public static KL1Object _new(KL1Machine mach,
                              KL1Object argv[])
Creates generic objects.

 o size_of_vector
 public IntAtom size_of_vector()
 o element_of_vector
 public KL1Object element_of_vector(IntAtom k)

All Packages  Class Hierarchy  This Package  Previous  Next  Index