Module aya.base

Package org.aya.tyck.tycker

Interface AppTycker

public interface AppTycker

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	AppTycker.Factory<Ex extends Exception>

Method Summary

Static Methods

Modifier and Type	Method	Description
static <Ex extends Exception> @NotNull Jdg	checkCompiledApplication(org.aya.syntax.compile.JitTele def, @NotNull AppTycker.Factory<Ex> makeArgs)
static <Ex extends Exception> @NotNull Jdg	checkDefApplication(@NotNull org.aya.syntax.ref.DefVar<?,?> defVar, @NotNull TyckState state, @NotNull AppTycker.Factory<Ex> makeArgs)

Method Details

checkCompiledApplication

@NotNull
static <Ex extends Exception> @NotNull Jdg checkCompiledApplication(org.aya.syntax.compile.JitTele def,
 @NotNull
 @NotNull AppTycker.Factory<Ex> makeArgs)
                                                             throws Ex

Throws:

Ex

checkDefApplication

@NotNull
static <Ex extends Exception> @NotNull Jdg checkDefApplication(@NotNull
 @NotNull org.aya.syntax.ref.DefVar<?,?> defVar,
 @NotNull
 @NotNull TyckState state,
 @NotNull
 @NotNull AppTycker.Factory<Ex> makeArgs)
                                                        throws Ex

Throws:

Ex