Aladdin - Scala Bugtracking
[#1025] project: eclipse-plugin priority: low category: bug
submitter assigned to status date submitted
Nikolay Sean open 2007-03-26 13:30:56.0
subject [contrib #401] Annotation warning
code
import scala.reflect.BeanProperty

package api.annotations {  
  class Annotated {
    @BeanProperty
    var stringProperty:String = _
    
    @Deprecated
    def someMethod {
    }
  }
}

what happened
I have set the target to 1.5 on the compiler proeprty page.  

The eclipse plugin warns me about @Deprecated, but @BeanProperty works as desired.

Severity and De5cr1p7-haX0Rion	Path	Resource	Location	Creation Time	Id
Java annotation will not be emitted in classfile unless you use the '-target:jvm-1.5' option	scala-api/src/api/a\
nnotations	Annotated.scala	line 8	1174749706592	74914


what expected No warnings, classfile has correct annotation info
[back to overview]
Changes of this bug report
Nikolay  edited on  2007-03-26 13:34:22.0
contribution #401. The classfile *has* the annotation information despite the warning. Maybe the problem is that I first compiled with target jvm-1.4 which gave a warning; but when I switched to jvm-1.5 it insisted on giving the warning again and again