Module aya.base
Package org.aya.resolve.module

Class DumbModuleLoader

java.lang.Object
org.aya.resolve.module.DumbModuleLoader
All Implemented Interfaces:
ModuleLoader, Problematic
public class DumbModuleLoader extends Object implements ModuleLoader

  • Field Details

    • DUMB_MODULE_NAME

      @NotNull public static final @NotNull org.aya.syntax.ref.QPath DUMB_MODULE_NAME

    • primFactory

      @NotNull public final @NotNull PrimFactory primFactory

    • baseContext

      @NotNull public final @NotNull Context baseContext

  • Constructor Details

    • DumbModuleLoader

      public DumbModuleLoader(@NotNull @NotNull Context baseContext)

  • Method Details

    • resolve

      @NotNull public @NotNull ResolveInfo resolve(@NotNull @NotNull kala.collection.immutable.ImmutableSeq<org.aya.syntax.concrete.stmt.Stmt> stmts)

    • load

      @Nullable public @Nullable ResolveInfo load(@NotNull @NotNull org.aya.syntax.ref.ModulePath path, @NotNull @NotNull ModuleLoader recurseLoader)
      Specified by:
      load in interface ModuleLoader

    • existsFileLevelModule

      public boolean existsFileLevelModule(@NotNull @NotNull org.aya.syntax.ref.ModulePath path)
      Specified by:
      existsFileLevelModule in interface ModuleLoader
      Returns:
      if there is a module with path , which can be untycked

    • reporter

      @NotNull public @NotNull org.aya.util.reporter.Reporter reporter()
      Specified by:
      reporter in interface Problematic