All Packages Class Hierarchy This Package Previous Next Index
Class kl1.lang.GString
java.lang.Object
|
+----kl1.lang.KL1Object
|
+----kl1.lang.GDObj
|
+----kl1.lang.GString
- public final class GString
- extends GDObj
This class represents a string object.
- Author:
- Satoshi KURAMOCHI
-
GString()
- Constructs a string object.
-
GString(char[])
- Constructs a string object.
-
GString(char[], boolean)
- Constructs a string object.
-
GString(String)
- Constructs a string object.
-
GString(String, boolean)
- Constructs a string object.
-
()
-
-
_new(KL1Machine, KL1Object[])
- Creates generic objects.
-
byte_string_new(KL1Machine, KL1Object[])
-
-
compare(GDObj)
-
-
element_of_string(IntAtom)
-
-
generic(KL1Machine, String, KL1Object[])
- Calls generic method.
-
ggeneric(String, KL1Object[])
- Calls guard generic method.
-
gunify(KL1Object)
- Checks whether this object and
that
are unifiable.
-
hash()
-
-
print()
- Prints the information of the object.
-
size_of_string()
-
-
string_size()
-
-
toString()
-
-
unify(KL1Machine, KL1Object)
- Unifies this object and
that
.
GString
public GString()
- Constructs a string object.
GString
public GString(String body)
- Constructs a string object.
- Parameters:
- body - a string.
GString
public GString(String body,
boolean iscnst)
- Constructs a string object.
- Parameters:
- body - a string.
- iscnst - whether or not this is a constant.
GString
public GString(char body[])
- Constructs a string object.
- Parameters:
- body - a string.
GString
public GString(char body[],
boolean iscnst)
- Constructs a string object.
- Parameters:
- body - a string.
- iscnst - whether or not this is a constant.
static void ()
gunify
public KL1Object gunify(KL1Object that_)
- Checks whether this object and
that
are unifiable.
- Overrides:
- gunify in class GDObj
unify
public void unify(KL1Machine mach,
KL1Object that_)
- Unifies this object and
that
.
- Overrides:
- unify in class GDObj
generic
public void generic(KL1Machine mach,
String method,
KL1Object argv[])
- Calls generic method.
- Overrides:
- generic in class GDObj
ggeneric
public KL1Object ggeneric(String method,
KL1Object argv[])
- Calls guard generic method.
- Overrides:
- ggeneric in class GDObj
print
public String print()
- Prints the information of the object.
- Overrides:
- print in class KL1Object
compare
public IntAtom compare(GDObj that_)
- Overrides:
- compare in class GDObj
hash
public IntAtom hash()
- Overrides:
- hash in class GDObj
byte_string_new
public static KL1Object byte_string_new(KL1Machine mach,
KL1Object argv[])
_new
public static KL1Object _new(KL1Machine mach,
KL1Object argv[])
- Creates generic objects.
toString
public String toString()
- Overrides:
- toString in class KL1Object
string_size
public int string_size()
size_of_string
public IntAtom size_of_string()
element_of_string
public KL1Object element_of_string(IntAtom k)
All Packages Class Hierarchy This Package Previous Next Index