Scala Compiler2.13.17 < 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 MacroAnnotationNamers extends AnyRef
  Definition Classes
    typechecker
-  class MacroAnnotationNamer extends (MacroAnnotationNamers.this)#Namer
  Definition Classes
    MacroAnnotationNamers
- AccessorTypeCompleter
- DerivedAccessor
- Getter
- ImportTypeCompleter
- MaybeExpandeeCompanionCompleter
- MaybeExpandeeCompleter
- ModuleClassTypeCompleter
- MonoTypeCompleter
- NamerErrorGen
- SelfTypeCompleter
- Setter
- ValTypeCompleter

c

scala.tools.nsc.typechecker.MacroAnnotationNamers.MacroAnnotationNamer

# MaybeExpandeeCompleter

###

#### abstract class MaybeExpandeeCompleter extends (MacroAnnotationNamers.this)#TypeCompleter with (MacroAnnotationNamers.this)#LockingTypeCompleter with Global.FlagAssigningCompleter

Source
  MacroAnnotationNamers.scala

Linear Supertypes
Global.FlagAssigningCompleter, (MacroAnnotationNamers.this)#LockingTypeCompleter, (MacroAnnotationNamers.this)#TypeCompleter, Global.LazyType, Global.Type, Global.Annotatable[Global.Type], Global.TypeApiImpl, Global.TypeApi, AnyRef, Any
Known Subclasses
MaybeExpandeeCompanionCompleter
Type Hierarchy

Ordering

1. Alphabetic
2. By Inheritance

Inherited

1. MaybeExpandeeCompleter
2. FlagAssigningCompleter
3. LockingTypeCompleter
4. TypeCompleter
5. LazyType
6. Type
7. Annotatable
8. TypeApiImpl
9. TypeApi
10. AnyRef
11. Any

Implicitly

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

1. Hide All
2. Show All

Visibility

1. Public
2. Protected

### Instance Constructors

1.  new MaybeExpandeeCompleter(tree: Global.Tree)

### Type Members

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

### Abstract Value Members

1.  abstract def maybeExpand(): Unit

### Concrete 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 MaybeExpandeeCompleter toany2stringadd[MaybeExpandeeCompleter] performed by method any2stringadd in scala.Predef.
   Definition Classes
     any2stringadd
4.  def ->[B](y: B): (MaybeExpandeeCompleter, B)
   Implicit
     This member is added by an implicit conversion from MaybeExpandeeCompleter toArrowAssoc[MaybeExpandeeCompleter] 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[lang]
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.CloneNotSupportedException]) @native()
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, onlyExpansions: Boolean): Unit
25.  def complete(sym: Global.Symbol): Unit
    Definition Classes
      LockingTypeCompleter → LazyType → Type
26.  def completeImpl(sym: Global.Symbol, onlyExpansions: Boolean): Unit
27.  def completeImpl(sym: Global.Symbol): Unit
    Definition Classes
      MaybeExpandeeCompleter → LockingTypeCompleter
28.  def computeMemberType(sym: Global.Symbol): Global.Type
    Definition Classes
      Type
29.  def contains(sym: Global.Symbol): Boolean
    Definition Classes
      Type → TypeApi
30.  def dealias: Global.Type
    Definition Classes
      Type → TypeApi
31.  final def dealiasWiden: Global.Type
    Definition Classes
      Type
    Annotations
      @tailrec()
32.  def dealiasWidenChain: List[Global.Type]
    Definition Classes
      Type
33.  def decl(name: Global.Name): Global.Symbol
    Definition Classes
      Type → TypeApi
34.  def declaration(name: Global.Name): Global.Symbol
    Definition Classes
      TypeApiImpl → TypeApi
35.  def declarations: Global.Scope
    Definition Classes
      TypeApiImpl → TypeApi
36.  def decls: Global.Scope
    Definition Classes
      Type → TypeApi
