Module aya.base

Package org.aya.resolve.context

Interface ModuleContext

All Superinterfaces:

Context

All Known Implementing Classes:

NoExportContext, PhysicalModuleContext

public sealed interface ModuleContext
extends Context
permits NoExportContext, PhysicalModuleContext

Nested Class Summary

Nested classes/interfaces inherited from interface org.aya.resolve.context.Context

Context.ResolvingInterruptedException

Field Summary

Fields inherited from interface org.aya.resolve.context.Context

TOP_LEVEL_MOD_NAME

Method Summary

Modifier and Type	Method	Description
default void	addGlobal(@NotNull kala.collection.immutable.ImmutableSeq<String> modName, @NotNull String name, Stmt.Accessibility accessibility, @NotNull AnyVar ref, @NotNull org.aya.util.error.SourcePos sourcePos)
default void	addGlobalSimple(Stmt.Accessibility acc, @NotNull AnyVar ref, @NotNull org.aya.util.error.SourcePos sourcePos)
@NotNull kala.collection.mutable.MutableMap<String,kala.collection.mutable.MutableMap<kala.collection.Seq<String>,AnyVar>>	definitions()
default @Nullable kala.collection.mutable.MutableMap<String,AnyVar>	getModuleLocalMaybe(@NotNull kala.collection.immutable.ImmutableSeq<String> modName)
default @Nullable AnyVar	getQualifiedLocalMaybe(@NotNull kala.collection.immutable.ImmutableSeq<@NotNull String> modName, @NotNull String name, @NotNull org.aya.util.error.SourcePos sourcePos)
default @Nullable AnyVar	getUnqualifiedLocalMaybe(@NotNull String name, @NotNull org.aya.util.error.SourcePos sourcePos)
default void	importModule(Stmt.Accessibility accessibility, @NotNull org.aya.util.error.SourcePos sourcePos, kala.collection.immutable.ImmutableSeq<String> componentName, kala.collection.mutable.MutableMap<String,AnyVar> mod)
default void	importModules(@NotNull kala.collection.immutable.ImmutableSeq<String> modName, Stmt.Accessibility accessibility, @NotNull kala.collection.mutable.MutableMap<kala.collection.immutable.ImmutableSeq<String>,kala.collection.mutable.MutableMap<String,AnyVar>> module, @NotNull org.aya.util.error.SourcePos sourcePos)
@NotNull kala.collection.mutable.MutableMap<kala.collection.immutable.ImmutableSeq<String>,kala.collection.mutable.MutableMap<String,AnyVar>>	modules()
default void	openModule(@NotNull kala.collection.immutable.ImmutableSeq<String> modName, Stmt.Accessibility accessibility, @NotNull Function<String,Boolean> using, @NotNull kala.collection.Map<String,String> rename, @NotNull org.aya.util.error.SourcePos sourcePos)
@NotNull Context	parent()
default @NotNull org.aya.util.reporter.Reporter	reporter()
default @NotNull Path	underlyingFile()

Methods inherited from interface org.aya.resolve.context.Context

bind, bind, bind, collect, derive, derive, get, getMaybe, getModuleMaybe, getQualified, getQualified, getQualifiedMaybe, getQualifiedMaybe, getUnqualified, getUnqualifiedMaybe, iterate, moduleName, reportAndThrow

Method Details

parent

@NotNull
@NotNull Context parent()

Specified by:

parent in interface Context

reporter

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

Specified by:

reporter in interface Context

underlyingFile

@NotNull
default @NotNull Path underlyingFile()

Specified by:

underlyingFile in interface Context

definitions

@NotNull
@NotNull kala.collection.mutable.MutableMap<String,kala.collection.mutable.MutableMap<kala.collection.Seq<String>,AnyVar>> definitions()

modules

@NotNull
@NotNull kala.collection.mutable.MutableMap<kala.collection.immutable.ImmutableSeq<String>,kala.collection.mutable.MutableMap<String,AnyVar>> modules()

getUnqualifiedLocalMaybe

@Nullable
default @Nullable AnyVar getUnqualifiedLocalMaybe(@NotNull
 @NotNull String name,
 @NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos)

Specified by:

getUnqualifiedLocalMaybe in interface Context

getQualifiedLocalMaybe

@Nullable
default @Nullable AnyVar getQualifiedLocalMaybe(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<@NotNull String> modName,
 @NotNull
 @NotNull String name,
 @NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos)

Specified by:

getQualifiedLocalMaybe in interface Context

getModuleLocalMaybe

@Nullable
default @Nullable kala.collection.mutable.MutableMap<String,AnyVar> getModuleLocalMaybe(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<String> modName)

Specified by:

getModuleLocalMaybe in interface Context

importModules

default void importModules(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<String> modName,
 @NotNull
 Stmt.Accessibility accessibility,
 @NotNull
 @NotNull kala.collection.mutable.MutableMap<kala.collection.immutable.ImmutableSeq<String>,kala.collection.mutable.MutableMap<String,AnyVar>> module,
 @NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos)

importModule

default void importModule(@NotNull
 Stmt.Accessibility accessibility,
 @NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos,
 kala.collection.immutable.ImmutableSeq<String> componentName,
 kala.collection.mutable.MutableMap<String,AnyVar> mod)

openModule

default void openModule(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<String> modName,
 @NotNull
 Stmt.Accessibility accessibility,
 @NotNull
 @NotNull Function<String,Boolean> using,
 @NotNull
 @NotNull kala.collection.Map<String,String> rename,
 @NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos)

addGlobalSimple

default void addGlobalSimple(@NotNull
 Stmt.Accessibility acc,
 @NotNull
 @NotNull AnyVar ref,
 @NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos)

addGlobal

default void addGlobal(@NotNull
 @NotNull kala.collection.immutable.ImmutableSeq<String> modName,
 @NotNull
 @NotNull String name,
 @NotNull
 Stmt.Accessibility accessibility,
 @NotNull
 @NotNull AnyVar ref,
 @NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos)