scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.sjs.ir/Types/ClassType

ClassType

dotty.tools.sjs.ir.Types.ClassType
final case class ClassType(className: ClassName, nullable: Boolean) extends Type

Class (or interface) type.

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Type
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def toNonNullable: ClassType

A type that accepts the same values as this type except null, unless this type is VoidType.

A type that accepts the same values as this type except null, unless this type is VoidType.

If this is VoidType, returns this type.

For all other types tpe, tpe.toNonNullable.isNullable is false.

Attributes

Inherited methods

def isNullable: Boolean

Is null an admissible value of this type?

Is null an admissible value of this type?

Attributes

Inherited from:
Type
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def show(): String

Attributes

Inherited from:
Type
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL