模块 aya.base
程序包 org.aya.core.visitor

类 VarConsumer.ScopeChecker

java.lang.Object
org.aya.core.visitor.VarConsumer.ScopeChecker
所有已实现的接口:
Consumer<Term>, TermConsumer, VarConsumer
封闭接口:
VarConsumer
public static final class VarConsumer.ScopeChecker extends Object implements VarConsumer

  • 字段详细资料

    • allowed

      @NotNull public final @NotNull kala.collection.immutable.ImmutableSeq<LocalVar> allowed

    • invalid

      @NotNull public final @NotNull kala.collection.mutable.MutableList<LocalVar> invalid

    • confused

      @NotNull public final @NotNull kala.collection.mutable.MutableList<LocalVar> confused

  • 构造器详细资料

    • ScopeChecker

      @Contract(pure=true) public ScopeChecker(@NotNull @NotNull kala.collection.immutable.ImmutableSeq<LocalVar> allowed)

  • 方法详细资料

    • isCleared

      @TestOnly @VisibleForTesting public boolean isCleared()

    • accept

      public void accept(@NotNull @NotNull Term term)
      指定者:
      accept 在接口中 Consumer<Term>
      指定者:
      accept 在接口中 TermConsumer
      指定者:
      accept 在接口中 VarConsumer

    • var

      @Contract(mutates="this") public void var(@NotNull @NotNull AnyVar v)
      指定者:
      var 在接口中 VarConsumer