37.  def deconst: Global.Type
    Definition Classes
      Type
38.  def deferredMembers: Global.Scope
    Definition Classes
      Type
39.  def destroy(syms: Global.Symbol*): Unit
40.  def directObjectString: String
    Definition Classes
      Type
41.  def dummyArgs: List[Global.Type]
    Attributes
      protected
    Definition Classes
      Type
42.  def ensuring(cond: (MaybeExpandeeCompleter) => Boolean, msg: => Any): MaybeExpandeeCompleter
    Implicit
      This member is added by an implicit conversion from MaybeExpandeeCompleter toEnsuring[MaybeExpandeeCompleter] performed by method Ensuring in scala.Predef.
    Definition Classes
      Ensuring
43.  def ensuring(cond: (MaybeExpandeeCompleter) => Boolean): MaybeExpandeeCompleter
    Implicit
      This member is added by an implicit conversion from MaybeExpandeeCompleter toEnsuring[MaybeExpandeeCompleter] performed by method Ensuring in scala.Predef.
    Definition Classes
      Ensuring
44.  def ensuring(cond: Boolean, msg: => Any): MaybeExpandeeCompleter
    Implicit
      This member is added by an implicit conversion from MaybeExpandeeCompleter toEnsuring[MaybeExpandeeCompleter] performed by method Ensuring in scala.Predef.
    Definition Classes
      Ensuring
45.  def ensuring(cond: Boolean): MaybeExpandeeCompleter
    Implicit
      This member is added by an implicit conversion from MaybeExpandeeCompleter toEnsuring[MaybeExpandeeCompleter] performed by method Ensuring in scala.Predef.
    Definition Classes
      Ensuring
46.  final def eq(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
47.  def equals(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef → Any
48.  def erasure: Global.Type
    Definition Classes
      TypeApiImpl → TypeApi
49.  def etaExpand: Global.Type
    Definition Classes
      Type → TypeApi
50.  def exists(p: (Global.Type) => Boolean): Boolean
    Definition Classes
      Type → TypeApi
51.  def filterAnnotations(p: (Global.AnnotationInfo) => Boolean): Global.Type
    Definition Classes
      Type → Annotatable
52.  final def finalResultType: Global.Type
    Definition Classes
      Type → TypeApi
53.  def finalize(): Unit
    Attributes
      protected[lang]
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.Throwable])
54.  def find(p: (Global.Type) => Boolean): Option[Global.Type]
    Definition Classes
      Type → TypeApi
55.  def findMember(name: Global.Name, excludedFlags: Long, requiredFlags: Long, stableOnly: Boolean): Global.Symbol
    Definition Classes
      Type
56.  def findMembers(excludedFlags: Long, requiredFlags: Long): Global.Scope
    Definition Classes
      Type
57.  def firstParent: Global.Type
    Definition Classes
      Type
58.  def foldOver(folder: Global.TypeFolder): Unit
    Definition Classes
      Type
59.  def forceDirectSuperclasses(): Unit
    Definition Classes
      TypeCompleter → Type
60.  def foreach(f: (Global.Type) => Unit): Unit
    Definition Classes
      Type → TypeApi
61.  def getAnnotation(cls: Global.Symbol): Option[Global.AnnotationInfo]
    Definition Classes
      Annotatable
62.  final def getClass(): Class[_ <: AnyRef]
    Definition Classes
      AnyRef → Any
    Annotations
      @native()
63.  def hasAnnotation(cls: Global.Symbol): Boolean
    Definition Classes
      Annotatable
64.  def hasNonPrivateMember(name: Global.Name): Boolean
    Definition Classes
      Type
65.  def hashCode(): Int
    Definition Classes
      AnyRef → Any
    Annotations
      @native()
66.  def implicitMembers: Global.Scope
    Definition Classes
      Type
67.  def instantiateTypeParams(formals: List[Global.Symbol], actuals: List[Global.Type]): Global.Type
    Definition Classes
      Type
