scala.tools.nsc.typechecker.Namers

PolyTypeCompleter

class PolyTypeCompleter extends TypeCompleter with LockingTypeCompleter

A class representing a lazy type with known type parameters.

Source
Namers.scala
Linear Supertypes
LockingTypeCompleter, TypeCompleter, LazyType, Type, Annotatable[Type], TypeApiImpl, TypeApi, TypeBase, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. PolyTypeCompleter
  2. LockingTypeCompleter
  3. TypeCompleter
  4. LazyType
  5. Type
  6. Annotatable
  7. TypeApiImpl
  8. TypeApi
  9. TypeBase
  10. AnyRef
  11. Any
Implicitly
  1. by any2stringadd
  2. by any2stringfmt
  3. by any2ArrowAssoc
  4. by any2Ensuring
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new PolyTypeCompleter(tparams: List[TypeDef], restp: TypeCompleter, owner: Tree, ctx: Context)

Value Members

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. def +(other: String): String

    Implicit information
    This member is added by an implicit conversion from PolyTypeCompleter to StringAdd performed by method any2stringadd in scala.Predef.
    Definition Classes
    StringAdd

  5. def ->[B](y: B): (PolyTypeCompleter, B)

    Implicit information
    This member is added by an implicit conversion from PolyTypeCompleter to ArrowAssoc[PolyTypeCompleter] performed by method any2ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()

  6. def <:<(that: Type): Boolean

    Definition Classes
    Type → TypeApi

  7. def =:=(that: Type): Boolean

    Definition Classes
    Type → TypeApi

  8. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  9. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  10. def annotations: List[AnnotationInfo]

    Definition Classes
    Type → Annotatable

  11. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  12. def asSeenFrom(pre: Type, clazz: Symbol): Type

    Definition Classes
    Type → TypeApi

  13. def atOwner(owner: Symbol): Type

    Definition Classes
    Type

  14. def baseClasses: List[Symbol]

    Definition Classes
    Type → TypeApi

  15. def baseType(clazz: Symbol): Type

    Definition Classes
    Type → TypeApi

  16. def baseTypeIndex(sym: Symbol): Int

    Definition Classes
    Type

  17. def baseTypeSeq: BaseTypeSeq

    Definition Classes
    Type

  18. def baseTypeSeqDepth: Int

    Definition Classes
    Type

  19. def boundSyms: Set[Symbol]

    Definition Classes
    Type

  20. def bounds: TypeBounds

    Definition Classes
    Type

  21. def clone(): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  22. def cloneInfo(owner: Symbol): Type

    Definition Classes
    Type

  23. def collect[T](pf: PartialFunction[Type, T]): List[T]

    Definition Classes
    Type

  24. def complete(sym: Symbol): Unit

    Definition Classes
    LockingTypeCompleter → LazyType → Type

  25. def completeImpl(sym: Symbol): Unit

    Definition Classes
    PolyTypeCompleter → LockingTypeCompleter

  26. def computeMemberType(sym: Symbol): Type

    Definition Classes
    Type

  27. def contains(sym: Symbol): Boolean

    Definition Classes
    Type → TypeApi

  28. def containsTp(tp: Type): Boolean

    Definition Classes
    Type

  29. def dealias: Type

    Definition Classes
    Type

  30. def decl(name: Name): Symbol

    Definition Classes
    Type

  31. def declaration(name: Name): Symbol

    Definition Classes
    TypeApiImpl → TypeApi

  32. def declarations: Scope

    Definition Classes
    TypeApiImpl → TypeApi

  33. def decls: Scope

    Definition Classes
    Type

  34. def deconst: Type

    Definition Classes
    Type

  35. def deferredMembers: List[Symbol]

    Definition Classes
    Type

  36. def directObjectString: String

    Definition Classes
    Type

  37. def dummyArgs: List[Type]

    Attributes
    protected
    Definition Classes
    Type

  38. def ensuring(cond: (PolyTypeCompleter) ⇒ Boolean, msg: ⇒ Any): PolyTypeCompleter

    Implicit information
    This member is added by an implicit conversion from PolyTypeCompleter to Ensuring[PolyTypeCompleter] performed by method any2Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  39. def ensuring(cond: (PolyTypeCompleter) ⇒ Boolean): PolyTypeCompleter

    Implicit information
    This member is added by an implicit conversion from PolyTypeCompleter to Ensuring[PolyTypeCompleter] performed by method any2Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  40. def ensuring(cond: Boolean, msg: ⇒ Any): PolyTypeCompleter

    Implicit information
    This member is added by an implicit conversion from PolyTypeCompleter to Ensuring[PolyTypeCompleter] performed by method any2Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  41. def ensuring(cond: Boolean): PolyTypeCompleter

    Implicit information
    This member is added by an implicit conversion from PolyTypeCompleter to Ensuring[PolyTypeCompleter] performed by method any2Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  42. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  43. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  44. def erasure: Type

    Definition Classes
    TypeApiImpl → TypeApi

  45. def exists(p: (Type) ⇒ Boolean): Boolean

    Definition Classes
    Type → TypeApi

  46. def filter(p: (Type) ⇒ Boolean): List[Type]

    Definition Classes
    Type

  47. def filterAnnotations(p: (AnnotationInfo) ⇒ Boolean): Type

    Definition Classes
    Type → Annotatable

  48. def finalResultType: Type

    Definition Classes
    Type

  49. def finalize(): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  50. def find(p: (Type) ⇒ Boolean): Option[Type]

    Definition Classes
    Type → TypeApi

  51. def findMember(name: Name, excludedFlags: Long, requiredFlags: Long, stableOnly: Boolean): Symbol

    Definition Classes
    Type

  52. def firstParent: Type

    Definition Classes
    Type

  53. def foreach(f: (Type) ⇒ Unit): Unit

    Definition Classes
    Type → TypeApi

  54. def formatted(fmtstr: String): String

    Implicit information
    This member is added by an implicit conversion from PolyTypeCompleter to StringFormat performed by method any2stringfmt in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()

  55. def getAnnotation(cls: Symbol): Option[AnnotationInfo]

    Definition Classes
    Annotatable

  56. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  57. def hasAnnotation(cls: Symbol): Boolean

    Definition Classes
    Annotatable

  58. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  59. def implicitMembers: List[Symbol]

    Definition Classes
    Type

  60. def instantiateTypeParams(formals: List[Symbol], actuals: List[Type]): Type

    Definition Classes
    Type

  61. def isComplete: Boolean

    Definition Classes
    LazyType → Type

  62. def isConcrete: Boolean

    Definition Classes
    TypeApiImpl → TypeApi

  63. def isDependent: Boolean

    Definition Classes
    Type

  64. def isErroneous: Boolean

    Definition Classes
    Type

  65. def isError: Boolean

    Definition Classes
    Type

  66. def isFinalType: Boolean

    Definition Classes
    Type

  67. def isGround: Boolean

    Definition Classes
    Type

  68. def isHigherKinded: Boolean

    Definition Classes
    Type → TypeApi

  69. def isImmediatelyDependent: Boolean

    Definition Classes
    Type

  70. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  71. def isNotNull: Boolean

    Definition Classes
    Type

  72. def isSpliceable: Boolean

    Definition Classes
    TypeApiImpl → TypeApi

  73. def isStable: Boolean

    Definition Classes
    Type

  74. def isStructuralRefinement: Boolean

    Definition Classes
    Type

  75. def isTrivial: Boolean

    Definition Classes
    Type

  76. def isVolatile: Boolean

    Definition Classes
    Type

  77. def isWildcard: Boolean

    Definition Classes
    Type

  78. def kind: String

    Definition Classes
    LazyType → Type → TypeApi

  79. def load(sym: Symbol): Unit

    Definition Classes
    Type

  80. def looselyMatches(that: Type): Boolean

    Definition Classes
    Type

  81. def map(f: (Type) ⇒ Type): Type

    Definition Classes
    Type → TypeApi

  82. def matches(that: Type): Boolean

    Definition Classes
    Type

  83. def matchesPattern(that: Type): Boolean

    Definition Classes
    Type

  84. def member(name: Name): Symbol

    Definition Classes
    Type → TypeApi

  85. def memberBasedOnName(name: Name, excludedFlags: Long): Symbol

    Definition Classes
    Type

  86. def memberInfo(sym: Symbol): Type

    Definition Classes
    Type

  87. def memberType(sym: Symbol): Type

    Definition Classes
    Type

  88. def members: List[Symbol]

    Definition Classes
    Type → TypeApi

  89. def membersBasedOnFlags(excludedFlags: Long, requiredFlags: Long): List[Symbol]

    Definition Classes
    Type

  90. def membersWithFlags(requiredFlags: Long): List[Symbol]

    Definition Classes
    Type

  91. def narrow: Type

    Definition Classes
    Type

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

    Definition Classes
    AnyRef

  93. def nonLocalMember(name: Name): Symbol

    Definition Classes
    Type

  94. def nonPrivateDecl(name: Name): Symbol

    Definition Classes
    Type

  95. def nonPrivateDeclaration(name: Name): Symbol

    Definition Classes
    TypeApiImpl

  96. def nonPrivateDecls: List[Symbol]

    Definition Classes
    Type

  97. def nonPrivateMember(name: Name): Symbol

    Definition Classes
    Type → TypeApi

  98. def nonPrivateMemberAdmitting(name: Name, admit: Long): Symbol

    Definition Classes
    Type

  99. def nonPrivateMembers: List[Symbol]

    Definition Classes
    Type → TypeApi

  100. def nonPrivateMembersAdmitting(admit: Long): List[Symbol]

    Definition Classes
    Type

  101. def nonPrivateMembersWithFlags(requiredFlags: Long): List[Symbol]

    Definition Classes
    Type

  102. def normalize: Type

    Definition Classes
    Type → TypeApi

  103. def notNull: Type

    Definition Classes
    Type

  104. final def notify(): Unit

    Definition Classes
    AnyRef

  105. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  106. def objectPrefix: String

    Attributes
    protected
    Definition Classes
    Type

  107. def packagePrefix: String

    Attributes
    protected
    Definition Classes
    Type

  108. def paramSectionCount: Int

    Definition Classes
    Type

  109. def paramTypes: List[Type]

    Definition Classes
    Type

  110. def params: List[Symbol]

    Definition Classes
    Type

  111. def paramss: List[List[Symbol]]

    Definition Classes
    Type

  112. def parents: List[Type]

    Definition Classes
    Type → TypeApi

  113. def prefix: Type

    Definition Classes
    Type

  114. def prefixChain: List[Type]

    Definition Classes
    Type

  115. def prefixString: String

    Definition Classes
    Type

  116. def remove(clazz: Symbol): Type

    Definition Classes
    Type

  117. def removeAnnotation(cls: Symbol): Type

    Definition Classes
    Annotatable

  118. def resultApprox: Type

    Definition Classes
    Type

  119. def resultType(actuals: List[Type]): Type

    Definition Classes
    Type

  120. def resultType: Type

    Definition Classes
    Type

  121. def safeToString: String

    Definition Classes
    LazyType → Type

  122. val self: Any

    Implicit information
    This member is added by an implicit conversion from PolyTypeCompleter to StringAdd performed by method any2stringadd in scala.Predef.
    Definition Classes
    StringAdd

  123. val self: Any

    Implicit information
    This member is added by an implicit conversion from PolyTypeCompleter to StringFormat performed by method any2stringfmt in scala.Predef.
    Definition Classes
    StringFormat

  124. def selfsym: Symbol

    Definition Classes
    Type

  125. def setAnnotations(annots: List[AnnotationInfo]): Type

    Definition Classes
    Type → Annotatable

  126. def skolemizeExistential: Type

    Definition Classes
    Type

  127. def skolemizeExistential(owner: Symbol, origin: AnyRef): Type

    Definition Classes
    Type

  128. def skolemsExceptMethodTypeParams: List[Symbol]

    Definition Classes
    Type

  129. def specializes(sym: Symbol): Boolean

    Definition Classes
    Type

  130. def stat_<:<(that: Type): Boolean

    Definition Classes
    Type

  131. def stripAnnotations: Type

    Definition Classes
    Type

  132. def subst(from: List[Symbol], to: List[Type]): Type

    Definition Classes
    Type

  133. def substSym(from: List[Symbol], to: List[Symbol]): Type

    Definition Classes
    Type

  134. def substThis(from: Symbol, to: Symbol): Type

    Definition Classes
    Type

  135. def substThis(from: Symbol, to: Type): Type

    Definition Classes
    Type

  136. def substThisAndSym(from: Symbol, to: Type, symsFrom: List[Symbol], symsTo: List[Symbol]): Type

    Definition Classes
    Type

  137. def substituteSymbols(from: List[Symbol], to: List[Symbol]): Type

    Definition Classes
    TypeApiImpl → TypeApi

  138. def substituteTypes(from: List[Symbol], to: List[Type]): Type

    Definition Classes
    TypeApiImpl → TypeApi

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

    Definition Classes
    AnyRef

  140. def termSymbol: Symbol

    Definition Classes
    Type

  141. def termSymbolDirect: Symbol

    Definition Classes
    Type

  142. def throwsAnnotations(): List[Symbol]

    Definition Classes
    Annotatable

  143. def toLongString: String

    Definition Classes
    Type

  144. def toString(): String

    Definition Classes
    Type → AnyRef → Any

  145. val tree: Tree

    Definition Classes
    PolyTypeCompleter → TypeCompleter

  146. def trimPrefix(str: String): String

    Definition Classes
    Type

  147. def typeArgs: List[Type]

    Definition Classes
    Type

  148. def typeArguments: List[Type]

    Definition Classes
    TypeApiImpl → TypeApi

  149. def typeConstructor: Type

    Definition Classes
    Type → TypeApi

  150. def typeOfThis: Type

    Definition Classes
    Type

  151. val typeParams: List[Symbol]

    Definition Classes
    PolyTypeCompleter → Type → TypeApi

  152. def typeSymbol: Symbol

    Definition Classes
    Type → TypeBase

  153. def typeSymbolDirect: Symbol

    Definition Classes
    Type

  154. def underlying: Type

    Definition Classes
    Type → TypeApi

  155. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

  157. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  158. def weak_<:<(that: Type): Boolean

    Definition Classes
    Type

  159. def widen: Type

    Definition Classes
    Type → TypeApi

  160. final def withAnnotation(annot: AnnotationInfo): Type

    Definition Classes
    Annotatable

  161. def withAnnotations(annots: List[AnnotationInfo]): Type

    Definition Classes
    Type → Annotatable

  162. def withFilter(p: (Type) ⇒ Boolean): FilterMapForeach

    Definition Classes
    Type

  163. def withSelfsym(sym: Symbol): Type

    Definition Classes
    Type

  164. def withoutAnnotations: Type

    Definition Classes
    Type → Annotatable

  165. def →[B](y: B): (PolyTypeCompleter, B)

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

Deprecated Value Members

  1. def x: PolyTypeCompleter

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

    (Since version 2.10.0) Use leftOfArrow instead

  2. def x: PolyTypeCompleter

    Implicit information
    This member is added by an implicit conversion from PolyTypeCompleter to Ensuring[PolyTypeCompleter] performed by method any2Ensuring in scala.Predef.
    Definition Classes
    Ensuring
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) Use resultOfEnsuring instead

Inherited from LockingTypeCompleter

Inherited from TypeCompleter

Inherited from LazyType

Inherited from Type

Inherited from Annotatable[Type]

Inherited from TypeApiImpl

Inherited from TypeApi

Inherited from TypeBase

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from PolyTypeCompleter to StringAdd

Inherited by implicit conversion any2stringfmt from PolyTypeCompleter to StringFormat

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

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