org.aya.core.visitor.VarConsumer.UsageCounter

所有已实现的接口:: Term.Visitor<kala.tuple.Unit,kala.tuple.Unit>, TermConsumer<kala.tuple.Unit>, VarConsumer<kala.tuple.Unit>

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

另请参阅:

嵌套类概要

从接口继承的嵌套类/接口 org.aya.core.visitor.VarConsumer
VarConsumer.ScopeChecker, VarConsumer.UsageCounter
字段概要

字段

修饰符和类型

字段

说明

final @NotNull Var

var
构造器概要

构造器

构造器

说明

UsageCounter(@NotNull Var var)
方法概要

修饰符和类型

方法

说明

int

usageCount()

void

visitVar(Var usage, 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, visitLam, visitMetaPat, visitNew, visitPi, visitProj, visitSigma, visitTup, visitUniv

从接口继承的方法 org.aya.core.visitor.VarConsumer
visitConCall, visitDataCall, visitFieldRef, visitFnCall, visitHole, visitPrimCall, visitRef, visitStructCall

字段详细资料
- var
  
  @NotNull public final @NotNull Var var
构造器详细资料
- UsageCounter
  
  @Contract(pure=true) public UsageCounter(@NotNull @NotNull Var var)
方法详细资料
- usageCount
  
  @Contract(pure=true) public int usageCount()
- visitVar
  
  @Contract(mutates="this") public void visitVar(Var usage, kala.tuple.Unit unit)
  
  指定者:
  
  visitVar 在接口中 VarConsumer<kala.tuple.Unit>

类 VarConsumer.UsageCounter

嵌套类概要