de.uka.ilkd.key.rule.conditions

Class AlternativeVariableCondition

java.lang.Object

de.uka.ilkd.key.rule.VariableConditionAdapter

de.uka.ilkd.key.rule.conditions.AlternativeVariableCondition

All Implemented Interfaces:

VariableCondition

public final class AlternativeVariableCondition
extends VariableConditionAdapter

disjoin two variable conditions

Author:

bruns

Field Summary

Fields

Modifier and Type	Field and Description
private VariableConditionAdapter	delegate0
private VariableConditionAdapter	delegate1

Constructor Summary

Constructors

Constructor and Description
AlternativeVariableCondition(VariableConditionAdapter delegate0, VariableConditionAdapter delegate1)

Method Summary

Modifier and Type	Method and Description
boolean	check(SchemaVariable var, SVSubstitute subst, SVInstantiations svInst, Services services) check whether any of the two delegates apply
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

delegate0

private final VariableConditionAdapter delegate0

delegate1

private final VariableConditionAdapter delegate1

Constructor Detail

AlternativeVariableCondition

public AlternativeVariableCondition(VariableConditionAdapter delegate0,
                                    VariableConditionAdapter delegate1)

Method Detail

check

public boolean check(SchemaVariable var,
                     SVSubstitute subst,
                     SVInstantiations svInst,
                     Services services)

check whether any of the two delegates apply

Specified by:

check in class VariableConditionAdapter

Parameters:

var - the template Variable to be instantiated

svInst - 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