org.wartremover.warts.IsInstanceOf.scala Maven / Gradle / Ivy
package org.wartremover
package warts
object IsInstanceOf extends WartTraverser {
def apply(u: WartUniverse): u.Traverser = {
new u.Traverser(this) {
import q.reflect.*
override def traverseTree(tree: Tree)(owner: Symbol): Unit = {
tree match {
case t if hasWartAnnotation(t) =>
case t if t.isExpr =>
t.asExpr match {
case '{ ($x: t1).isInstanceOf[t2] } if sourceCodeContains(t, "isInstanceOf") =>
error(tree.pos, "isInstanceOf is disabled")
case _ =>
super.traverseTree(tree)(owner)
}
case _: TypedOrTest =>
case _ =>
super.traverseTree(tree)(owner)
}
}
}
}
}