de.rwth.i2.attestor.programState.indexedState.index

Class AbstractIndexSymbol

java.lang.Object

de.rwth.i2.attestor.programState.indexedState.index.AbstractIndexSymbol

All Implemented Interfaces:

IndexSymbol

public class AbstractIndexSymbol
extends Object
implements IndexSymbol

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object other)
static AbstractIndexSymbol	get(String label)
int	hashCode()
boolean	isBottom()
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

get

public static AbstractIndexSymbol get(String label)

isBottom

public boolean isBottom()

Specified by:

isBottom in interface IndexSymbol

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Specified by:

toString in interface IndexSymbol

Overrides:

toString in class Object