| java.lang.Object de.uka.ilkd.key.java.NameAbstractionTable
NameAbstractionTable | public class NameAbstractionTable (Code) | | This class is used for the equals modulo renaming method in
SourceElement. The purpose of this class is to abstract from
names. Therefore it represents a mapping o1 x o2 -> abstractName
where o1, o2 are of the same type (Label or ProgramVariable). The
objectif is that the comparing method uses this new name for o1 and
o2 instead of their real name. For this comparision a method is
offered so that the assigned name is not given outside.
|
add | public void add(SourceElement pe1, SourceElement pe2)(Code) | | adds the given two elements to the table
Parameters: pe1 - SourceElement to be added Parameters: pe2 - SourceElement to be added |
sameAbstractName | public boolean sameAbstractName(SourceElement pe0, SourceElement pe1)(Code) | | tests if the given elements have been assigned to the same
abstract name.
Parameters: pe1 - SourceElement Parameters: pe2 - SourceElement |
|
|