de.uka.ilkd.key.util

Class String8

java.lang.Object

de.uka.ilkd.key.util.String8

All Implemented Interfaces:

Serializable, CharSequence

public class String8
extends Object
implements CharSequence, Serializable

Re-implementation of String using only 8bit encoding as compared to standard 16bit. Only ASCII characters (7bit) are supported. Immutable.

Author:

bruns

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID
private byte[]	value

Constructor Summary

Constructors

Modifier	Constructor and Description
	String8()
private	String8(byte[] b)
	String8(CharSequence s)
	String8(CharSequence s, boolean checkValues)

Method Summary

Modifier and Type	Method and Description
char	charAt(int index)
String8	concat(String8 s)
boolean	equals(Object o)
int	hashCode()
int	length()
String8	subSequence(int start, int end)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.CharSequence

chars, codePoints

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

value

private final byte[] value

Constructor Detail

String8

public String8()

String8

private String8(byte[] b)

String8

public String8(CharSequence s,
               boolean checkValues)

String8

public String8(CharSequence s)

Method Detail

charAt

public char charAt(int index)

Specified by:

charAt in interface CharSequence

length

public int length()

Specified by:

length in interface CharSequence

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Specified by:

toString in interface CharSequence

Overrides:

toString in class Object

subSequence

public String8 subSequence(int start,
                           int end)

Specified by:

subSequence in interface CharSequence

concat

public String8 concat(String8 s)