Package proguard.classfile.kotlin.flags

Class 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 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`.

    • 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()