类 KotlinEffectExpressionFlags

  • 所有已实现的接口:
    KotlinFlags

    public class KotlinEffectExpressionFlags
    extends java.lang.Object
    implements KotlinFlags
    Flags for Kotlin types.

    No valid common flags.

    • 字段概要

      字段 
      修饰符和类型 字段 说明
      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`.
    • 方法概要

      • 从类继承的方法 java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • 字段详细资料

      • 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`.
    • 构造器详细资料

      • KotlinEffectExpressionFlags

        public KotlinEffectExpressionFlags()