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 org.aya.util.error.SourcePos pos, @NotNull ModuleName path)
default R	foldModuleRef(R acc, @NotNull org.aya.util.error.SourcePos pos, @NotNull ModuleName path)

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 org.aya.util.error.SourcePos pos,
 @NotNull
 @NotNull ModuleName path)

foldModuleRef

@NotNull
default R foldModuleRef(@NotNull
 R acc,
 @NotNull
 @NotNull org.aya.util.error.SourcePos pos,
 @NotNull
 @NotNull ModuleName path)

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>