模块 aya.base

程序包 org.aya.resolve.context

接口 Context

所有已知子接口:

ModuleContext

所有已知实现类:

BindContext, EmptyContext, NoExportContext, PhysicalModuleContext

public interface Context

嵌套类概要

嵌套类

修饰符和类型	接口	说明
static class	Context.ResolvingInterruptedException

字段概要

字段

修饰符和类型	字段	说明
static final kala.collection.immutable.ImmutableSeq<String>	TOP_LEVEL_MOD_NAME

方法概要

修饰符和类型	方法	说明
default @NotNull Context	bind(@NotNull String name, @NotNull LocalVar ref, @NotNull org.aya.util.error.SourcePos sourcePos, @NotNull Predicate<@Nullable AnyVar> toWarn)
default @NotNull Context	bind(@NotNull LocalVar ref, @NotNull org.aya.util.error.SourcePos sourcePos)
default @NotNull Context	bind(@NotNull LocalVar ref, @NotNull org.aya.util.error.SourcePos sourcePos, @NotNull Predicate<@Nullable AnyVar> toWarn)
default kala.collection.mutable.MutableList<LocalVar>	collect(@NotNull kala.collection.mutable.MutableList<LocalVar> container)
default @NotNull PhysicalModuleContext	derive(@NotNull String extraName)
default @NotNull PhysicalModuleContext	derive(@NotNull kala.collection.Seq<@NotNull String> extraName)
default @NotNull AnyVar	get(@NotNull QualifiedID name)
default @Nullable AnyVar	getMaybe(@NotNull QualifiedID name)
@Nullable kala.collection.mutable.MutableMap<String,AnyVar>	getModuleLocalMaybe(@NotNull kala.collection.immutable.ImmutableSeq<String> modName)
default @Nullable kala.collection.mutable.MutableMap<String,AnyVar>	getModuleMaybe(@NotNull kala.collection.immutable.ImmutableSeq<String> modName)
default @NotNull AnyVar	getQualified(@NotNull kala.collection.immutable.ImmutableSeq<@NotNull String> modName, @NotNull String name, @NotNull org.aya.util.error.SourcePos sourcePos)
default @NotNull AnyVar	getQualified(@NotNull QualifiedID qualifiedID, @NotNull org.aya.util.error.SourcePos sourcePos)
@Nullable AnyVar	getQualifiedLocalMaybe(@NotNull kala.collection.immutable.ImmutableSeq<@NotNull String> modName, @NotNull String name, @NotNull org.aya.util.error.SourcePos sourcePos)
default @Nullable AnyVar	getQualifiedMaybe(@NotNull kala.collection.immutable.ImmutableSeq<@NotNull String> modName, @NotNull String name, @NotNull org.aya.util.error.SourcePos sourcePos)
default @Nullable AnyVar	getQualifiedMaybe(@NotNull QualifiedID qualifiedID, @NotNull org.aya.util.error.SourcePos sourcePos)
default @NotNull AnyVar	getUnqualified(@NotNull String name, @NotNull org.aya.util.error.SourcePos sourcePos)
@Nullable AnyVar	getUnqualifiedLocalMaybe(@NotNull String name, @NotNull org.aya.util.error.SourcePos sourcePos)
default @Nullable AnyVar	getUnqualifiedMaybe(@NotNull String name, @NotNull org.aya.util.error.SourcePos sourcePos)
default <T> T	iterate(@NotNull Function<@NotNull Context,@Nullable T> f)
default @NotNull kala.collection.immutable.ImmutableSeq<String>	moduleName()
@Nullable Context	parent()
default <T> T	reportAndThrow(@NotNull org.aya.util.reporter.Problem problem)
@NotNull org.aya.util.reporter.Reporter	reporter()
@NotNull Path	underlyingFile()

字段详细资料

TOP_LEVEL_MOD_NAME

static final kala.collection.immutable.ImmutableSeq<String> TOP_LEVEL_MOD_NAME

方法详细资料

parent

@Nullable
@Nullable Context parent()

reporter

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

underlyingFile

@NotNull
@NotNull Path underlyingFile()

iterate

@Nullable
default <T> T iterate(@NotNull
 @NotNull Function<@NotNull Context,@Nullable T> f)

moduleName

@NotNull
default @NotNull kala.collection.immutable.ImmutableSeq<String> moduleName()

reportAndThrow

@Contract("_->fail")
@NotNull
default <T> T reportAndThrow(@NotNull
 @NotNull org.aya.util.reporter.Problem problem)

get

@NotNull
default @NotNull AnyVar get(@NotNull
 @NotNull QualifiedID name)

getMaybe

@Nullable
default @Nullable AnyVar getMaybe(@NotNull
 @NotNull QualifiedID name)

collect

default kala.collection.mutable.MutableList<LocalVar> collect(@NotNull
 @NotNull kala.collection.mutable.MutableList<LocalVar> container)

getUnqualifiedLocalMaybe

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

getUnqualifiedMaybe

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

getUnqualified

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

getQualifiedLocalMaybe

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

getQualifiedMaybe

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

getQualifiedMaybe

@Nullable
default @Nullable AnyVar getQualifiedMaybe(@NotNull
 @NotNull QualifiedID qualifiedID,
 @NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos)

getQualified

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

getQualified

@NotNull
default @NotNull AnyVar getQualified(@NotNull
 @NotNull QualifiedID qualifiedID,
 @NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos)

getModuleLocalMaybe

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

getModuleMaybe

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

bind

@NotNull
default @NotNull Context bind(@NotNull
 @NotNull LocalVar ref,
 @NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos,
 @NotNull
 @NotNull Predicate<@Nullable AnyVar> toWarn)

bind

@NotNull
default @NotNull Context bind(@NotNull
 @NotNull LocalVar ref,
 @NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos)

bind

@NotNull
default @NotNull Context bind(@NotNull
 @NotNull String name,
 @NotNull
 @NotNull LocalVar ref,
 @NotNull
 @NotNull org.aya.util.error.SourcePos sourcePos,
 @NotNull
 @NotNull Predicate<@Nullable AnyVar> toWarn)

derive

@NotNull
default @NotNull PhysicalModuleContext derive(@NotNull
 @NotNull String extraName)

derive

@NotNull
default @NotNull PhysicalModuleContext derive(@NotNull
 @NotNull kala.collection.Seq<@NotNull String> extraName)