search

pashapm / cofoja

Automatically exported from code.google.com/p/cofoja
GNU Lesser General Public License v3.0
0 stars 0 forks source link

@Contracted absence not detected #17

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
As @Contracted is checked lazily, if no contract is checked after a class with 
missing @Contracted is loaded, the "@Contracted missing" exception is not 
thrown.

What steps will reproduce the problem?
1. Declare an interface with contracts and a class that implements it. Do not 
annotate with @Contracted. Do not put contracts anywhere else.
2. Compile and run normally.

What is the expected output? What do you see instead?
Expected: exception thrown
See: nothing happens (contract is not triggered (as expected) and @Contracted 
absence is not detected)

Original issue reported on code.google.com by chat...@google.com on 23 Mar 2011 at 3:56

GoogleCodeExporter commented 9 years ago 
As of r111, does not apply anymore.

Original comment by nhat.min...@gmail.com on 18 Apr 2011 at 1:48