public class NameAbstractionTable
extends java.lang.Object
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 and Description |
---|
NameAbstractionTable() |
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.
|
private java.util.List<SourceElement> declarations0
private java.util.List<SourceElement> declarations1
public void add(SourceElement pe1, SourceElement pe2)
pe1
- SourceElement to be addedpe2
- SourceElement to be addedpublic boolean sameAbstractName(SourceElement pe0, SourceElement pe1)
pe0
- SourceElementpe1
- SourceElement