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

accept, post, post, pre, pre

Method Details

var

void var(@NotNull
 @NotNull AnyVar var)

accept

default void accept(@NotNull
 @NotNull Term term)

Specified by:

accept in interface Consumer<Term>

Specified by:

accept in interface TermConsumer