模块 aya.base
程序包 org.aya.core.visitor

接口 TermConsumer

所有超级接口:
Consumer<Term>
所有已知子接口:
DefConsumer, VarConsumer
所有已知实现类:
CallResolver, VarConsumer.ScopeChecker
public interface TermConsumer extends Consumer<Term>
A convenient interface to consume a `Term`. This is desirable when you only need to inspect a term and produce some side effects. One can specify the `pre` and `post` method which represents a recursive step in pre- and post-order respectively. The overall traversal is obtained by recursively traversing the term in pre-order followed by a post-order traversal.

  • 方法概要

    修饰符和类型
    方法
    说明
    default void
    accept(@NotNull Term term)
     
    default void
    post(@NotNull Term term)
     
    default void
    pre(@NotNull Term term)
     

    从接口继承的方法 java.util.function.Consumer

    andThen

  • 方法详细资料

    • pre

      default void pre(@NotNull @NotNull Term term)

    • post

      default void post(@NotNull @NotNull Term term)

    • accept

      default void accept(@NotNull @NotNull Term term)
      指定者:
      accept 在接口中 Consumer<Term>