Package proguard.classfile.kotlin.flags

Class KotlinEffectExpressionFlags

java.lang.Object

proguard.classfile.kotlin.flags.KotlinEffectExpressionFlags

All Implemented Interfaces:

KotlinFlags

public class KotlinEffectExpressionFlags
extends Object
implements KotlinFlags

Flags for Kotlin types.

No valid common flags.

Field Summary

Fields

Modifier and Type	Field	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	Description
KotlinEffectExpressionFlags()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

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 Details

KotlinEffectExpressionFlags

public KotlinEffectExpressionFlags()