Module aya.base
Package org.aya.resolve.context

Interface Context

All Known Subinterfaces:
ModuleContext
All Known Implementing Classes:
BindContext, EmptyContext, NoExportContext, PhysicalModuleContext
public interface Context

  • Field Details

    • TOP_LEVEL_MOD_NAME

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

  • Method Details

    • 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)