Packages

  • package root
    Definition Classes
    root
  • package scala
    Definition Classes
    root
  • package reflect
    Definition Classes
    scala
  • package internal
    Definition Classes
    reflect
  • trait BaseTypeSeqs extends AnyRef

    A base type sequence (BaseTypeSeq) is an ordered sequence spanning all the base types of a type.

    A base type sequence (BaseTypeSeq) is an ordered sequence spanning all the base types of a type. It characterized by the following two laws:

    (1) Each element of tp.baseTypeSeq is a basetype of tp (2) For each basetype bt1 of tp there is an element bt in tp.baseTypeSeq such that

    bt.typeSymbol = bt1.typeSymbol bt <: bt1

    (3) The type symbols of different elements are different.

    Elements in the sequence are ordered by Symbol.isLess.

    Definition Classes
    internal
    Note

    base type sequences were called closures up to 2.7.1. The name has been changed to avoid confusion with function closures.

  • BaseTypeSeq
  • MappedBaseTypeSeq

class BaseTypeSeq extends AnyRef

Note: constructor is protected to force everyone to use the factory method newBaseTypeSeq instead. This is necessary because when run from reflection every base type sequence needs to have a SynchronizedBaseTypeSeq as mixin.

Self Type
SymbolTable.BaseTypeSeq
Linear Supertypes
AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BaseTypeSeq
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new BaseTypeSeq(parents: List[SymbolTable.Type], elems: Array[SymbolTable.Type])
    Attributes
    protected[reflect]

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def apply(i: Int): SymbolTable.Type

    The type at i'th position in this sequence; lazy types are returned evaluated.

  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. final def baseTypeIndex(sym: SymbolTable.Symbol): Int
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  8. def copy(head: SymbolTable.Type, offset: Int): SymbolTable.BaseTypeSeq
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. def exists(p: (SymbolTable.Type) ⇒ Boolean): Boolean
  12. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  15. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  16. def lateMap(f: (SymbolTable.Type) ⇒ SymbolTable.Type): SymbolTable.BaseTypeSeq
  17. def length: Int

    The number of types in the sequence

  18. def map(f: (SymbolTable.Type) ⇒ SymbolTable.Type): SymbolTable.BaseTypeSeq

    Compute new base type sequence where every element is mapped with function f.

    Compute new base type sequence where every element is mapped with function f. Lazy types are mapped but not evaluated

  19. lazy val maxDepth: Depth
  20. def maxDepthOfElems: Depth
    Attributes
    protected
  21. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  23. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  24. def prepend(tp: SymbolTable.Type): SymbolTable.BaseTypeSeq

    Compute new base type sequence with tp prepended to this sequence

  25. def rawElem(i: Int): SymbolTable.Type
  26. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  27. def toIterator: Iterator[SymbolTable.Type]

    Return an iterator over all evaluated types in this sequence

  28. def toList: List[SymbolTable.Type]

    Return all evaluated types in this sequence as a list

  29. def toString(): String
    Definition Classes
    BaseTypeSeq → AnyRef → Any
  30. def typeSymbol(i: Int): SymbolTable.Symbol

    The type symbol of the type at i'th position in this sequence

  31. def updateHead(tp: SymbolTable.Type): SymbolTable.BaseTypeSeq

    Compute new base type sequence with tp replacing the head of this sequence

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

Inherited from AnyRef

Inherited from Any

Ungrouped