trait StdAttachments extends AnyRef
- Alphabetic
- By Inheritance
- StdAttachments
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
trait
Attachable extends AnyRef
Common code between reflect-internal Symbol and Tree related to Attachments.
-
case class
CompoundTypeTreeOriginalAttachment(parents: List[SymbolTable.Tree], stats: List[SymbolTable.Tree]) extends Product with Serializable
Stores the trees that give rise to a refined type to be used in reification.
Stores the trees that give rise to a refined type to be used in reification. Unfortunately typed
CompoundTypeTree
is lacking essential info, and the reifier cannot useCompoundTypeTree.tpe
. Therefore we need this hack (seeReshape.toPreTyperTypeTree
for a detailed explanation). -
trait
ImportableAttachment extends AnyRef
Attachment that knows how to import itself into another universe.
- abstract class InlineAnnotatedAttachment extends AnyRef
-
trait
PlainAttachment extends SymbolTable.ImportableAttachment
Attachment that doesn't contain any reflection artifacts and can be imported as-is.
- class QualTypeSymAttachment extends AnyRef
-
case class
SAMFunction(samTp: SymbolTable.Type, sam: SymbolTable.Symbol, synthCls: SymbolTable.Symbol) extends SymbolTable.PlainAttachment with Product with Serializable
Attached to a Function node during type checking when the expected type is a SAM type (and not a built-in FunctionN).
Attached to a Function node during type checking when the expected type is a SAM type (and not a built-in FunctionN).
Ideally, we'd move to Dotty's Closure AST, which tracks the environment, the lifted method that has the implementation, and the target type. For backwards compatibility, an attachment is the best we can do right now.
- samTp
the expected type that triggered sam conversion (may be a subtype of the type corresponding to sam's owner)
- sam
the single abstract method implemented by the Function we're attaching this to
- synthCls
the (synthetic) class representing the eventual implementation class (spun at runtime by LMF on the JVM)
- Since
2.12.0-M4
-
case class
SubpatternsAttachment(patterns: List[SymbolTable.Tree]) extends Product with Serializable
Untyped list of subpatterns attached to selector dummy.
-
case class
TypeParamVarargsAttachment(typeParamRef: SymbolTable.Type) extends Product with Serializable
An attachment carrying information between uncurry and erasure
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
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
- @native() @throws( ... )
-
object
BackquotedIdentifierAttachment extends SymbolTable.PlainAttachment with Product with Serializable
When present, indicates that the host
Ident
has been created from a backquoted identifier. - object DelambdafyTarget extends SymbolTable.PlainAttachment with Product with Serializable
-
object
ForAttachment extends SymbolTable.PlainAttachment with Product with Serializable
Identifies trees are either result or intermediate value of for loop desugaring.
- object InlineCallsiteAttachment extends SymbolTable.InlineAnnotatedAttachment with Product with Serializable
-
object
KnownDirectSubclassesCalled extends SymbolTable.PlainAttachment with Product with Serializable
Attached to a class symbol to indicate that its children have been observed via knownDirectSubclasses.
Attached to a class symbol to indicate that its children have been observed via knownDirectSubclasses. Children added subsequently will trigger an error to indicate that the earlier observation was incomplete.
- object NoInlineCallsiteAttachment extends SymbolTable.InlineAnnotatedAttachment with Product with Serializable
-
object
NoWarnAttachment extends SymbolTable.PlainAttachment with Product with Serializable
A pattern binding exempt from unused warning.
A pattern binding exempt from unused warning.
Its host
Ident
has been created from a pattern2 binding,case x @ p
. In the absence of named parameters in patterns, allows nuanced warnings for unused variables. Hence,case X(x = _) =>
would not warn; for now,case X(x @ _) =>
is documentary if x is unused. -
object
OuterArgCanBeElided extends SymbolTable.PlainAttachment with Product with Serializable
Attached to a local class that has its outer field elided.
Attached to a local class that has its outer field elided. A
null
constant may be passed in place of the outer parameter, can help callers to avoid capturing the outer instance. -
object
PatVarDefAttachment extends SymbolTable.PlainAttachment with Product with Serializable
Indicates that a
ValDef
was synthesized from a pattern definition,val P(x)
. -
object
SyntheticUnitAttachment extends SymbolTable.PlainAttachment with Product with Serializable
Identifies unit constants which were inserted by the compiler (e.g.
Identifies unit constants which were inserted by the compiler (e.g. gen.mkBlock)
- object UseInvokeSpecial extends SymbolTable.PlainAttachment with Product with Serializable