public final class ArrayComponentTypeCondition extends VariableConditionAdapter
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 |
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() |
java.lang.String |
toString() |
check
public ArrayComponentTypeCondition(SchemaVariable var, boolean checkReferenceType)
checkReferenceType
var
- the SchemaVariable to be checkedcheckReferenceType
- the boolean flag which when is set (true)
FIXME weigl: this is not true! checkReferenceType is just the negated flag.
checks for reference otherwise for primitive typepublic boolean isCheckReferenceType()
public boolean check(SchemaVariable var, SVSubstitute candidate, SVInstantiations svInst, Services services)
VariableConditionAdapter
check
in class VariableConditionAdapter
var
- the template Variable to be instantiatedsvInst
- the MatchCondition with the current matching state and in particular
the SVInstantiations that are already known to be neededservices
- the program information objectpublic java.lang.String toString()
toString
in class java.lang.Object
public SchemaVariable getVar()
Copyright © 2003-2019 The KeY-Project.