• Home
• org.wartremover
• wartremover_3.4.2
• 3.2.1
• source code
• FinalCaseClass.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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

package org.wartremover
package warts

object FinalCaseClass 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: ClassDef if !t.symbol.flags.is(Flags.Synthetic) && t.symbol.isClassDef =>
            if (t.symbol.flags.is(Flags.Case) && !(t.symbol.flags.is(Flags.Final) || t.symbol.flags.is(Flags.Sealed))) {
              error(tree.pos, "case classes must be final")
            }
          case _ =>
            super.traverseTree(tree)(owner)
        }
      }
    }
  }
}