68.  final def isAny: Boolean
    Definition Classes
      Type
69.  def isComplete: Boolean
    Definition Classes
      LazyType → Type
70.  def isDependentMethodType: Boolean
    Definition Classes
      Type
71.  def isErroneous: Boolean
    Definition Classes
      Type
72.  def isError: Boolean
    Definition Classes
      Type
73.  def isFinalType: Boolean
    Definition Classes
      Type
74.  def isGround: Boolean
    Definition Classes
      Type
75.  def isHigherKinded: Boolean
    Definition Classes
      Type
76.  def isImmediatelyDependent: Boolean
    Definition Classes
      Type
77.  final def isInstanceOf[T0]: Boolean
    Definition Classes
      Any
78.  def isJavaVarargsMethod: Boolean
    Definition Classes
      LazyType
79.  final def isNothing: Boolean
    Definition Classes
      Type
80.  def isShowAsInfixType: Boolean
    Definition Classes
      Type
81.  def isSpliceable: Boolean
    Definition Classes
      TypeApiImpl
82.  final def isStable: Boolean
    Definition Classes
      Type
83.  def isStructuralRefinement: Boolean
    Definition Classes
      Type
84.  def isTrivial: Boolean
    Definition Classes
      Type
85.  final def isVolatile: Boolean
    Definition Classes
      Type
86.  def isWildcard: Boolean
    Definition Classes
      Type
87.  def javaThrownExceptions: List[Global.Symbol]
    Definition Classes
      LazyType
88.  def kind: String
    Definition Classes
      LazyType → Type
89.  def load(sym: Global.Symbol): Unit
    Definition Classes
      MaybeExpandeeCompleter → Type
90.  def looselyMatches(that: Global.Type): Boolean
    Definition Classes
      Type
91.  def lowerBound: Global.Type
    Definition Classes
      Type
92.  def map(f: (Global.Type) => Global.Type): Global.Type
    Definition Classes
      Type → TypeApi
93.  def mapOver(map: Global.TypeMap): Global.Type
    Definition Classes
      Type
94.  def matches(that: Global.Type): Boolean
    Definition Classes
      Type
95.  def matchesPattern(that: Global.Type): Boolean
    Definition Classes
      Type
96.  def member(name: Global.Name): Global.Symbol
    Definition Classes
      Type → TypeApi
97.  def memberBasedOnName(name: Global.Name, excludedFlags: Long): Global.Symbol
    Definition Classes
      Type
98.  def memberInfo(sym: Global.Symbol): Global.Type
    Definition Classes
      Type
99.  def memberType(sym: Global.Symbol): Global.Type
    Definition Classes
      Type
100.  def members: Global.Scope
     Definition Classes
       Type → TypeApi
101.  def membersBasedOnFlags(excludedFlags: Long, requiredFlags: Long): Global.Scope
     Definition Classes
       Type
102.  def nameAndArgsString: String
     Definition Classes
       Type
103.  def narrow: Global.Type
     Definition Classes
       Type
104.  final def ne(arg0: AnyRef): Boolean
     Definition Classes
       AnyRef
105.  def nonLocalMember(name: Global.Name): Global.Symbol
     Definition Classes
       Type
106.  def nonPrivateDecl(name: Global.Name): Global.Symbol
     Definition Classes
       Type
107.  def nonPrivateDecls: List[Global.Symbol]
     Definition Classes
       Type
108.  def nonPrivateMember(name: Global.Name): Global.Symbol
     Definition Classes
       Type
109.  def nonPrivateMemberAdmitting(name: Global.Name, admit: Long): Global.Symbol
     Definition Classes
       Type
110.  def nonPrivateMembers: Global.Scope
     Definition Classes
       Type
111.  def nonPrivateMembersAdmitting(admit: Long): Global.Scope
     Definition Classes
       Type
