de.uka.ilkd.key.logic

Class RenameTable.EmptyRenameTable

java.lang.Object

de.uka.ilkd.key.logic.RenameTable

de.uka.ilkd.key.logic.RenameTable.EmptyRenameTable

Enclosing class:

RenameTable

private static class RenameTable.EmptyRenameTable
extends RenameTable

Field Summary

Fields inherited from class de.uka.ilkd.key.logic.RenameTable

EMPTY_TABLE

Constructor Summary

Constructors

Modifier	Constructor and Description
private	EmptyRenameTable()

Method Summary

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

Methods inherited from class de.uka.ilkd.key.logic.RenameTable

assign, extend, parent

Methods inherited from class java.lang.Object

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

Constructor Detail

EmptyRenameTable

private EmptyRenameTable()

Method Detail

contains

public boolean contains(QuantifiableVariable n)

returns true iff the given name is mapped to an abstract name. The test is performed in the local as well as in the parent renaming table.

Overrides:

contains in class RenameTable

Parameters:

n - the QuantifiableVariable object the existence of an abstract name is checked.

Returns:

true if n has been already assigned to an abstract name

containsLocally

public boolean containsLocally(QuantifiableVariable n)

does nearly the same as contains(QuantifiableVariable) but performs the test only on the local table-

Overrides:

containsLocally in class RenameTable

Parameters:

n - the QuantifiableVariable object the existence of an abstract name is checked.

Returns:

true if n has been already locally assigned to an abstract name

sameAbstractName

public boolean sameAbstractName(QuantifiableVariable n1,
                                QuantifiableVariable n2)

tests if both QuantifiableVariable object are assigned to the same abstract name (locally or by the parent)

Overrides:

sameAbstractName in class RenameTable

Parameters:

n1 - one of the QuantifiableVariable objects to be tested iff they have been assigned the same abstract name

n2 - one of the QuantifiableVariable objects to be tested

Returns:

true iff n1 and n2 are mapped to the same abstract name

toString

public java.lang.String toString()

Description copied from class: RenameTable

toString

Overrides:

toString in class RenameTable