Module aya.base
Package org.aya.core.visitor

Interface PatTraversal

All Superinterfaces:
Function<Pat,Pat>
All Known Subinterfaces:
PatTraversal.NoMeta
All Known Implementing Classes:
PatTraversal.MetaBind
public interface PatTraversal extends Function<Pat,Pat>

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Interface
    Description
    static final record 
    PatTraversal.MetaBind
    subst all binding to corresponding MetaPat
    static interface 
    PatTraversal.NoMeta
    A traversal that disallow Pat.Meta

  • Method Summary

    Modifier and Type
    Method
    Description
    default @NotNull Pat
    apply(@NotNull Pat pat)
     
    default @NotNull Pat
    descent(@NotNull Pat pat)
     
    default @NotNull Pat
    post(@NotNull Pat pat)
     
    default @NotNull Pat
    pre(@NotNull Pat pat)
     

    Methods inherited from interface java.util.function.Function

    andThen, compose

  • Method Details

    • pre

      @NotNull default @NotNull Pat pre(@NotNull @NotNull Pat pat)

    • post

      @NotNull default @NotNull Pat post(@NotNull @NotNull Pat pat)

    • apply

      @NotNull default @NotNull Pat apply(@NotNull @NotNull Pat pat)
      Specified by:
      apply in interface Function<Pat,Pat>

    • descent

      @NotNull default @NotNull Pat descent(@NotNull @NotNull Pat pat)