de.uka.ilkd.key.logic

Class Name

java.lang.Object

de.uka.ilkd.key.logic.Name

All Implemented Interfaces:

java.lang.Comparable<Name>

Direct Known Subclasses:

ProgramElementName

public class Name
extends java.lang.Object
implements java.lang.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 java.lang.String	nameString
private static java.lang.String	NONAME

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

NONAME

private static final java.lang.String NONAME

See Also:

Constant Field Values

nameString

private final java.lang.String nameString

Constructor Detail

Name

public Name(java.lang.String n)

creates a name object

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

compareTo

public int compareTo(Name o)

Specified by:

compareTo in interface java.lang.Comparable<Name>

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object