private static class RenameTable.EmptyRenameTable extends RenameTable
EMPTY_TABLE
Modifier | Constructor and Description |
---|---|
private |
EmptyRenameTable() |
Modifier and Type | Method and Description |
---|---|
boolean |
contains(QuantifiableVariable n)
returns true iff the given name is mapped to an abstract name.
|
boolean |
containsLocally(QuantifiableVariable n)
does nearly the same as
contains(QuantifiableVariable) but performs
the test only on the local table- |
boolean |
sameAbstractName(QuantifiableVariable n1,
QuantifiableVariable n2)
tests if both QuantifiableVariable object are assigned to the same abstract
name (locally or by the parent)
|
java.lang.String |
toString()
toString
|
assign, extend, parent
public boolean contains(QuantifiableVariable n)
contains
in class RenameTable
n
- the QuantifiableVariable object the existence of an abstract name is
checked.n
has been already assigned to an
abstract namepublic boolean containsLocally(QuantifiableVariable n)
contains(QuantifiableVariable)
but performs
the test only on the local table-containsLocally
in class RenameTable
n
- the QuantifiableVariable object the existence of an abstract name is
checked.n
has been already locally
assigned to an abstract namepublic boolean sameAbstractName(QuantifiableVariable n1, QuantifiableVariable n2)
sameAbstractName
in class RenameTable
n1
- one of the QuantifiableVariable objects to be tested iff they have
been assigned the same abstract namen2
- one of the QuantifiableVariable objects to be testedn1
and n2
are mapped
to the same abstract namepublic java.lang.String toString()
RenameTable
toString
in class RenameTable