Skip to content

Commit deb5692

Browse files
committed
Use extension method in TASTy Refection
* Remove redundant extension methods * Use given extension methods
1 parent 785d5e5 commit deb5692

File tree

4 files changed

+59
-90
lines changed

4 files changed

+59
-90
lines changed

compiler/src/dotty/tools/dotc/tastyreflect/ReflectionCompilerInterface.scala

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -157,8 +157,6 @@ class ReflectionCompilerInterface(val rootContext: core.Contexts.Context) extend
157157
if (self.symbol.is(core.Flags.JavaDefined)) Nil // FIXME should also support java packages
158158
else self.symbol.info.decls.iterator.map(definitionFromSym).toList
159159

160-
def PackageDef_symbol(self: PackageDef)(given Context): Symbol = self.symbol
161-
162160
type ClassDef = tpd.TypeDef
163161

164162
def matchClassDef(tree: Tree)(given Context): Option[ClassDef] = tree match {
@@ -171,7 +169,6 @@ class ReflectionCompilerInterface(val rootContext: core.Contexts.Context) extend
171169
def ClassDef_derived(self: ClassDef)(given Context): List[TypeTree] = ClassDef_rhs(self).derived.asInstanceOf[List[TypeTree]]
172170
def ClassDef_self(self: ClassDef)(given Context): Option[ValDef] = optional(ClassDef_rhs(self).self)
173171
def ClassDef_body(self: ClassDef)(given Context): List[Statement] = ClassDef_rhs(self).body
174-
def ClassDef_symbol(self: ClassDef)(given Context): Symbol = self.symbol.asClass
175172
private def ClassDef_rhs(self: ClassDef) = self.rhs.asInstanceOf[tpd.Template]
176173

177174
def ClassDef_copy(original: ClassDef)(name: String, constr: DefDef, parents: List[Term | TypeTree], derived: List[TypeTree], selfOpt: Option[ValDef], body: List[Statement])(given Context): ClassDef = {
@@ -187,7 +184,6 @@ class ReflectionCompilerInterface(val rootContext: core.Contexts.Context) extend
187184
}
188185

189186
def TypeDef_rhs(self: TypeDef)(given Context): TypeTree | TypeBoundsTree = self.rhs
190-
def TypeDef_symbol(self: TypeDef)(given Context): Symbol = self.symbol.asType
191187

192188
def TypeDef_apply(symbol: Symbol)(given Context): TypeDef = withDefaultPos(tpd.TypeDef(symbol.asType))
193189
def TypeDef_copy(original: TypeDef)(name: String, rhs: TypeTree | TypeBoundsTree)(given Context): TypeDef =
@@ -204,7 +200,6 @@ class ReflectionCompilerInterface(val rootContext: core.Contexts.Context) extend
204200
def DefDef_paramss(self: DefDef)(given Context): List[List[ValDef]] = self.vparamss
205201
def DefDef_returnTpt(self: DefDef)(given Context): TypeTree = self.tpt
206202
def DefDef_rhs(self: DefDef)(given Context): Option[Tree] = optional(self.rhs)
207-
def DefDef_symbol(self: DefDef)(given Context): Symbol = self.symbol.asTerm
208203

209204
def DefDef_apply(symbol: Symbol, rhsFn: List[Type] => List[List[Term]] => Option[Term])(given Context): DefDef =
210205
withDefaultPos(tpd.polyDefDef(symbol.asTerm, tparams => vparamss => rhsFn(tparams)(vparamss).getOrElse(tpd.EmptyTree)))
@@ -221,7 +216,6 @@ class ReflectionCompilerInterface(val rootContext: core.Contexts.Context) extend
221216

222217
def ValDef_tpt(self: ValDef)(given Context): TypeTree = self.tpt
223218
def ValDef_rhs(self: ValDef)(given Context): Option[Tree] = optional(self.rhs)
224-
def ValDef_symbol(self: ValDef)(given Context): Symbol = self.symbol.asTerm
225219

226220
def ValDef_apply(symbol: Symbol, rhs: Option[Term])(given Context): ValDef =
227221
tpd.ValDef(symbol.asTerm, rhs.getOrElse(tpd.EmptyTree))
@@ -238,7 +232,6 @@ class ReflectionCompilerInterface(val rootContext: core.Contexts.Context) extend
238232
case _ => None
239233
}
240234

241-
def Term_pos(self: Term)(given Context): Position = self.sourcePos
242235
def Term_tpe(self: Term)(given Context): Type = self.tpe
243236
def Term_underlyingArgument(self: Term)(given Context): Term = self.underlyingArgument
244237
def Term_underlying(self: Term)(given Context): Term = self.underlying
@@ -629,7 +622,6 @@ class ReflectionCompilerInterface(val rootContext: core.Contexts.Context) extend
629622
val NameKinds.OuterSelectName(_, levels) = self.name
630623
levels
631624
}
632-
def SelectOuter_tpe(self: SelectOuter)(given Context): Type = self.tpe.stripTypeVar
633625

634626
def SelectOuter_apply(qualifier: Term, name: String, levels: Int)(given Context): SelectOuter =
635627
withDefaultPos(tpd.Select(qualifier, NameKinds.OuterSelectName(name.toTermName, levels)))
@@ -660,8 +652,6 @@ class ReflectionCompilerInterface(val rootContext: core.Contexts.Context) extend
660652
case _ => if (x.isType) Some(x) else None
661653
}
662654

