Scala Compiler2.12.3-1 < Back
 

# Packages

-  package root

  The Scala compiler and reflection APIs.

  The Scala compiler and reflection APIs.

  Definition Classes
    root
-  package scala
  Definition Classes
    root
-  package tools
  Definition Classes
    scala
-  package nsc
  Definition Classes
    tools
-  package typechecker
  Definition Classes
    nsc
-  trait Namers extends MethodSynthesis

  This trait declares methods to create symbols and to enter them into scopes.

  This trait declares methods to create symbols and to enter them into scopes.

  Definition Classes
    typechecker
  Version

    1.0

-  abstract class Namer extends Analyzer.MethodSynth with Analyzer.NamerContextErrors
  Definition Classes
    Namers
- AccessorTypeCompleter
- DerivedAccessor
- Getter
- ImportTypeCompleter
- LogTransitions
- ModuleClassTypeCompleter
- MonoTypeCompleter
- NamerErrorGen
- SelfTypeCompleter
- Setter
- ValTypeCompleter

c

scala.tools.nsc.typechecker.Namers.Namer

# MonoTypeCompleter 

###

#### class MonoTypeCompleter extends Analyzer.TypeCompleterBase[Global.MemberDef]

Source
  Namers.scala

Linear Supertypes
Analyzer.TypeCompleterBase[Global.MemberDef], Global.FlagAgnosticCompleter, Analyzer.LockingTypeCompleter, Analyzer.TypeCompleter, Global.LazyType, Global.Type, Global.Annotatable[Global.Type], Global.TypeApiImpl, Global.TypeApi, AnyRef, Any
Type Hierarchy
 
Ordering

1. Alphabetic
2. By Inheritance

Inherited

1. MonoTypeCompleter
2. TypeCompleterBase
3. FlagAgnosticCompleter
4. LockingTypeCompleter
5. TypeCompleter
6. LazyType
7. Type
8. Annotatable
9. TypeApiImpl
10. TypeApi
11. AnyRef
12. Any

Implicitly

1. by any2stringadd
2. by StringFormat
3. by Ensuring
4. by ArrowAssoc

1. Hide All
2. Show All

Visibility

1. Public
2. All

### Instance Constructors

1.  new MonoTypeCompleter(tree: Global.MemberDef)

### Type Members

1.  class FilterMapForeach extends reflect.internal.SymbolTable.FilterTypeCollector
   Definition Classes
     Type

### Value Members

1.  final def !=(arg0: Any): Boolean
   Definition Classes
     AnyRef → Any
2.  final def ##(): Int
   Definition Classes
     AnyRef → Any
3.  def +(other: String): String
   Implicit
     This member is added by an implicit conversion from MonoTypeCompleter to any2stringadd[MonoTypeCompleter] performed by method any2stringadd in scala.Predef.
   Definition Classes
     any2stringadd
4.  def ->[B](y: B): (MonoTypeCompleter, B)
   Implicit
     This member is added by an implicit conversion from MonoTypeCompleter to ArrowAssoc[MonoTypeCompleter] performed by method ArrowAssoc in scala.Predef.
   Definition Classes
     ArrowAssoc
   Annotations
     @inline()
5.  def <:<(that: Global.Type): Boolean
   Definition Classes
     Type → TypeApi
6.  def =:=(that: Global.Type): Boolean
   Definition Classes
     Type → TypeApi
7.  final def ==(arg0: Any): Boolean
   Definition Classes
     AnyRef → Any
8.  def addThrowsAnnotation(throwableSym: Global.Symbol): Global.Type
   Definition Classes
     Annotatable
9.  def annotations: List[Global.AnnotationInfo]
   Definition Classes
     Type → Annotatable
10.  final def asInstanceOf[T0]: T0
    Definition Classes
      Any
11.  def asSeenFrom(pre: Global.Type, clazz: Global.Symbol): Global.Type
    Definition Classes
      Type → TypeApi
12.  def atOwner(owner: Global.Symbol): Global.Type
    Definition Classes
      Type
13.  def baseClasses: List[Global.Symbol]
    Definition Classes
      Type → TypeApi
