de.rwth.i2.attestor.seplog

Class VariableEquivalenceClass

java.lang.Object

de.rwth.i2.attestor.seplog.VariableEquivalenceClass

public class VariableEquivalenceClass
extends Object

Representation of a set of variables that refer to the same location in the heap. The types of these variables either has to match or may additionally refer to one constant (e.g. null).

Author:

Christoph

Constructor Summary

Constructors

Constructor and Description
VariableEquivalenceClass(String constantName)
VariableEquivalenceClass(String variableName, String type)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
int	hashCode()
void	merge(VariableEquivalenceClass rhs)

Methods inherited from class java.lang.Object

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

Constructor Detail

VariableEquivalenceClass

public VariableEquivalenceClass(String constantName)

VariableEquivalenceClass

public VariableEquivalenceClass(String variableName,
                                String type)

Method Detail

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

merge

public void merge(VariableEquivalenceClass rhs)