public class KotlinEffectExpressionFlags extends java.lang.Object implements KotlinFlags
Modifier and Type | Field and Description |
---|---|
boolean |
isNegated
Signifies that the corresponding effect expression should be negated to compute the proposition or the conclusion of an effect.
|
boolean |
isNullCheckPredicate
Signifies that the corresponding effect expression checks whether a value of some variable is `null`.
|
Constructor and Description |
---|
KotlinEffectExpressionFlags() |
public boolean isNegated
public boolean isNullCheckPredicate