de.rwth.i2.attestor.graph.heap

Class Variable

java.lang.Object

de.rwth.i2.attestor.graph.heap.Variable

All Implemented Interfaces:

NodeLabel

public class Variable
extends Object
implements NodeLabel

Wrapper for a String such that Strings can be used as NodeLabel in LabeledDigraph.

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
Variable(String name)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
String	getName()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.rwth.i2.attestor.graph.digraph.NodeLabel

matches

Constructor Detail

Variable

public Variable(String name)

Parameters:

name - The string to be wrapped.

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getName

public String getName()

Returns:

The String wrapped by this Variable.

toString

public String toString()

Overrides:

toString in class Object

See Also:

getName()