BaseTypeSeqs

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.

Self Type: SymbolTable
Source: BaseTypeSeqs.scala
Note: base type sequences were called closures up to 2.7.1. The name has been changed to avoid confusion with function closures.

Linear Supertypes

AnyRef, Any

Known Subclasses

BuilderGlobal, BuilderGlobal, ClassLoaders, DocParser, Global, Global, Mirror, ProxyGlobal, ReflectGlobal, ReplGlobal, SymbolTable, SymbolTable, SymbolTable, SynchronizedOps, ToolBoxGlobal, Universe, compiler

Type Members

class BaseTypeSeq extends AnyRef

Note: constructor is protected to force everyone to use the factory method newBaseTypeSeq instead.
class MappedBaseTypeSeq extends BaseTypeSeq

Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(other: String): String

Implicit information
This member is added by an implicit conversion from BaseTypeSeqs to StringAdd performed by method any2stringadd in scala.Predef.
Definition Classes
StringAdd
def ->[B](y: B): (BaseTypeSeqs, B)

Implicit information
This member is added by an implicit conversion from BaseTypeSeqs to ArrowAssoc[BaseTypeSeqs] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
val CyclicInheritance: Throwable
final def asInstanceOf[T0]: T0

Definition Classes
Any
def baseTypeSingletonSeq(tp: Type): BaseTypeSeq

Create a base type sequence consisting of a single type
def clone(): AnyRef

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
def compoundBaseTypeSeq(tp: Type): BaseTypeSeq

Create the base type sequence of a compound type wuth given tp.
Create the base type sequence of a compound type wuth given tp.parents
def ensuring(cond: (BaseTypeSeqs) ⇒ Boolean, msg: ⇒ Any): BaseTypeSeqs

Implicit information
This member is added by an implicit conversion from BaseTypeSeqs to Ensuring[BaseTypeSeqs] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (BaseTypeSeqs) ⇒ Boolean): BaseTypeSeqs

Implicit information
This member is added by an implicit conversion from BaseTypeSeqs to Ensuring[BaseTypeSeqs] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): BaseTypeSeqs

Implicit information
This member is added by an implicit conversion from BaseTypeSeqs to Ensuring[BaseTypeSeqs] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): BaseTypeSeqs

Implicit information
This member is added by an implicit conversion from BaseTypeSeqs to Ensuring[BaseTypeSeqs] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from BaseTypeSeqs to StringFormat performed by method any2stringfmt in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

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

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def newBaseTypeSeq(parents: List[Type], elems: Array[Type]): BaseTypeSeq

Attributes
protected
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
val self: Any

Implicit information
This member is added by an implicit conversion from BaseTypeSeqs to StringFormat performed by method any2stringfmt in scala.Predef.
Definition Classes
StringFormat
val self: Any

Implicit information
This member is added by an implicit conversion from BaseTypeSeqs to StringAdd performed by method any2stringadd in scala.Predef.
Definition Classes
StringAdd
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
val undetBaseTypeSeq: BaseTypeSeq

A merker object for a base type sequence that's no yet computed.
A merker object for a base type sequence that's no yet computed. used to catch inheritance cycles
final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws()
def →[B](y: B): (BaseTypeSeqs, B)

Implicit information
This member is added by an implicit conversion from BaseTypeSeqs to ArrowAssoc[BaseTypeSeqs] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Deprecated Value Members

def x: BaseTypeSeqs

Implicit information
This member is added by an implicit conversion from BaseTypeSeqs to ArrowAssoc[BaseTypeSeqs] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use leftOfArrow instead
def x: BaseTypeSeqs

Implicit information
This member is added by an implicit conversion from BaseTypeSeqs to Ensuring[BaseTypeSeqs] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use resultOfEnsuring instead

trait BaseTypeSeqs extends AnyRef

Type Members

class BaseTypeSeq extends AnyRef

class MappedBaseTypeSeq extends BaseTypeSeq

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (BaseTypeSeqs, B)

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

val CyclicInheritance: Throwable

final def asInstanceOf[T0]: T0

def baseTypeSingletonSeq(tp: Type): BaseTypeSeq

def clone(): AnyRef

def compoundBaseTypeSeq(tp: Type): BaseTypeSeq

def ensuring(cond: (BaseTypeSeqs) ⇒ Boolean, msg: ⇒ Any): BaseTypeSeqs

def ensuring(cond: (BaseTypeSeqs) ⇒ Boolean): BaseTypeSeqs

def ensuring(cond: Boolean, msg: ⇒ Any): BaseTypeSeqs

def ensuring(cond: Boolean): BaseTypeSeqs

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

def newBaseTypeSeq(parents: List[Type], elems: Array[Type]): BaseTypeSeq

final def notify(): Unit

final def notifyAll(): Unit

val self: Any

val self: Any

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

val undetBaseTypeSeq: BaseTypeSeq

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def →[B](y: B): (BaseTypeSeqs, B)

Deprecated Value Members

def x: BaseTypeSeqs

def x: BaseTypeSeqs

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringfmt from BaseTypeSeqs to StringFormat

Inherited by implicit conversion any2stringadd from BaseTypeSeqs to StringAdd

Inherited by implicit conversion any2ArrowAssoc from BaseTypeSeqs to ArrowAssoc[BaseTypeSeqs]

Inherited by implicit conversion any2Ensuring from BaseTypeSeqs to Ensuring[BaseTypeSeqs]