663-
def TypeTree_pos(self: TypeTree)(given Context): Position = self.sourcePos
664-
def TypeTree_symbol(self: TypeTree)(given Context): Symbol = self.symbol
665655
def TypeTree_tpe(self: TypeTree)(given Context): Type = self.tpe.stripTypeVar
666656

667657
type Inferred = tpd.TypeTree

library/src/scala/tasty/reflect/CompilerInterface.scala

Lines changed: 0 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -227,7 +227,6 @@ trait CompilerInterface {
227227

228228
def PackageDef_owner(self: PackageDef)(given ctx: Context): PackageDef
229229
def PackageDef_members(self: PackageDef)(given ctx: Context): List[Statement]
230-
def PackageDef_symbol(self: PackageDef)(given ctx: Context): Symbol
231230

232231
/** Tree representing a class definition. This includes annonymus class definitions and the class of a module object */
233232
type ClassDef <: Definition
@@ -239,7 +238,6 @@ trait CompilerInterface {
239238
def ClassDef_derived(self: ClassDef)(given ctx: Context): List[TypeTree]
240239
def ClassDef_self(self: ClassDef)(given ctx: Context): Option[ValDef]
241240
def ClassDef_body(self: ClassDef)(given ctx: Context): List[Statement]
242-
def ClassDef_symbol(self: ClassDef)(given ctx: Context): Symbol
243241

244242
def ClassDef_copy(original: ClassDef)(name: String, constr: DefDef, parents: List[Tree/* Term | TypeTree */], derived: List[TypeTree], selfOpt: Option[ValDef], body: List[Statement])(given ctx: Context): ClassDef
245243

@@ -249,7 +247,6 @@ trait CompilerInterface {
249247
def matchTypeDef(tree: Tree)(given ctx: Context): Option[TypeDef]
250248

251249
def TypeDef_rhs(self: TypeDef)(given ctx: Context): Tree /*TypeTree | TypeBoundsTree*/
252-
def TypeDef_symbol(self: TypeDef)(given ctx: Context): Symbol
253250

254251
def TypeDef_apply(symbol: Symbol)(given ctx: Context): TypeDef
255252
def TypeDef_copy(original: TypeDef)(name: String, rhs: Tree /*TypeTree | TypeBoundsTree*/)(given ctx: Context): TypeDef
@@ -263,7 +260,6 @@ trait CompilerInterface {
263260
def DefDef_paramss(self: DefDef)(given ctx: Context): List[List[ValDef]]
264261
def DefDef_returnTpt(self: DefDef)(given ctx: Context): TypeTree
265262
def DefDef_rhs(self: DefDef)(given ctx: Context): Option[Term]
266-
def DefDef_symbol(self: DefDef)(given ctx: Context): Symbol
267263

268264
def DefDef_apply(symbol: Symbol, rhsFn: List[Type] => List[List[Term]] => Option[Term])(given ctx: Context): DefDef
269265
def DefDef_copy(original: DefDef)(name: String, typeParams: List[TypeDef], paramss: List[List[ValDef]], tpt: TypeTree, rhs: Option[Term])(given ctx: Context): DefDef
@@ -275,7 +271,6 @@ trait CompilerInterface {
275271

276272
def ValDef_tpt(self: ValDef)(given ctx: Context): TypeTree
277273
def ValDef_rhs(self: ValDef)(given ctx: Context): Option[Term]
278-
def ValDef_symbol(self: ValDef)(given ctx: Context): Symbol
279274

280275
def ValDef_apply(symbol: Symbol, rhs: Option[Term])(given ctx: Context): ValDef
281276
def ValDef_copy(original: ValDef)(name: String, tpt: TypeTree, rhs: Option[Term])(given ctx: Context): ValDef
@@ -285,7 +280,6 @@ trait CompilerInterface {
285280

286281
def matchTerm(tree: Tree)(given ctx: Context): Option[Term]
287282

288-
def Term_pos(self: Term)(given ctx: Context): Position
289283
def Term_tpe(self: Term)(given ctx: Context): Type
290284
def Term_underlyingArgument(self: Term)(given ctx: Context): Term
291285
def Term_underlying(self: Term)(given ctx: Context): Term
@@ -533,7 +527,6 @@ trait CompilerInterface {
533527

534528
def SelectOuter_qualifier(self: SelectOuter)(given ctx: Context): Term
535529
def SelectOuter_level(self: SelectOuter)(given ctx: Context): Int
536-
def SelectOuter_tpe(self: SelectOuter)(given ctx: Context): Type
537530

538531
def SelectOuter_apply(qualifier: Term, name: String, levels: Int)(given ctx: Context): SelectOuter
539532
def SelectOuter_copy(original: Tree)(qualifier: Term, name: String, levels: Int)(given ctx: Context): SelectOuter
@@ -554,8 +547,6 @@ trait CompilerInterface {
554547

555548
def matchTypeTree(tree: Tree)(given ctx: Context): Option[TypeTree]
556549

557-
def TypeTree_pos(self: TypeTree)(given ctx: Context): Position
558-
def TypeTree_symbol(self: TypeTree)(given ctx: Context): Symbol
559550
def TypeTree_tpe(self: TypeTree)(given ctx: Context): Type
560551

561552
/** Type tree representing an inferred type */

0 commit comments

Comments
 (0)