Module aya.base
Package org.aya.core.visitor

Interface VarConsumer

All Superinterfaces:
Consumer<Term>, TermConsumer
All Known Implementing Classes:
VarConsumer.ScopeChecker, VarConsumer.Scoped
public interface VarConsumer extends TermConsumer

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static final class 
    VarConsumer.ScopeChecker
     
    static class 
    VarConsumer.Scoped
     

  • Method Summary

    Modifier and Type
    Method
    Description
    default void
    accept(@NotNull Term term)
     
    void
    var(@NotNull AnyVar var)
     

    Methods inherited from interface java.util.function.Consumer

    andThen

    Methods inherited from interface org.aya.core.visitor.TermConsumer

    post, pre