Module aya.base

Package org.aya.resolve.module

Interface ModuleLoader

All Known Implementing Classes:

CachedModuleLoader, FileModuleLoader, ModuleListLoader

public interface ModuleLoader

Method Summary

Modifier and Type	Method	Description
boolean	existsFileLevelModule(@NotNull kala.collection.immutable.ImmutableSeq<@NotNull String> path)
default @Nullable ResolveInfo	load(@NotNull kala.collection.immutable.ImmutableSeq<@NotNull String> path)
@Nullable ResolveInfo	load(@NotNull kala.collection.immutable.ImmutableSeq<@NotNull String> path, @NotNull ModuleLoader recurseLoader)
@NotNull org.aya.util.reporter.Reporter	reporter()
default @NotNull ResolveInfo	resolveModule(PrimDef.Factory primFactory, AyaShape.Factory shapeFactory, @NotNull AyaBinOpSet opSet, @NotNull ModuleContext context, @NotNull kala.collection.immutable.ImmutableSeq<Stmt> program, @NotNull ModuleLoader recurseLoader)
default @NotNull ResolveInfo	resolveModule(PrimDef.Factory primFactory, @NotNull ModuleContext context, @NotNull kala.collection.immutable.ImmutableSeq<Stmt> program, @NotNull ModuleLoader recurseLoader)
default <E extends Exception> @NotNull ResolveInfo	tyckModule(PrimDef.Factory primFactory, @NotNull ModuleContext context, @NotNull kala.collection.immutable.ImmutableSeq<Stmt> program, Trace.Builder builder, @Nullable ModuleCallback<E> onTycked)
default <E extends Exception> @NotNull ResolveInfo	tyckModule(Trace.Builder builder, ResolveInfo resolveInfo, ModuleCallback<E> onTycked)

Method Details

tyckModule

@NotNull
default <E extends Exception> @NotNull ResolveInfo tyckModule(@NotNull
 PrimDef.Factory primFactory,
 @NotNull
 @NotNull ModuleContext context,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Stmt> program,
 @Nullable
 Trace.Builder builder,
 @Nullable
 @Nullable ModuleCallback<E> onTycked)
                                                       throws E

Throws:

E

tyckModule

@NotNull
default <E extends Exception> @NotNull ResolveInfo tyckModule(Trace.Builder builder,
 ResolveInfo resolveInfo,
 ModuleCallback<E> onTycked)
                                                       throws E

Throws:

E

resolveModule

@NotNull
default @NotNull ResolveInfo resolveModule(@NotNull
 PrimDef.Factory primFactory,
 @NotNull
 @NotNull ModuleContext context,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Stmt> program,
 @NotNull
 @NotNull ModuleLoader recurseLoader)

resolveModule

@NotNull
default @NotNull ResolveInfo resolveModule(@NotNull
 PrimDef.Factory primFactory,
 @NotNull
 AyaShape.Factory shapeFactory,
 @NotNull
 @NotNull AyaBinOpSet opSet,
 @NotNull
 @NotNull ModuleContext context,
 @NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<Stmt> program,
 @NotNull
 @NotNull ModuleLoader recurseLoader)

reporter

@NotNull
@NotNull org.aya.util.reporter.Reporter reporter()

load

@Nullable
@Nullable ResolveInfo load(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<@NotNull String> path,
 @NotNull
 @NotNull ModuleLoader recurseLoader)

load

@Nullable
default @Nullable ResolveInfo load(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<@NotNull String> path)

existsFileLevelModule

boolean existsFileLevelModule(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<@NotNull String> path)

Returns:

if there is a module with path , which can be untycked