Module aya.base

Package org.aya.concrete.visitor

Interface StmtFolder<R>

All Superinterfaces:

ExprFolder<R>, Function<Stmt,R>, PatternFolder<R>

public interface StmtFolder<R>
extends Function<Stmt,R>, ExprFolder<R>

Method Summary

Modifier and Type	Method	Description
default R	apply(@NotNull Stmt stmt)
default R	fold(R acc, @NotNull BindBlock bb)
default R	fold(R acc, @NotNull Stmt stmt)
default R	foldModuleDecl(R acc, @NotNull QualifiedID mod)
default R	foldModuleRef(R acc, @NotNull QualifiedID mod)

Methods inherited from interface org.aya.concrete.visitor.ExprFolder

fold, foldParamDecl, init, withTermType

Methods inherited from interface java.util.function.Function

andThen, compose

Methods inherited from interface org.aya.concrete.visitor.PatternFolder

apply, fold, foldVar, foldVarDecl, foldVarRef, lazyType, noType, varType

Method Details

foldModuleDecl

@NotNull
default R foldModuleDecl(@NotNull
 R acc,
 @NotNull
 @NotNull QualifiedID mod)

foldModuleRef

@NotNull
default R foldModuleRef(@NotNull
 R acc,
 @NotNull
 @NotNull QualifiedID mod)

fold

@NotNull
default R fold(@NotNull
 R acc,
 @NotNull
 @NotNull BindBlock bb)

fold

@MustBeInvokedByOverriders
@NotNull
default R fold(@NotNull
 R acc,
 @NotNull
 @NotNull Stmt stmt)

apply

@NotNull
default R apply(@NotNull
 @NotNull Stmt stmt)

Specified by:

apply in interface Function<Stmt,R>