public class NameAbstractionTable
extends java.lang.Object
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.
|
public void add(SourceElement pe1, SourceElement pe2)
pe1
- SourceElement to be addedpe2
- SourceElement to be addedpublic boolean sameAbstractName(SourceElement pe0, SourceElement pe1)
pe0
- SourceElementpe1
- SourceElementCopyright © 2003-2019 The KeY-Project.