class TacletConditions
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private ImmutableList<AbstractOrInterfaceType> |
abstractInterfaceCondition |
private ImmutableList<ArrayComponentTypeCondition> |
arrayComponentCondition |
private ImmutableList<TypeComparisonCondition> |
comparisionCondition |
static int |
FALSE |
static int |
NULL_ILLEGAL |
static int |
NULL_LEGAL |
private ImmutableList<TypeCondition> |
typeCondition |
Constructor and Description |
---|
TacletConditions(Taclet t) |
Modifier and Type | Method and Description |
---|---|
boolean |
conatainsComparisionConditionSymmetric(Sort s1,
Sort s2,
TypeComparisonCondition.Mode mode)
Does the same like
containsComparisionCondition with
the difference, that the order of s1 and s2
is not important. |
boolean |
containsAbstractInterfaceCondition(Sort s)
Checks whether the conditions contains a "\isAbstractOrInterface"
condition for the sort
s . |
private boolean |
containsAbstractInterfaceCondition(Sort s,
boolean negated) |
boolean |
containsComparisionCondition(Sort s1,
Sort s2,
TypeComparisonCondition.Mode mode)
Returns whether the taclet has a type comparision condition according
to the sorts
s1 and s2 . |
private boolean |
containsComparisionCondition(TypeComparisonCondition tcc,
Sort s1,
Sort s2,
TypeComparisonCondition.Mode mode) |
boolean |
containsIsReferenceArray(Term t) |
int |
containsIsReferenceCondition(Sort s)
Returns whether the taclet has a "isReference"-condition.
|
boolean |
containsIsSubtypeRelation(Sort gen,
Sort inst,
TypeComparisonCondition.Mode mode) |
boolean |
containsNotAbstractInterfaceCondition(Sort s)
Checks whether the conditions contains a "\not\isAbstractOrInterface"
condition for the sort
s . |
boolean |
containsNotSameCondition(Sort s1,
Sort s2)
Checks whether the conditions contains the "notSame"-condition
with the corresponding sorts
s1 and s2 . |
private ImmutableList<TypeComparisonCondition> comparisionCondition
private ImmutableList<TypeCondition> typeCondition
private ImmutableList<AbstractOrInterfaceType> abstractInterfaceCondition
private ImmutableList<ArrayComponentTypeCondition> arrayComponentCondition
public static final int FALSE
public static final int NULL_LEGAL
public static final int NULL_ILLEGAL
public TacletConditions(Taclet t) throws IllegalTacletException
IllegalTacletException
public boolean containsIsReferenceArray(Term t)
public boolean containsNotAbstractInterfaceCondition(Sort s)
s
.s
- true
if there is such a condition,
otherwise false
.public boolean containsAbstractInterfaceCondition(Sort s)
s
.s
- true
if there is such a condition,
otherwise false
.private boolean containsAbstractInterfaceCondition(Sort s, boolean negated)
public boolean containsNotSameCondition(Sort s1, Sort s2)
s1
and s2
.s1
- s2
- true
if there is such a condition,
otherwise false
.public boolean conatainsComparisionConditionSymmetric(Sort s1, Sort s2, TypeComparisonCondition.Mode mode)
containsComparisionCondition
with
the difference, that the order of s1
and s2
is not important.public boolean containsComparisionCondition(Sort s1, Sort s2, TypeComparisonCondition.Mode mode)
s1
and s2
.s1
and s2
is important.
For symmetric conditions like "notSame" use
containsNotSameConditionSymmetric
.s1
- s2
- mode
- see TypeComparisonCondition
true
if the taclet contains the condition,
otherwise false.private boolean containsComparisionCondition(TypeComparisonCondition tcc, Sort s1, Sort s2, TypeComparisonCondition.Mode mode)
public boolean containsIsSubtypeRelation(Sort gen, Sort inst, TypeComparisonCondition.Mode mode)
public int containsIsReferenceCondition(Sort s)
s
- the sort according to the "isReference"-condition.FALSE
: the taclet has no "isReference"-condition
according to the given sort s.NULL_LEGAL
: the taclet has a "isReference"-condition,
where null
is allowed.NULL_ILLEGAL
: the taclet has a "isRefernce"-condition,
where null
is not allowed.