trait ModuleFind extends AnyRef
Provides type resolution utilities for modules, including searching for type declarations within the current module, its package, and dependencies.
This trait is intended to be mixed into an OPM.Module and supplies methods for:
- Resolving types by name, with or without context.
- Handling nested and platform types.
- Enforcing visibility and accessibility rules during type lookup.
The main entry points are the findType methods, which delegate to internal helpers
for package, module, and nested type resolution.
- Self Type
- Module
- Alphabetic
- By Inheritance
- ModuleFind
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @IntrinsicCandidate() @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def findModuleType(typeName: TypeName): Option[TypeDeclaration]
Find a type declaration searching within this module.
Find a type declaration searching within this module. - Returns
Noneif the type is not found in this module. - def findType(typeName: TypeName): TypeResponse
Finds a type declaration for the given type name, without a specific context type.
Finds a type declaration for the given type name, without a specific context type.
- typeName
The type name to search for.
- returns
Either the resolved TypeDeclaration, or an error if not found or inaccessible.
- def findType(typeName: TypeName, from: TypeDeclaration): TypeResponse
Finds a type declaration for the given type name, using the specified context type as the origin.
Finds a type declaration for the given type name, using the specified context type as the origin.
- typeName
The type name to search for.
- from
The originating type declaration for context.
- returns
Either the resolved TypeDeclaration, or an error if not found or inaccessible.
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @IntrinsicCandidate() @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @IntrinsicCandidate() @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @IntrinsicCandidate() @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @IntrinsicCandidate() @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated
(Since version 9)