Type
org.scalajs.ir.Types$.Type
Type of a term (expression or statement) in the IR.
There is a many-to-one relationship from TypeRefs to Type
s,
because java.lang.Object
and JS types all collapse to AnyType.
In fact, there are two Type
s that do not have any real equivalent in
type refs: StringType and UndefType, as they refer to the
non-null variants of java.lang.String
and java.lang.Void
,
respectively.
Attributes
- Graph
- Supertypes
- Known subtypes
- object AnyType.typeclass ArrayTypeclass ClassTypeclass PrimTypeclass PrimTypeWithRefobject BooleanType.typeobject ByteType.typeobject CharType.typeobject DoubleType.typeobject FloatType.typeobject IntType.typeobject LongType.typeobject NoType.typeobject NothingType.typeobject NullType.typeobject ShortType.typeobject StringType.typeobject UndefType.typeclass RecordType