de.uka.ilkd.key.java

Class JavaProgramElement.NameAbstractionTableDisabled

java.lang.Object

de.uka.ilkd.key.java.NameAbstractionTable

de.uka.ilkd.key.java.JavaProgramElement.NameAbstractionTableDisabled

Enclosing class:

JavaProgramElement

static class JavaProgramElement.NameAbstractionTableDisabled
extends NameAbstractionTable

this class is used by method call. As in this case we do not want to abstract from names

Field Summary

Fields

Modifier and Type	Field and Description
static JavaProgramElement.NameAbstractionTableDisabled	INSTANCE

Constructor Summary

Constructors

Constructor and Description
NameAbstractionTableDisabled()

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 pe1, SourceElement pe2) 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

INSTANCE

public static final JavaProgramElement.NameAbstractionTableDisabled INSTANCE

Constructor Detail

NameAbstractionTableDisabled

NameAbstractionTableDisabled()

Method Detail

add

public void add(SourceElement pe1,
                SourceElement pe2)

Description copied from class: NameAbstractionTable

adds the given two elements to the table

Overrides:

add in class NameAbstractionTable

Parameters:

pe1 - SourceElement to be added

pe2 - SourceElement to be added

sameAbstractName

public boolean sameAbstractName(SourceElement pe1,
                                SourceElement pe2)

Description copied from class: NameAbstractionTable

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

Overrides:

sameAbstractName in class NameAbstractionTable

Parameters:

pe1 - SourceElement

pe2 - SourceElement