search

pashapm / cofoja

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

=> operator in @Invariant clause gives an "illegal start of expression in contract #35

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?

@Invariant ({
    "true && true",
    "true => true"    
})

What is the expected output? What do you see instead?

the second line "true => true" gives an "illegal start of expression in contract

What version of the product are you using? On what operating system?
cofoja-1.0-r139.jar on Windows 7 with JDK 1.6

Original issue reported on code.google.com by eric.faf...@gmail.com on 16 Jul 2012 at 11:39

GoogleCodeExporter commented 9 years ago 
Catching up after a year of absence; cleaning up bug database.

The => operator has been removed early after the release of Cofoja due to 
concerns it might conflict with future standardization of Java (e.g., for 
lambdas).

Original comment by nhat.min...@gmail.com on 30 Apr 2013 at 9:42