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

Class ConcreteIndexSymbol

java.lang.Object

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

All Implemented Interfaces:

IndexSymbol

public class ConcreteIndexSymbol
extends Object
implements IndexSymbol

Method Summary

Modifier and Type	Method and Description
static ConcreteIndexSymbol	getIndexSymbol(String label, boolean isBottom)
boolean	isBottom()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

getIndexSymbol

public static ConcreteIndexSymbol getIndexSymbol(String label,
                                                 boolean isBottom)

isBottom

public boolean isBottom()

Specified by:

isBottom in interface IndexSymbol

toString

public String toString()

Specified by:

toString in interface IndexSymbol

Overrides:

toString in class Object