112.  def normalize: Global.Type
     Definition Classes
       Type → TypeApi
113.  final def notify(): Unit
     Definition Classes
       AnyRef
     Annotations
       @native()
114.  final def notifyAll(): Unit
     Definition Classes
       AnyRef
     Annotations
       @native()
115.  def objectPrefix: String
     Attributes
       protected
     Definition Classes
       Type
116.  final def orElse(alt: => Global.Type): Global.Type
     Definition Classes
       Type → TypeApi
     Annotations
       @inline()
117.  def packageObject: Global.Symbol
     Definition Classes
       Type
118.  def packagePrefix: String
     Attributes
       protected
     Definition Classes
       Type
119.  def paramLists: List[List[Global.Symbol]]
     Definition Classes
       TypeApiImpl → TypeApi
120.  def paramSectionCount: Int
     Definition Classes
       Type
121.  def paramTypes: List[Global.Type]
     Definition Classes
       Type
122.  def params: List[Global.Symbol]
     Definition Classes
       Type
123.  def paramss: List[List[Global.Symbol]]
     Definition Classes
       Type → TypeApi
124.  def parents: List[Global.Type]
     Definition Classes
       Type
125.  def prefix: Global.Type
     Definition Classes
       Type
126.  def prefixChain: List[Global.Type]
     Definition Classes
       Type
127.  def prefixDirect: Global.Type
     Definition Classes
       Type
128.  def prefixString: String
     Definition Classes
       Type
129.  def removeAnnotation(cls: Global.Symbol): Global.Type
     Definition Classes
       Annotatable
130.  def resultApprox: Global.Type
     Definition Classes
       Type
131.  def resultType(actuals: List[Global.Type]): Global.Type
     Definition Classes
       Type
132.  def resultType: Global.Type
     Definition Classes
       Type → TypeApi
133.  def safeToString: String
     Definition Classes
       LazyType → Type
134.  def setAnnotations(annots: List[Global.AnnotationInfo]): Global.Type
     Definition Classes
       Type → Annotatable
135.  def skolemizeExistential: Global.Type
     Definition Classes
       Type
136.  def skolemizeExistential(owner: Global.Symbol, origin: AnyRef): Global.Type
     Definition Classes
       Type
137.  def skolemsExceptMethodTypeParams: List[Global.Symbol]
     Definition Classes
       Type
138.  def stat_<:<(that: Global.Type): Boolean
     Definition Classes
       Type
139.  def staticAnnotations: collection.immutable.List[Global.AnnotationInfo]
     Definition Classes
       Annotatable
140.  def subst(from: List[Global.Symbol], to: List[Global.Type]): Global.Type
     Definition Classes
       Type
141.  def substSym(from: List[Global.Symbol], to: List[Global.Symbol]): Global.Type
     Definition Classes
       Type
142.  def substThis(from: Global.Symbol, to: Global.Symbol): Global.Type
     Definition Classes
       Type
143.  def substThis(from: Global.Symbol, to: Global.Type): Global.Type
     Definition Classes
       Type
144.  def substThisAndSym(from: Global.Symbol, to: Global.Type, symsFrom: List[Global.Symbol], symsTo: List[Global.Symbol]): Global.Type
     Definition Classes
       Type
145.  def substituteSymbols(from: List[Global.Symbol], to: List[Global.Symbol]): Global.Type
     Definition Classes
       TypeApiImpl → TypeApi
146.  def substituteTypes(from: List[Global.Symbol], to: List[Global.Type]): Global.Type
     Definition Classes
       TypeApiImpl → TypeApi
147.  final def synchronized[T0](arg0: => T0): T0
     Definition Classes
       AnyRef
148.  def takesTypeArgs: Boolean
     Definition Classes
       Type → TypeApi
149.  def termSymbol: Global.Symbol
     Definition Classes
       Type → TypeApi
150.  def toLongString: String
     Definition Classes
       Type
