public class String8
extends java.lang.Object
implements java.lang.CharSequence, java.io.Serializable
Constructor and Description |
---|
String8() |
String8(java.lang.CharSequence s) |
String8(java.lang.CharSequence s,
boolean checkValues) |
Modifier and Type | Method and Description |
---|---|
char |
charAt(int index) |
String8 |
concat(String8 s) |
boolean |
equals(java.lang.Object o) |
int |
hashCode() |
int |
length() |
String8 |
subSequence(int start,
int end) |
java.lang.String |
toString() |
public String8()
public String8(java.lang.CharSequence s, boolean checkValues)
public String8(java.lang.CharSequence s)
public char charAt(int index)
charAt
in interface java.lang.CharSequence
public int length()
length
in interface java.lang.CharSequence
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in interface java.lang.CharSequence
toString
in class java.lang.Object
public String8 subSequence(int start, int end)
subSequence
in interface java.lang.CharSequence
Copyright © 2003-2019 The KeY-Project.