de.uka.ilkd.key.rule.conditions

Class EnumTypeCondition

java.lang.Object

de.uka.ilkd.key.rule.VariableConditionAdapter

de.uka.ilkd.key.rule.conditions.EnumTypeCondition

All Implemented Interfaces:

VariableCondition

public final class EnumTypeCondition
extends VariableConditionAdapter

This variable condition checks if a type is an enum type.

Since:

2006-12-14

Author:

mulbrich

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	negated
private TypeResolver	resolver

Constructor Summary

Constructors

Constructor and Description
EnumTypeCondition(TypeResolver resolver, boolean negated) creates a condition that checks if a type is a EnumDeclaration

Method Summary

Modifier and Type	Method and Description
boolean	check(SchemaVariable var, SVSubstitute candidate, SVInstantiations svInst, Services services) checks if the condition for a correct instantiation is fulfilled
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

resolver

private final TypeResolver resolver

negated

private final boolean negated

Constructor Detail

EnumTypeCondition

public EnumTypeCondition(TypeResolver resolver,
                         boolean negated)

creates a condition that checks if a type is a EnumDeclaration

Parameters:

resolver - the type resolver to be checked

negated - should the result be negated

Method Detail

check

public boolean check(SchemaVariable var,
                     SVSubstitute candidate,
                     SVInstantiations svInst,
                     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

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 String toString()

Overrides:

toString in class Object