public final class ArrayComponentTypeCondition extends VariableConditionAdapter
Modifier and Type | Field and Description |
---|---|
private boolean |
checkReferenceType |
private SchemaVariable |
var |
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
private final SchemaVariable var
private final boolean checkReferenceType
public ArrayComponentTypeCondition(SchemaVariable var, boolean checkReferenceType)
checkReferenceType
var
- the SchemaVariable to be checkedcheckReferenceType
- the boolean flag which when is set (true)
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()