模块 org.aya

程序包 org.aya.core.visitor

类 VarConsumer.ScopeChecker

java.lang.Object

org.aya.core.visitor.VarConsumer.ScopeChecker

所有已实现的接口:

Term.Visitor<kala.tuple.Unit,kala.tuple.Unit>, TermConsumer<kala.tuple.Unit>, VarConsumer<kala.tuple.Unit>

封闭接口:

VarConsumer<P>

public static final class VarConsumer.ScopeChecker
extends Object
implements VarConsumer<kala.tuple.Unit>

嵌套类概要

从接口继承的嵌套类/接口 org.aya.core.visitor.VarConsumer

VarConsumer.ScopeChecker, VarConsumer.UsageCounter

字段概要

字段

修饰符和类型	字段	说明
final @NotNull kala.collection.immutable.ImmutableSeq<LocalVar>	allowed
final @NotNull kala.collection.mutable.MutableList<LocalVar>	confused
final @NotNull kala.collection.mutable.MutableList<LocalVar>	invalid

构造器概要

构造器

构造器	说明
ScopeChecker(@NotNull kala.collection.immutable.ImmutableSeq<LocalVar> allowed)

方法概要

修饰符和类型	方法	说明
boolean	isCleared()
kala.tuple.Unit	visitHole(@NotNull CallTerm.Hole term, kala.tuple.Unit unit)
kala.tuple.Unit	visitLam(@NotNull IntroTerm.Lambda term, kala.tuple.Unit unit)
kala.tuple.Unit	visitPi(@NotNull FormTerm.Pi term, kala.tuple.Unit unit)
kala.tuple.Unit	visitSigma(@NotNull FormTerm.Sigma term, kala.tuple.Unit unit)
void	visitVar(Var v, kala.tuple.Unit unit)

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

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

从接口继承的方法 org.aya.core.term.Term.Visitor

traceEntrance, traceExit

从接口继承的方法 org.aya.core.visitor.TermConsumer

visitAccess, visitApp, visitArg, visitArgs, visitCall, visitError, visitMetaPat, visitNew, visitProj, visitTup, visitUniv

从接口继承的方法 org.aya.core.visitor.VarConsumer

visitConCall, visitDataCall, visitFieldRef, visitFnCall, visitPrimCall, visitRef, visitStructCall

字段详细资料

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

visitLam

public kala.tuple.Unit visitLam(@NotNull IntroTerm.Lambda term,
 kala.tuple.Unit unit)

指定者:

visitLam 在接口中 Term.Visitor<kala.tuple.Unit,kala.tuple.Unit>

指定者:

visitLam 在接口中 TermConsumer<kala.tuple.Unit>

visitPi

public kala.tuple.Unit visitPi(@NotNull FormTerm.Pi term,
 kala.tuple.Unit unit)

指定者:

visitPi 在接口中 Term.Visitor<kala.tuple.Unit,kala.tuple.Unit>

指定者:

visitPi 在接口中 TermConsumer<kala.tuple.Unit>

visitSigma

public kala.tuple.Unit visitSigma(@NotNull FormTerm.Sigma term,
 kala.tuple.Unit unit)

指定者:

visitSigma 在接口中 Term.Visitor<kala.tuple.Unit,kala.tuple.Unit>

指定者:

visitSigma 在接口中 TermConsumer<kala.tuple.Unit>

visitHole

public kala.tuple.Unit visitHole(@NotNull CallTerm.Hole term,
 kala.tuple.Unit unit)

指定者:

visitHole 在接口中 Term.Visitor<kala.tuple.Unit,kala.tuple.Unit>

指定者:

visitHole 在接口中 TermConsumer<kala.tuple.Unit>

指定者:

visitHole 在接口中 VarConsumer<kala.tuple.Unit>

visitVar

@Contract(mutates="this")
public void visitVar(Var v,
 kala.tuple.Unit unit)

指定者:

visitVar 在接口中 VarConsumer<kala.tuple.Unit>