Module aya.base

Package org.aya.core.visitor

Class VarConsumer.Scoped

java.lang.Object

org.aya.core.visitor.VarConsumer.Scoped

All Implemented Interfaces:

Consumer<Term>, TermConsumer, VarConsumer

Direct Known Subclasses:

VarConsumer.ScopeChecker

Enclosing interface:

VarConsumer

public abstract static class VarConsumer.Scoped
extends Object
implements VarConsumer

Nested Class Summary

Nested classes/interfaces inherited from interface org.aya.core.visitor.VarConsumer

VarConsumer.ScopeChecker, VarConsumer.Scoped

Field Summary

Fields

Modifier and Type	Field	Description
protected final @NotNull kala.collection.mutable.MutableList<LocalVar>	bound

Constructor Summary

Constructors

Constructor	Description
Scoped()

Method Summary

Modifier and Type	Method	Description
void	accept(@NotNull Term term)
boolean	isCleared()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.function.Consumer

andThen

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

post, pre

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

var

Field Details

bound

@NotNull
protected final @NotNull kala.collection.mutable.MutableList<LocalVar> bound

Constructor Details

Scoped

public Scoped()

Method Details

isCleared

@TestOnly
@VisibleForTesting
public boolean isCleared()

accept

public void accept(@NotNull
 @NotNull Term term)

Specified by:

accept in interface Consumer<Term>

Specified by:

accept in interface TermConsumer

Specified by:

accept in interface VarConsumer