de.uka.ilkd.key.rule.conditions

Class ArrayComponentTypeCondition

java.lang.Object

de.uka.ilkd.key.rule.VariableConditionAdapter

de.uka.ilkd.key.rule.conditions.ArrayComponentTypeCondition

All Implemented Interfaces:

VariableCondition

public final class ArrayComponentTypeCondition
extends VariableConditionAdapter

This variable condition checks if an array component is of reference type

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	checkReferenceType
private SchemaVariable	var

Constructor Summary

Constructors

Constructor and Description
ArrayComponentTypeCondition(SchemaVariable var, boolean checkReferenceType) creates an instance of this condition checking if array var has reference or primitive component type depending on the value of checkReferenceType

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
SchemaVariable	getVar()
boolean	isCheckReferenceType()
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

var

private final SchemaVariable var

checkReferenceType

private final boolean checkReferenceType

Constructor Detail

ArrayComponentTypeCondition

public ArrayComponentTypeCondition(SchemaVariable var,
                                   boolean checkReferenceType)

creates an instance of this condition checking if array var has reference or primitive component type depending on the value of checkReferenceType

Parameters:

var - the SchemaVariable to be checked

checkReferenceType - the boolean flag which when is set (true) checks for reference otherwise for primitive type

Method Detail

isCheckReferenceType

public boolean isCheckReferenceType()

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

getVar

public SchemaVariable getVar()