Module aya.base

Package org.aya.tyck

Class StmtTycker

java.lang.Object

org.aya.tyck.tycker.TracedTycker

org.aya.tyck.StmtTycker

public final class StmtTycker
extends TracedTycker

API Note:

this class does not create ExprTycker instances itself, but use the one passed to it. TracedTycker.newTycker(org.aya.core.def.PrimDef.Factory, org.aya.core.repr.AyaShape.Factory) creates instances of expr tyckers.

Field Summary

Fields inherited from class org.aya.tyck.tycker.TracedTycker

reporter, traceBuilder

Constructor Summary

Constructors

Constructor	Description
StmtTycker(@NotNull org.aya.util.reporter.Reporter reporter, @Nullable Trace.Builder traceBuilder)

Method Summary

Modifier and Type	Method	Description
@NotNull FnDef	simpleFn(@NotNull ExprTycker tycker, TeleDecl.FnDecl fn, Expr expr)
@NotNull GenericDef	tyck(@NotNull Decl decl, @NotNull ExprTycker tycker)
void	tyckHeader(@NotNull Decl decl, @NotNull ExprTycker tycker)

Methods inherited from class org.aya.tyck.tycker.TracedTycker

fail, fail, newTycker, traced, tracing

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

StmtTycker

public StmtTycker(@NotNull
 @NotNull org.aya.util.reporter.Reporter reporter,
 @Nullable Trace.Builder traceBuilder)

Method Details

tyck

@NotNull
public @NotNull GenericDef tyck(@NotNull
 @NotNull Decl decl,
 @NotNull
 @NotNull ExprTycker tycker)

simpleFn

@NotNull
public @NotNull FnDef simpleFn(@NotNull
 @NotNull ExprTycker tycker,
 TeleDecl.FnDecl fn,
 Expr expr)

tyckHeader

public void tyckHeader(@NotNull
 @NotNull Decl decl,
 @NotNull
 @NotNull ExprTycker tycker)