Module aya.base

Package org.aya.core.visitor

Interface DefVisitor

All Superinterfaces:

EndoTerm, Function<Term,Term>, UnaryOperator<Term>

All Known Implementing Classes:

CallResolver

public interface DefVisitor
extends EndoTerm

Nested Class Summary

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

EndoTerm.Elevator, EndoTerm.MetaBind, EndoTerm.NoMeta, EndoTerm.Renamer, EndoTerm.Substituter

Method Summary

Modifier and Type	Method	Description
default void	accept(@NotNull GenericDef def)
default void	accept(Term.Matching matching)

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

apply, apply, post, post, pre, pre

Methods inherited from interface java.util.function.Function

andThen, compose

Method Details

accept

default void accept(@NotNull
 @NotNull GenericDef def)

accept

default void accept(@NotNull
 Term.Matching matching)