151.  final def toString(): String
     Definition Classes
       Type → AnyRef → Any
152.  val tree: Global.Tree
     Definition Classes
       MaybeExpandeeCompleter → TypeCompleter
153.  def trimPrefix(str: String): String
     Definition Classes
       Type
154.  def typeArgs: List[Global.Type]
     Definition Classes
       Type → TypeApi
155.  def typeArguments: List[Global.Type]
     Definition Classes
       TypeApiImpl
156.  def typeConstructor: Global.Type
     Definition Classes
       Type → TypeApi
157.  def typeOfThis: Global.Type
     Definition Classes
       Type
158.  def typeParams: List[Global.Symbol]
     Definition Classes
       Type → TypeApi
159.  def typeSymbol: Global.Symbol
     Definition Classes
       Type → TypeApi
160.  def typeSymbolDirect: Global.Symbol
     Definition Classes
       Type
161.  def underlying: Global.Type
     Definition Classes
       Type
162.  def upperBound: Global.Type
     Definition Classes
       Type
163.  final def wait(): Unit
     Definition Classes
       AnyRef
     Annotations
       @throws(classOf[java.lang.InterruptedException])
164.  final def wait(arg0: Long, arg1: Int): Unit
     Definition Classes
       AnyRef
     Annotations
       @throws(classOf[java.lang.InterruptedException])
165.  final def wait(arg0: Long): Unit
     Definition Classes
       AnyRef
     Annotations
       @throws(classOf[java.lang.InterruptedException]) @native()
166.  def weak_<:<(that: Global.Type): Boolean
     Definition Classes
       Type → TypeApi
167.  def widen: Global.Type
     Definition Classes
       Type → TypeApi
168.  def withAnnotation(anno: Global.AnnotationInfo): Global.Type
     Definition Classes
       Type → Annotatable
169.  def withAnnotations(annots: List[Global.AnnotationInfo]): Global.Type
     Definition Classes
       Type → Annotatable
170.  def withFilter(p: (Global.Type) => Boolean): FilterMapForeach
     Definition Classes
       Type
171.  def withoutAnnotations: Global.Type
     Definition Classes
       Type → Annotatable

### Deprecated Value Members

1.  def formatted(fmtstr: String): String
   Implicit
     This member is added by an implicit conversion from MaybeExpandeeCompleter toStringFormat[MaybeExpandeeCompleter] performed by method StringFormat in scala.Predef.
   Definition Classes
     StringFormat
   Annotations
     @deprecated @inline()
   Deprecated

     (Since version 2.12.16) Use `formatString.format(value)` instead of `value.formatted(formatString)`, or use the `f""` string interpolator. In Java 15 and later, `formatted` resolves to the new method in String which has reversed parameters.

2.  def →[B](y: B): (MaybeExpandeeCompleter, B)
   Implicit
     This member is added by an implicit conversion from MaybeExpandeeCompleter toArrowAssoc[MaybeExpandeeCompleter] performed by method ArrowAssoc in scala.Predef.
   Definition Classes
     ArrowAssoc
   Annotations
     @deprecated
   Deprecated

     (Since version 2.13.0) Use `->` instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.

### Inherited from Global.FlagAssigningCompleter

### Inherited from (MacroAnnotationNamers.this)#LockingTypeCompleter

### Inherited from (MacroAnnotationNamers.this)#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 fromMaybeExpandeeCompleter to any2stringadd[MaybeExpandeeCompleter]

### Inherited by implicit conversion StringFormat fromMaybeExpandeeCompleter to StringFormat[MaybeExpandeeCompleter]

### Inherited by implicit conversion Ensuring fromMaybeExpandeeCompleter to Ensuring[MaybeExpandeeCompleter]

### Inherited by implicit conversion ArrowAssoc fromMaybeExpandeeCompleter to ArrowAssoc[MaybeExpandeeCompleter]

### Ungrouped