proguard.classfile.kotlin.flags

Class KotlinEffectExpressionFlags

java.lang.Object

proguard.classfile.kotlin.flags.KotlinEffectExpressionFlags

All Implemented Interfaces:

KotlinFlags

public class KotlinEffectExpressionFlags
extends java.lang.Object
implements KotlinFlags

Flags for Kotlin types. No valid common flags.

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
KotlinEffectExpressionFlags()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

isNegated

public boolean isNegated

Signifies that the corresponding effect expression should be negated to compute the proposition or the conclusion of an effect.

isNullCheckPredicate

public boolean isNullCheckPredicate

Signifies that the corresponding effect expression checks whether a value of some variable is `null`.

Constructor Detail

KotlinEffectExpressionFlags

public KotlinEffectExpressionFlags()