Module aya.base

Package org.aya.core.visitor

Class VarConsumer.ScopeChecker

java.lang.Object

org.aya.core.visitor.VarConsumer.Scoped

org.aya.core.visitor.VarConsumer.ScopeChecker

All Implemented Interfaces:

Consumer<Term>, TermConsumer, VarConsumer

Enclosing interface:

VarConsumer

public static final class VarConsumer.ScopeChecker
extends VarConsumer.Scoped

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
final @NotNull kala.collection.immutable.ImmutableSeq<LocalVar>	allowed
final @NotNull kala.collection.mutable.MutableList<LocalVar>	confused
final @NotNull kala.collection.mutable.MutableList<LocalVar>	invalid

Fields inherited from class org.aya.core.visitor.VarConsumer.Scoped

bound

Constructor Summary

Constructors

Constructor	Description
ScopeChecker(@NotNull kala.collection.immutable.ImmutableSeq<LocalVar> allowed)

Method Summary

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

Methods inherited from class org.aya.core.visitor.VarConsumer.Scoped

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

accept, post, post, pre, pre

Field Details

allowed

@NotNull
public final @NotNull kala.collection.immutable.ImmutableSeq<LocalVar> allowed

invalid

@NotNull
public final @NotNull kala.collection.mutable.MutableList<LocalVar> invalid

confused

@NotNull
public final @NotNull kala.collection.mutable.MutableList<LocalVar> confused

Constructor Details

ScopeChecker

@Contract(pure=true)
public ScopeChecker(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<LocalVar> allowed)

Method Details

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

Overrides:

accept in class VarConsumer.Scoped

var

@Contract(mutates="this")
public void var(@NotNull
 @NotNull AnyVar v)