de.uka.ilkd.key.java

Class NameAbstractionTable

java.lang.Object

de.uka.ilkd.key.java.NameAbstractionTable

Direct Known Subclasses:

JavaProgramElement.NameAbstractionTableDisabled

public class NameAbstractionTable
extends java.lang.Object

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.

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<SourceElement>	declarations0 The order in which symbols are declared in the two terms or programs that are compared.
private java.util.List<SourceElement>	declarations1 The order in which symbols are declared in the two terms or programs that are compared.

Constructor Summary

Constructors

Constructor and Description
NameAbstractionTable()

Method Summary

Modifier and Type	Method and Description
void	add(SourceElement pe1, SourceElement pe2) adds the given two elements to the table
boolean	sameAbstractName(SourceElement pe0, SourceElement pe1) tests if the given elements have been assigned to the same abstract name.

Methods inherited from class java.lang.Object

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

Field Detail

declarations0

private java.util.List<SourceElement> declarations0

The order in which symbols are declared in the two terms or programs that are compared. The latest declaration of a symbol will be the first matching entry in the list

declarations1

private java.util.List<SourceElement> declarations1

The order in which symbols are declared in the two terms or programs that are compared. The latest declaration of a symbol will be the first matching entry in the list

Constructor Detail

NameAbstractionTable

public NameAbstractionTable()

Method Detail

add

public void add(SourceElement pe1,
                SourceElement pe2)

adds the given two elements to the table

Parameters:

pe1 - SourceElement to be added

pe2 - SourceElement to be added

sameAbstractName

public boolean sameAbstractName(SourceElement pe0,
                                SourceElement pe1)

tests if the given elements have been assigned to the same abstract name.

Parameters:

pe0 - SourceElement

pe1 - SourceElement