[Jmlspecs-developers] [ jmlspecs-Bugs-653509 ] Illegal combination of modifiers

[<no...@so...>]

Bugs item #653509, was opened at 2002-12-13 17:17
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=510629&aid=653509&group_id=65346

Category: checker
Group: release 3.4
Status: Open
Resolution: None
Priority: 2
Submitted By: Yoonsik Cheon (cheon)
Assigned to: Yoonsik Cheon (cheon)
Summary: Illegal combination of modifiers

Initial Comment:
When checking illegal combination of modifiers, the 
inheritance of JML modifiers such as "pure" is not taken 
into account. For example, if a method is annotated to 
be pure in the superclass, the overriding method in the 
subclass can not have the "synchronized" modifier as 
the superclass's pure annotation is inherited by the 
subclass and a synchronized method can not be pure, 
However, this is not checked by the current type 
checker. 

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=510629&aid=653509&group_id=65346