org.wartremover.warts.AsInstanceOf.scala Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of wartremover_3.4.2 Show documentation

wartremover

There is a newer version: 3.2.1

package org.wartremover
package warts

object AsInstanceOf 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).asInstanceOf[t2] } if sourceCodeContains(t, "asInstanceOf") =>
                error(tree.pos, "asInstanceOf is disabled")
              case _ =>
                super.traverseTree(tree)(owner)
            }
          case _ =>
            super.traverseTree(tree)(owner)
        }
      }
    }
  }
}