模块 aya.base

程序包 org.aya.resolve.context

记录类 EmptyContext

java.lang.Object

java.lang.Record

org.aya.resolve.context.EmptyContext

所有已实现的接口:

Context

public record EmptyContext(@NotNull org.aya.util.reporter.Reporter reporter, @NotNull Path underlyingFile)
extends Record
implements Context

API Note:

in each file's dependency tree there should be one and only one EmptyContext which is also the tree root.

Implementation Note:

EmptyContext is the context storing the underlying file, and its Reporter in the resolving stage.

嵌套类概要

从接口继承的嵌套类/接口 org.aya.resolve.context.Context

Context.ResolvingInterruptedException

字段概要

从接口继承的字段 org.aya.resolve.context.Context

TOP_LEVEL_MOD_NAME

构造器概要

构造器

构造器	说明
EmptyContext(@NotNull org.aya.util.reporter.Reporter reporter, @NotNull Path underlyingFile)	创建 EmptyContext 记录类的实例。

方法概要

修饰符和类型	方法	说明
final boolean	equals(Object o)	指示某个其他对象是否“等于”此对象。
@Nullable kala.collection.mutable.MutableMap<String,AnyVar>	getModuleLocalMaybe(@NotNull kala.collection.immutable.ImmutableSeq<String> modName)
@Nullable AnyVar	getQualifiedLocalMaybe(@NotNull kala.collection.immutable.ImmutableSeq<@NotNull String> modName, @NotNull String name, @NotNull org.aya.util.error.SourcePos sourcePos)
@Nullable AnyVar	getUnqualifiedLocalMaybe(@NotNull String name, @NotNull org.aya.util.error.SourcePos sourcePos)
final int	hashCode()	返回此对象的哈希代码值。
@Nullable Context	parent()
@NotNull org.aya.util.reporter.Reporter	reporter()	返回 reporter 记录组件的值。
final String	toString()	返回此记录类的字符串表示形式。
@NotNull Path	underlyingFile()	返回 underlyingFile 记录组件的值。

从类继承的方法 java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

从接口继承的方法 org.aya.resolve.context.Context

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

构造器详细资料

EmptyContext

public EmptyContext(@NotNull
 @NotNull org.aya.util.reporter.Reporter reporter,
 @NotNull
 @NotNull Path underlyingFile)

创建 EmptyContext 记录类的实例。

参数:

reporter - reporter 记录组件的值

underlyingFile - underlyingFile 记录组件的值

方法详细资料

parent

@Nullable
public @Nullable Context parent()

指定者:

parent 在接口中 Context

getUnqualifiedLocalMaybe

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

指定者:

getUnqualifiedLocalMaybe 在接口中 Context

getQualifiedLocalMaybe

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

指定者:

getQualifiedLocalMaybe 在接口中 Context

getModuleLocalMaybe

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

指定者:

getModuleLocalMaybe 在接口中 Context

toString

public final String toString()

返回此记录类的字符串表示形式。此表示形式包含类的名称，后跟每个记录组件的名称和值。

指定者:

toString 在类中 Record

返回:

此对象的字符串表示形式

hashCode

public final int hashCode()

返回此对象的哈希代码值。此值派生自每个记录组件的哈希代码。

指定者:

hashCode 在类中 Record

返回:

此对象的哈希代码值

equals

public final boolean equals(Object o)

指示某个其他对象是否“等于”此对象。如果两个对象属于同一个类，而且所有记录组件都相等，则这两个对象相等。 此记录类中的所有组件都使用 Objects::equals(Object,Object) 进行比较。

指定者:

equals 在类中 Record

参数:

o - 要与之进行比较的对象

返回:

如果此对象与 o 参数相同，则为 true；否则为 false。

reporter

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

返回 reporter 记录组件的值。

指定者:

reporter 在接口中 Context

返回:

reporter 记录组件的值

underlyingFile

@NotNull
public @NotNull Path underlyingFile()

返回 underlyingFile 记录组件的值。

指定者:

underlyingFile 在接口中 Context

返回:

underlyingFile 记录组件的值