/
package.scala
71 lines (58 loc) · 2 KB
/
package.scala
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
/*
* Copyright 2013-2020 http4s.org
*
* SPDX-License-Identifier: Apache-2.0
*/
import scalafix.v1._
import scala.meta._
package object fix {
/** Allows to apply multiple extractors/matchers to a single expression in a `case` block.
*/
object & {
def unapply[A](a: A): Option[(A, A)] = Some((a, a))
}
object XTerm {
// Matches if the term has curly braces.
object IsBlockOrPartFunc {
def unapply(term: Term): Boolean =
PartialFunction.cond(term) { case Term.Block(_) | Term.PartialFunction(_) =>
true
}
}
}
object XSymbol {
def unapply(tree: Tree)(implicit doc: SemanticDocument): Option[Symbol] = Some(tree.symbol)
object Owner {
def unapply(sym: Symbol): Option[Symbol] = Some(sym.owner)
}
}
implicit final class XSymbolOps(val self: Symbol) extends AnyVal {
def isTypeOf(that: Symbol)(implicit doc: Symtab): Boolean =
PartialFunction.cond(self) {
case `that` => true
case XSignature(ClassSignature(_, parents, _, _)) =>
parents.iterator
.collect { case TypeRef(_, parentSym, _) => parentSym }
.exists(_.isTypeOf(that))
}
}
object XSignature {
def unapply(symInfo: SymbolInformation): Option[Signature] = Some(symInfo.signature)
def unapply(sym: Symbol)(implicit doc: Symtab): Option[Signature] = sym.info.flatMap(unapply)
}
object XSemanticType {
/** Tries to infer a result SemanticType of a particular Stat.
*
* @note Not all possible cases are handled.
*/
def unapply(stat: Stat)(implicit doc: SemanticDocument): Option[SemanticType] =
PartialFunction.condOpt(stat) {
case Term.Name(_) & XSymbol(XSignature(ValueSignature(tpe))) => tpe
case Term.Apply(_, _) &
XSymbol(XSignature(ValueSignature(TypeRef(_, funcSym, _ :+ tpe))))
if funcSym.value.startsWith("scala/Function") && funcSym.value.endsWith("#") =>
tpe
case Term.Block(_ :+ XSemanticType(tpe)) => tpe
}
}
}