proguard.classfile.kotlin.flags

Class KotlinEffectExpressionFlags

java.lang.Object

proguard.classfile.kotlin.flags.KotlinFlags

proguard.classfile.kotlin.flags.KotlinEffectExpressionFlags

public class KotlinEffectExpressionFlags
extends 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(int flags)

Method Summary

Modifier and Type	Method and Description
protected java.util.Map<kotlinx.metadata.Flag,FlagValue>	getOwnProperties()

Methods inherited from class proguard.classfile.kotlin.flags.KotlinFlags

asInt, getChildren, getFlags, setFlags

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(int flags)

Method Detail

getOwnProperties

protected java.util.Map<kotlinx.metadata.Flag,FlagValue> getOwnProperties()

Specified by:

getOwnProperties in class KotlinFlags

Returns:

The mapping between the flags specific to this KotlinFlags instance and their value