Given a case class case class C[Ts] (ps: Us) Add the following methods to toScope:

1. if case class is not abstract, add <synthetic> <case> def apply[Ts](ps: Us): C[Ts] = new C[Ts](ps) 2. add a method <synthetic> <case> def unapply[Ts](x: C[Ts]) = <ret-val> where <ret-val> is the caseClassUnapplyReturnValue of class C (see UnApplies.scala)

Create a new symbol at the context owner based on the given tree. A different name can be given. If the modifier flags should not be be transferred to the symbol as they are, supply a mask containing the flags to keep.

All PackageClassInfoTypes come from here.

If no companion object for clazz exists yet, create one by applying creator to class definition tree.

For every default argument, insert a method symbol computing that default

Enter symbol into given scope and return symbol itself

Enter symbol into context's scope and return symbol itself

Enter a module symbol.

Logic to handle name conflicts of synthetically generated symbols We handle right now: t6227

Determines whether this field holds an enum constant. To qualify, the following conditions must be met:

• The field's class has the ENUM flag set
• The field's class extends java.lang.Enum
• The field has the ENUM flag set
• The field is static
• The field is stable

Default implementation of ensureCompanionObject. Can be overridden by analyzer plugins (see AnalyzerPlugins.pluginsEnsureCompanionObject for more details)

Default implementation of enterSym. Can be overridden by analyzer plugins (see AnalyzerPlugins.pluginsEnterSym for more details)

TypeSig is invoked by monoTypeCompleters. It returns the type of a definition which is then assigned to the corresponding symbol (typeSig itself does not need to assign the type to the symbol, but it can if necessary).

Check that symbol's definition is well-formed. This means:

• no conflicting modifiers
• abstract modifier only for classes
• override modifier never for classes
• def modifier never for parameters of case classes
• declarations only in mixins or abstract classes (when not @native)

Given a ClassDef or ModuleDef, verifies there isn't a companion which has been defined in a separate file.