| java.lang.Object de.uka.ilkd.key.rule.VariableConditionAdapter de.uka.ilkd.key.rule.conditions.ArrayComponentTypeCondition
ArrayComponentTypeCondition | public class ArrayComponentTypeCondition extends VariableConditionAdapter (Code) | | This variable condition checks if an array component is of reference type
|
ArrayComponentTypeCondition | public ArrayComponentTypeCondition(SchemaVariable var, boolean checkReferenceType)(Code) | | 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 Parameters: checkReferenceType - the boolean flag which when is set (true) checks for reference otherwise for primitive type |
check | public boolean check(SchemaVariable var, SVSubstitute candidate, SVInstantiations svInst, Services services)(Code) | | checks if the condition for a correct instantiation is fulfilled
Parameters: var - the template Variable to be instantiated Parameters: candidate - the SVSubstitute which is a candidate for aninstantiation of var Parameters: svInst - the SVInstantiations that are already known to be needed true iff condition is fulfilled |
|
|