org.wartremover.warts.AsInstanceOf.scala Maven / Gradle / Ivy
The newest version!
package org.wartremover
package warts
import scala.annotation.nowarn
object AsInstanceOf extends WartTraverser {
def apply(u: WartUniverse): u.Traverser = {
import u.universe._
val EqualsName = TermName("equals")
val AsInstanceOfName = TermName("asInstanceOf")
val IsDefinedAt = TermName("isDefinedAt")
val allowedCasts = List(
"scala.tools.nsc.interpreter.IMain" // REPL needs this
) // cannot do `map rootMirror.staticClass` here because then:
// scala.ScalaReflectionException: object scala.tools.nsc.interpreter.IMain in compiler mirror not found.
new u.Traverser {
@nowarn("msg=lineContent")
override def traverse(tree: Tree): Unit = {
val synthetic = isSynthetic(u)(tree)
tree match {
// Ignore trees marked by SuppressWarnings
case t if hasWartAnnotation(u)(t) =>
case ClassDef(_, _, _, Template((_, _, statements))) if isSyntheticPartialFunction(u)(tree) =>
statements.foreach {
case DefDef(_, IsDefinedAt, _, _, _, _) =>
case t =>
traverse(t)
}
// Ignore usage in synthetic classes
case ClassDef(_, _, _, _) if synthetic =>
// Ignore synthetic equals()
case DefDef(_, EqualsName, _, _, _, _) if synthetic =>
// Pattern matcher writes var x1 = null.asInstanceOf[...]
case ValDef(mods, _, _, _) if mods.hasFlag(Flag.MUTABLE) && synthetic =>
// Ignore allowed casts
case TypeApply(Select(_, AsInstanceOfName), List(tt))
if tt.isType && allowedCasts.contains(tt.tpe.typeSymbol.fullName) =>
// Otherwise it's verboten (except synthetic exprs and macro expansions)
case Select(e, AsInstanceOfName)
if !isSynthetic(u)(e)
&& tree.pos.lineContent.contains(AsInstanceOfName.toString) =>
error(u)(tree.pos, "asInstanceOf is disabled")
case _ => super.traverse(tree)
}
}
}
}
}