File: annotDepMethType.scala

package info (click to toggle)
scala 2.11.12-6
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 62,924 kB
  • sloc: javascript: 28,808; java: 13,415; xml: 3,135; sh: 1,620; python: 756; makefile: 38; awk: 36; ansic: 6
file content (7 lines) | stat: -rw-r--r-- 250 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
 
case class pc(calls: Any*) extends annotation.TypeConstraint

object Main {
  class C0 { def baz: String = "" }
  class C1 { def bar(c0: C0): String @pc(c0.baz) = c0.baz }
  def trans(c1: C1): String @pc(c1.bar(throw new Error())) = c1.bar(new C0)
}