dotty.tools

package dotty.tools

Type members

Classlikes

case
class FatalError(msg: String) extends Exception
case
class Settings(verbose: Boolean, classPath: List[String], executeMode: ExecuteMode, exitCode: Int, javaArgs: List[String], scalaArgs: List[String], residualArgs: List[String], scriptArgs: List[String], targetScript: String, save: Boolean, modeShouldBeRun: Boolean, compiler: Boolean)

Types

Value members

Concrete methods

def WrappedResult[T](x: T): WrappedResult[T]
def result[T](using x: WrappedResult[T]): T
final
def sameLength[T](xs: List[T], ys: List[T]): Boolean

True if two lists have the same length. Since calling length on linear sequences is O(n), it is an inadvisable way to test length equality.

True if two lists have the same length. Since calling length on linear sequences is O(n), it is an inadvisable way to test length equality.

def unreachable(x: Any): Nothing
def unsupported(methodName: String): Nothing

Throws an UnsupportedOperationException with the given method name.

Throws an UnsupportedOperationException with the given method name.

Concrete fields

Extensions

Extensions

extension [T](x: T | Null)
inline
def nn: T

Assert x is non null and strip Null from type

Assert x is non null and strip Null from type

inline

Forward-ported from the explicit-nulls branch.

Forward-ported from the explicit-nulls branch.

inline

Should be used when we know from the context that x is not null. Flow-typing under explicit nulls will automatically insert many necessary occurrences of uncheckedNN.

Should be used when we know from the context that x is not null. Flow-typing under explicit nulls will automatically insert many necessary occurrences of uncheckedNN.