java.lang.Object
org.aya.resolve.module.CachedModuleLoader<ML>
- All Implemented Interfaces:
ModuleLoader,Problematic
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionbooleanexistsFileLevelModule(@NotNull org.aya.syntax.ref.ModulePath path) @Nullable ResolveInfoload(@NotNull org.aya.syntax.ref.ModulePath path, @NotNull ModuleLoader recurseLoader) @NotNull org.aya.util.reporter.Reporterreporter()Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface org.aya.resolve.module.ModuleLoader
load, resolveModule, resolveModule, tyckModule, tyckModuleMethods inherited from interface org.aya.tyck.tycker.Problematic
fail, fail, fail
-
Field Details
-
loader
-
-
Constructor Details
-
CachedModuleLoader
-
-
Method Details
-
reporter
@NotNull public @NotNull org.aya.util.reporter.Reporter reporter()- Specified by:
reporterin interfaceProblematic
-
load
@Nullable public @Nullable ResolveInfo load(@NotNull @NotNull org.aya.syntax.ref.ModulePath path, @NotNull @NotNull ModuleLoader recurseLoader) - Specified by:
loadin interfaceModuleLoader
-
existsFileLevelModule
public boolean existsFileLevelModule(@NotNull @NotNull org.aya.syntax.ref.ModulePath path) - Specified by:
existsFileLevelModulein interfaceModuleLoader- Returns:
- if there is a module with path , which can be untycked
-