de.uka.ilkd.key.rule.conditions

Class IsThisReference

java.lang.Object

de.uka.ilkd.key.rule.VariableConditionAdapter

de.uka.ilkd.key.rule.conditions.IsThisReference

All Implemented Interfaces:

VariableCondition

public final class IsThisReference
extends VariableConditionAdapter

This variable condition checks if a given type denotes an abstract class or interface type.

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	negated
private ParsableVariable	var

Constructor Summary

Constructors

Constructor and Description
IsThisReference(ParsableVariable var, boolean negation)

Method Summary

Modifier and Type	Method and Description
boolean	check(SchemaVariable var, SVSubstitute instCandidate, SVInstantiations instMap, Services services) checks if the condition for a correct instantiation is fulfilled
boolean	isNegated()
java.lang.String	toString()

Methods inherited from class de.uka.ilkd.key.rule.VariableConditionAdapter

check

Methods inherited from class java.lang.Object

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

Field Detail

negated

private final boolean negated

var

private final ParsableVariable var

Constructor Detail

IsThisReference

public IsThisReference(ParsableVariable var,
                       boolean negation)

Method Detail

isNegated

public boolean isNegated()

check

public boolean check(SchemaVariable var,
                     SVSubstitute instCandidate,
                     SVInstantiations instMap,
                     Services services)

Description copied from class: VariableConditionAdapter

checks if the condition for a correct instantiation is fulfilled

Specified by:

check in class VariableConditionAdapter

Parameters:

var - the template Variable to be instantiated

instMap - the MatchCondition with the current matching state and in particular the SVInstantiations that are already known to be needed

services - the program information object

Returns:

true iff condition is fulfilled

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object