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

接口 VarConsumer

所有超级接口:
Consumer<Term>, TermConsumer
所有已知实现类:
VarConsumer.ScopeChecker
public interface VarConsumer extends TermConsumer

  • 嵌套类概要

    嵌套类
    修饰符和类型
    接口
    说明
    static final class 
    VarConsumer.ScopeChecker
     

  • 方法概要

    修饰符和类型
    方法
    说明
    default void
    accept(@NotNull Term term)
     
    void
    var(@NotNull AnyVar var)
     

    从接口继承的方法 java.util.function.Consumer

    andThen

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

    post, pre