de.uka.ilkd.key.rule

Class VariableConditionAdapter

java.lang.Object

de.uka.ilkd.key.rule.VariableConditionAdapter

All Implemented Interfaces:

VariableCondition

Direct Known Subclasses:

AbstractOrInterfaceType, AlternativeVariableCondition, ArrayComponentTypeCondition, ArrayLengthCondition, ArrayTypeCondition, ConstantCondition, ContainsAssignmentCondition, DifferentFields, DifferentInstantiationCondition, EnumConstantCondition, EnumTypeCondition, FinalReferenceCondition, FreeLabelInVariableCondition, IsThisReference, LocalVariableCondition, MetaDisjointCondition, StaticFieldCondition, StaticMethodCondition, StaticReferenceCondition, SubFormulaCondition, TermLabelCondition, TypeComparisonCondition, TypeCondition

public abstract class VariableConditionAdapter
extends java.lang.Object
implements VariableCondition

The variable condition adapter can be used by variable conditions which can either fail or be successful, but which do not create a constraint.

Constructor Summary

Constructors

Constructor and Description
VariableConditionAdapter()

Method Summary

Modifier and Type	Method and Description
MatchConditions	check(SchemaVariable var, SVSubstitute instCandidate, MatchConditions mc, Services services) checks if the condition for a correct instantiation is fulfilled
abstract boolean	check(SchemaVariable var, SVSubstitute instCandidate, SVInstantiations instMap, Services services) checks if the condition for a correct instantiation is fulfilled

Methods inherited from class java.lang.Object

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

Constructor Detail

VariableConditionAdapter

public VariableConditionAdapter()

Method Detail

check

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

checks if the condition for a correct instantiation is fulfilled

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

check

public final MatchConditions check(SchemaVariable var,
                                   SVSubstitute instCandidate,
                                   MatchConditions mc,
                                   Services services)

Description copied from interface: VariableCondition

checks if the condition for a correct instantiation is fulfilled

Specified by:

check in interface VariableCondition

Parameters:

var - the SchemaVariable to be instantiated

instCandidate - the SVSubstitute (e.g. Term, ProgramElement) to be mapped to var

mc - 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:

modified match results if the condition can be satisfied, or null otherwise