Object

org.scalajs.core.ir

Types

Related Doc: package ir

Permalink

object Types

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Types
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Type Members

  1. final case class ArrayType(baseClassName: String, dimensions: Int) extends ReferenceType with Product with Serializable

    Permalink

    Array type.

  2. final case class ClassType(className: String) extends ReferenceType with Product with Serializable

    Permalink

    Class (or interface) type.

  3. final case class RecordType(fields: List[Field]) extends Type with Product with Serializable

    Permalink

    Record type.

    Record type. Used by the optimizer to inline classes as records with multiple fields. They are desugared as several local variables by JSDesugaring. Record types cannot cross method boundaries, so they cannot appear as the type of fields or parameters, nor as result types of methods. The compiler itself never generates record types.

  4. sealed abstract class ReferenceType extends Type

    Permalink

    Reference types (allowed for classOf[], is/asInstanceOf[]).

  5. sealed abstract class Type extends AnyRef

    Permalink

    Type of an expression in the IR.

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. object AnyType extends Type with Product with Serializable

    Permalink

    Any type (the top type of this type system).

    Any type (the top type of this type system). A variable of this type can contain any value, including undefined and null and any raw JS value. This type supports a very limited set of Scala operations, the ones common to all values. Basically only reference equality tests and instance tests. It also supports all JavaScript operations, since all Scala objects are also genuine JavaScript objects. The type java.lang.Object in the back-end maps to AnyType because it can hold raw JS values (not only instances of Scala.js classes).

  5. object ArrayType extends Serializable

    Permalink
  6. object BooleanType extends Type with Product with Serializable

    Permalink

    Boolean type.

    Boolean type. It does not accept null nor undefined.

  7. object DoubleType extends Type with Product with Serializable

    Permalink

    Double type (64-bit).

    Double type (64-bit). It does not accept null nor undefined.

  8. object FloatType extends Type with Product with Serializable

    Permalink

    Float type (32-bit).

    Float type (32-bit). It does not accept null nor undefined.

  9. object IntType extends Type with Product with Serializable

    Permalink

    32-bit signed integer type.

    32-bit signed integer type. It does not accept null nor undefined.

  10. object LongType extends Type with Product with Serializable

    Permalink

    64-bit signed integer type.

    64-bit signed integer type. It does not accept null nor undefined.

  11. object NoType extends Type with Product with Serializable

    Permalink

    No type.

  12. object NothingType extends Type with Product with Serializable

    Permalink

    Nothing type (the bottom type of this type system).

    Nothing type (the bottom type of this type system). Expressions from which one can never come back are typed as Nothing. For example, throw and return.

  13. object NullType extends Type with Product with Serializable

    Permalink

    The type of null.

    The type of null. It does not accept undefined. The null type is a subtype of all class types and array types.

  14. object RecordType extends Serializable

    Permalink
  15. object StringType extends Type with Product with Serializable

    Permalink

    String type.

    String type. It does not accept null nor undefined.

  16. object UndefType extends Type with Product with Serializable

    Permalink

    The type of undefined.

  17. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  18. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  19. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  20. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  21. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  22. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  23. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  24. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  25. def isSubtype(lhs: Type, rhs: Type)(isSubclass: (String, String) ⇒ Boolean): Boolean

    Permalink

    Tests whether a type lhs is a subtype of rhs (or equal).

    Tests whether a type lhs is a subtype of rhs (or equal). NoType is never a subtype or supertype of anything (including itself). All other types are subtypes of themselves.

    isSubclass

    A function testing whether a class/interface is a subclass of another class/interface.

  26. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  27. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  28. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  29. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  30. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  31. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. def zeroOf(tpe: Type)(implicit pos: Position): Literal

    Permalink

    Generates a literal zero of the given type.

Inherited from AnyRef

Inherited from Any

Ungrouped