de.uka.ilkd.key.util

Class String8

java.lang.Object

de.uka.ilkd.key.util.String8

All Implemented Interfaces:

java.io.Serializable, java.lang.CharSequence

public class String8
extends java.lang.Object
implements java.lang.CharSequence, java.io.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(java.lang.CharSequence s)
	String8(java.lang.CharSequence s, boolean checkValues)

Method Summary

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()

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(java.lang.CharSequence s,
               boolean checkValues)

String8

public String8(java.lang.CharSequence s)

Method Detail

charAt

public char charAt(int index)

Specified by:

charAt in interface java.lang.CharSequence

length

public int length()

Specified by:

length in interface java.lang.CharSequence

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Specified by:

toString in interface java.lang.CharSequence

Overrides:

toString in class java.lang.Object

subSequence

public String8 subSequence(int start,
                           int end)

Specified by:

subSequence in interface java.lang.CharSequence

concat

public String8 concat(String8 s)