14.  def baseType(clazz: Global.Symbol): Global.Type
    Definition Classes
      Type → TypeApi
15.  def baseTypeIndex(sym: Global.Symbol): Int
    Definition Classes
      Type
16.  def baseTypeSeq: Global.BaseTypeSeq
    Definition Classes
      Type
17.  def baseTypeSeqDepth: Depth
    Definition Classes
      Type
18.  def betaReduce: Global.Type
    Definition Classes
      Type
19.  def bounds: Global.TypeBounds
    Definition Classes
      Type
20.  def clone(): AnyRef
    Attributes
      protected[java.lang]
    Definition Classes
      AnyRef
    Annotations
      @throws( ... )
21.  def cloneInfo(owner: Global.Symbol): Global.Type
    Definition Classes
      Type
22.  def collect[T](pf: PartialFunction[Global.Type, T]): List[T]
    Definition Classes
      Type
23.  def companion: Global.Type
    Definition Classes
      TypeApiImpl → TypeApi
24.  def complete(sym: Global.Symbol): Unit
    Definition Classes
      LockingTypeCompleter → LazyType → Type
25.  def completeImpl(sym: Global.Symbol): Unit
    Definition Classes
      MonoTypeCompleter → LockingTypeCompleter
26.  def computeMemberType(sym: Global.Symbol): Global.Type
    Definition Classes
      Type
27.  def contains(sym: Global.Symbol): Boolean
    Definition Classes
      Type → TypeApi
28.  def dealias: Global.Type
    Definition Classes
      Type → TypeApi
29.  def dealiasWiden: Global.Type
    Definition Classes
      Type
30.  def dealiasWidenChain: List[Global.Type]
    Definition Classes
      Type
31.  def decl(name: Global.Name): Global.Symbol
    Definition Classes
      Type → TypeApi
32.  def declaration(name: Global.Name): Global.Symbol
    Definition Classes
      TypeApiImpl → TypeApi
33.  def declarations: Global.Scope
    Definition Classes
      TypeApiImpl → TypeApi
34.  def decls: Global.Scope
    Definition Classes
      Type → TypeApi
35.  def deconst: Global.Type
    Definition Classes
      Type
36.  def deferredMembers: Global.Scope
    Definition Classes
      Type
37.  def directObjectString: String
    Definition Classes
      Type
38.  def dummyArgs: List[Global.Type]
    Attributes
      protected
    Definition Classes
      Type
39.  def ensuring(cond: (MonoTypeCompleter) ⇒ Boolean, msg: ⇒ Any): MonoTypeCompleter
    Implicit
      This member is added by an implicit conversion from MonoTypeCompleter to Ensuring[MonoTypeCompleter] performed by method Ensuring in scala.Predef.
    Definition Classes
      Ensuring
40.  def ensuring(cond: (MonoTypeCompleter) ⇒ Boolean): MonoTypeCompleter
    Implicit
      This member is added by an implicit conversion from MonoTypeCompleter to Ensuring[MonoTypeCompleter] performed by method Ensuring in scala.Predef.
    Definition Classes
      Ensuring
41.  def ensuring(cond: Boolean, msg: ⇒ Any): MonoTypeCompleter
    Implicit
      This member is added by an implicit conversion from MonoTypeCompleter to Ensuring[MonoTypeCompleter] performed by method Ensuring in scala.Predef.
    Definition Classes
      Ensuring
42.  def ensuring(cond: Boolean): MonoTypeCompleter
    Implicit
      This member is added by an implicit conversion from MonoTypeCompleter to Ensuring[MonoTypeCompleter] performed by method Ensuring in scala.Predef.
    Definition Classes
      Ensuring
