de.uka.ilkd.key.logic

Class Name

java.lang.Object

de.uka.ilkd.key.logic.Name

All Implemented Interfaces:

Comparable<Name>

Direct Known Subclasses:

ProgramElementName

public class Name
extends Object
implements Comparable<Name>

A Name object is created to represent the name of an object which usually implements the interface Named.

It wraps a string object. To save memory and to speed up equality checks, the wrapped strings are stored in their interned representation.

Field Summary

Fields

Modifier and Type	Field and Description
private String	nameString
private static String	NONAME

Constructor Summary

Constructors

Constructor and Description
Name(String n) creates a name object

Method Summary

Modifier and Type	Method and Description
int	compareTo(Name o)
boolean	equals(Object o)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

NONAME

private static final String NONAME

See Also:

Constant Field Values

nameString

private final String nameString

Constructor Detail

Name

public Name(String n)

creates a name object

Method Detail

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

compareTo

public int compareTo(Name o)

Specified by:

compareTo in interface Comparable<Name>

hashCode

public int hashCode()

Overrides:

hashCode in class Object