Scalaアノテーション

• 概要
• 使用方法
• 付けられる場所
• 代表的なアノテーション [/2012-10-20]

• Javaのアノテーション
• A Tour of Scala: Annotations

• 変位指定アノテーション

@scala.annotation.tailrec
def f(n:Int) = 〜

import scala.annotation.tailrec

@tailrec
def f(n:Int) = 〜

@deprecated("非推奨です")
class A

@deprecated(message="非推奨です")
class A

@a class クラス名 extends 親クラス @a with トレイト @a {
}

class クラス名(@a 引数:型 @a)

class クラス名[@a T]

@a type 別名 = クラス @a with トレイト @a

@a val 変数名 = 値
@a protected val 変数名 = 値

val 変数名:型 @a = 値

@a def メソッド名() = 本体

def メソッド名(@a 引数:型 @a) = 本体

def メソッド名():戻り型 @a = 本体

• BeanInfo
• BeanProperty
• cloneable
• deprecated [/2012-10-20]

• inline
• native
• noinline
• serializable

• SerialVersionUID
• specialized [/2011-02-24]
• switch
• tailrec [/2011-02-24]

• throws
• transient
• unchecked
• volatile

@throws(classOf[java.io.IOException])
def f() = 〜

@serializable
@SerialVersionUID(123L)
class A {
  @transient val v = 456
}

@cloneable
class A {
  override def clone() = super.clone().asInstanceOf[A]
}

@deprecated("非推奨です")
def f() = "hello, world"

@deprecated("非推奨です", "2.0")
def f() = "hello, world"

def f(x: Option[Int]) = (x: @unchecked) match {
  case Some(y) => y
//case None    =>
}

(c: @switch) match {
  case ' ' | '\t' => "blank"
  case _          => "other"
}

@tailrec
def f(n: Int, s:Int): Int = {
  if (n <= 0) s else f(n-1, s+n)
}

class A[@specialized(Int, Long) T] {
  def f(n: T) = n
}

class A(
  @BeanProperty var zzz:Int
)

class B {
  @BeanProperty var zzz = 123
}