43.  final def eq(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
44.  def equals(arg0: Any): Boolean
    Definition Classes
      AnyRef → Any
45.  def erasure: Global.Type
    Definition Classes
      TypeApiImpl → TypeApi
46.  def etaExpand: Global.Type
    Definition Classes
      Type → TypeApi
47.  def exists(p: (Global.Type) ⇒ Boolean): Boolean
    Definition Classes
      Type → TypeApi
48.  def filterAnnotations(p: (Global.AnnotationInfo) ⇒ Boolean): Global.Type
    Definition Classes
      Type → Annotatable
49.  final def finalResultType: Global.Type
    Definition Classes
      Type → TypeApi
50.  def finalize(): Unit
    Attributes
      protected[java.lang]
    Definition Classes
      AnyRef
    Annotations
      @throws( classOf[java.lang.Throwable] )
51.  def find(p: (Global.Type) ⇒ Boolean): Option[Global.Type]
    Definition Classes
      Type → TypeApi
52.  def findMember(name: Global.Name, excludedFlags: Long, requiredFlags: Long, stableOnly: Boolean): Global.Symbol
    Definition Classes
      Type
53.  def findMembers(excludedFlags: Long, requiredFlags: Long): Global.Scope
    Definition Classes
      Type
54.  def firstParent: Global.Type
    Definition Classes
      Type
55.  def forceDirectSuperclasses: Unit
    Definition Classes
      TypeCompleter → Type
56.  def foreach(f: (Global.Type) ⇒ Unit): Unit
    Definition Classes
      Type → TypeApi
57.  def formatted(fmtstr: String): String
    Implicit
      This member is added by an implicit conversion from MonoTypeCompleter to StringFormat[MonoTypeCompleter] performed by method StringFormat in scala.Predef.
    Definition Classes
      StringFormat
    Annotations
      @inline()
58.  def getAnnotation(cls: Global.Symbol): Option[Global.AnnotationInfo]
    Definition Classes
      Annotatable
59.  final def getClass(): Class[_]
    Definition Classes
      AnyRef → Any
60.  def hasAnnotation(cls: Global.Symbol): Boolean
    Definition Classes
      Annotatable
61.  def hasNonPrivateMember(name: Global.Name): Boolean
    Definition Classes
      Type
62.  def hashCode(): Int
    Definition Classes
      AnyRef → Any
63.  def implicitMembers: Global.Scope
    Definition Classes
      Type
64.  def instantiateTypeParams(formals: List[Global.Symbol], actuals: List[Global.Type]): Global.Type
    Definition Classes
      Type
65.  def isComplete: Boolean
    Definition Classes
      LazyType → Type
66.  def isDependentMethodType: Boolean
    Definition Classes
      Type
67.  def isErroneous: Boolean
    Definition Classes
      Type
68.  def isError: Boolean
    Definition Classes
      Type
69.  def isFinalType: Boolean
    Definition Classes
      Type
70.  def isGround: Boolean
    Definition Classes
      Type
71.  def isHigherKinded: Boolean
    Definition Classes
      Type
72.  def isImmediatelyDependent: Boolean
    Definition Classes
      Type
73.  final def isInstanceOf[T0]: Boolean
    Definition Classes
      Any
74.  def isShowAsInfixType: Boolean
    Definition Classes
      Type
75.  def isSpliceable: Boolean
    Definition Classes
      TypeApiImpl
76.  final def isStable: Boolean
    Definition Classes
      Type
77.  def isStructuralRefinement: Boolean
    Definition Classes
      Type
78.  def isTrivial: Boolean
    Definition Classes
      Type
79.  final def isVolatile: Boolean
    Definition Classes
      Type
80.  def isWildcard: Boolean
    Definition Classes
      Type
81.  def kind: String
    Definition Classes
      LazyType → Type
82.  def load(sym: Global.Symbol): Unit
    Definition Classes
      Type
83.  def looselyMatches(that: Global.Type): Boolean
    Definition Classes
      Type
84.  def map(f: (Global.Type) ⇒ Global.Type): Global.Type
    Definition Classes
      Type → TypeApi
85.  def matches(that: Global.Type): Boolean
    Definition Classes
      Type
86.  def matchesPattern(that: Global.Type): Boolean
    Definition Classes
      Type
87.  def member(name: Global.Name): Global.Symbol
    Definition Classes
      Type → TypeApi
88.  def memberBasedOnName(name: Global.Name, excludedFlags: Long): Global.Symbol
    Definition Classes
      Type
89.  def memberInfo(sym: Global.Symbol): Global.Type
    Definition Classes
      Type
90.  def memberType(sym: Global.Symbol): Global.Type
    Definition Classes
      Type
91.  def members: Global.Scope
    Definition Classes
      Type → TypeApi
92.  def membersBasedOnFlags(excludedFlags: Long, requiredFlags: Long): Global.Scope
    Definition Classes
      Type
93.  def nameAndArgsString: String
    Definition Classes
      Type
94.  def narrow: Global.Type
    Definition Classes
      Type
95.  final def ne(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
96.  def nonLocalMember(name: Global.Name): Global.Symbol
    Definition Classes
      Type
97.  def nonPrivateDecl(name: Global.Name): Global.Symbol
    Definition Classes
      Type
98.  def nonPrivateDecls: List[Global.Symbol]
    Definition Classes
      Type
99.  def nonPrivateMember(name: Global.Name): Global.Symbol
    Definition Classes
      Type
100.  def nonPrivateMemberAdmitting(name: Global.Name, admit: Long): Global.Symbol
     Definition Classes
       Type
101.  def nonPrivateMembers: Global.Scope
     Definition Classes
       Type
102.  def nonPrivateMembersAdmitting(admit: Long): Global.Scope
     Definition Classes
       Type
103.  def normalize: Global.Type
     Definition Classes
       Type → TypeApi
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.  final def orElse(alt: ⇒ Global.Type): Global.Type
     Definition Classes
       Type → TypeApi
     Annotations
       @inline()
108.  def packageObject: Global.Symbol
     Definition Classes
       Type
109.  def packagePrefix: String
     Attributes
       protected
     Definition Classes
       Type
110.  def paramLists: List[List[Global.Symbol]]
     Definition Classes
       TypeApiImpl → TypeApi
111.  def paramSectionCount: Int
     Definition Classes
       Type
112.  def paramTypes: List[Global.Type]
     Definition Classes
       Type
113.  def params: List[Global.Symbol]
     Definition Classes
       Type
114.  def paramss: List[List[Global.Symbol]]
     Definition Classes
       Type → TypeApi
115.  def parents: List[Global.Type]
     Definition Classes
       Type
116.  def prefix: Global.Type
     Definition Classes
       Type
117.  def prefixChain: List[Global.Type]
     Definition Classes
       Type
118.  def prefixString: String
     Definition Classes
       Type
119.  def removeAnnotation(cls: Global.Symbol): Global.Type
     Definition Classes
       Annotatable
120.  def resultApprox: Global.Type
     Definition Classes
       Type
121.  def resultType(actuals: List[Global.Type]): Global.Type
     Definition Classes
       Type
122.  def resultType: Global.Type
     Definition Classes
       Type → TypeApi
123.  def safeToString: String
     Definition Classes
       LazyType → Type
124.  def setAnnotations(annots: List[Global.AnnotationInfo]): Global.Type
     Definition Classes
       Type → Annotatable
125.  def skolemizeExistential: Global.Type
     Definition Classes
       Type
126.  def skolemizeExistential(owner: Global.Symbol, origin: AnyRef): Global.Type
     Definition Classes
       Type
127.  def skolemsExceptMethodTypeParams: List[Global.Symbol]
     Definition Classes
       Type
128.  def stat_<:<(that: Global.Type): Boolean
     Definition Classes
       Type
129.  def staticAnnotations: collection.immutable.List[Global.AnnotationInfo]
     Definition Classes
       Annotatable
130.  def subst(from: List[Global.Symbol], to: List[Global.Type]): Global.Type
     Definition Classes
       Type
131.  def substSym(from: List[Global.Symbol], to: List[Global.Symbol]): Global.Type
     Definition Classes
       Type
132.  def substThis(from: Global.Symbol, to: Global.Symbol): Global.Type
     Definition Classes
       Type
133.  def substThis(from: Global.Symbol, to: Global.Type): Global.Type
     Definition Classes
       Type
134.  def substThisAndSym(from: Global.Symbol, to: Global.Type, symsFrom: List[Global.Symbol], symsTo: List[Global.Symbol]): Global.Type
     Definition Classes
       Type
135.  def substituteSymbols(from: List[Global.Symbol], to: List[Global.Symbol]): Global.Type
     Definition Classes
       TypeApiImpl → TypeApi
136.  def substituteTypes(from: List[Global.Symbol], to: List[Global.Type]): Global.Type
     Definition Classes
       TypeApiImpl → TypeApi
137.  final def synchronized[T0](arg0: ⇒ T0): T0
     Definition Classes
       AnyRef
138.  def takesTypeArgs: Boolean
     Definition Classes
       Type → TypeApi
139.  def termSymbol: Global.Symbol
     Definition Classes
       Type → TypeApi
140.  def termSymbolDirect: Global.Symbol
     Definition Classes
       Type
141.  def toLongString: String
     Definition Classes
       Type
142.  final def toString(): String
     Definition Classes
       Type → AnyRef → Any
143.  val tree: Global.MemberDef
     Definition Classes
       TypeCompleterBase → TypeCompleter
144.  def trimPrefix(str: String): String
     Definition Classes
       Type
145.  def typeArgs: List[Global.Type]
     Definition Classes
       Type → TypeApi
146.  def typeArguments: List[Global.Type]
     Definition Classes
       TypeApiImpl
147.  def typeConstructor: Global.Type
     Definition Classes
       Type → TypeApi
148.  def typeOfThis: Global.Type
     Definition Classes
       Type
149.  def typeParams: List[Global.Symbol]
     Definition Classes
       Type → TypeApi
150.  def typeSymbol: Global.Symbol
     Definition Classes
       Type → TypeApi
151.  def typeSymbolDirect: Global.Symbol
     Definition Classes
       Type
152.  def underlying: Global.Type
     Definition Classes
       Type
153.  final def wait(): Unit
     Definition Classes
       AnyRef
     Annotations
       @throws( ... )
154.  final def wait(arg0: Long, arg1: Int): Unit
     Definition Classes
       AnyRef
     Annotations
       @throws( ... )
155.  final def wait(arg0: Long): Unit
     Definition Classes
       AnyRef
     Annotations
       @throws( ... )
156.  def weak_<:<(that: Global.Type): Boolean
     Definition Classes
       Type → TypeApi
157.  def widen: Global.Type
     Definition Classes
       Type → TypeApi
158.  final def withAnnotation(annot: Global.AnnotationInfo): Global.Type
     Definition Classes
       Annotatable
159.  def withAnnotations(annots: List[Global.AnnotationInfo]): Global.Type
     Definition Classes
       Type → Annotatable
160.  def withFilter(p: (Global.Type) ⇒ Boolean): FilterMapForeach
     Definition Classes
       Type
161.  def withoutAnnotations: Global.Type
     Definition Classes
       Type → Annotatable
162.  def →[B](y: B): (MonoTypeCompleter, B)
     Implicit
       This member is added by an implicit conversion from MonoTypeCompleter to ArrowAssoc[MonoTypeCompleter] performed by method ArrowAssoc in scala.Predef.
     Definition Classes
       ArrowAssoc

### Deprecated Value Members

1.  def boundSyms: Set[Global.Symbol]
   Definition Classes
     Type
   Annotations
     @deprecated
   Deprecated

     (Since version 2.12.3) No longer used in the compiler implementation

### Inherited from Analyzer.TypeCompleterBase[Global.MemberDef]

### Inherited from Global.FlagAgnosticCompleter

### Inherited from Analyzer.LockingTypeCompleter

### Inherited from Analyzer.TypeCompleter

### Inherited from Global.LazyType

### Inherited from Global.Type

### Inherited from Global.Annotatable[Global.Type]

### Inherited from Global.TypeApiImpl

### Inherited from Global.TypeApi

### Inherited from AnyRef

### Inherited from Any

### Inherited by implicit conversion any2stringadd from MonoTypeCompleter to any2stringadd[MonoTypeCompleter]

### Inherited by implicit conversion StringFormat from MonoTypeCompleter to StringFormat[MonoTypeCompleter]

### Inherited by implicit conversion Ensuring from MonoTypeCompleter to Ensuring[MonoTypeCompleter]

### Inherited by implicit conversion ArrowAssoc from MonoTypeCompleter to ArrowAssoc[MonoTypeCompleter]

### Ungrouped