search

nhatminhle / cofoja

Contracts for Java
GNU Lesser General Public License v3.0
151 stars 18 forks source link

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

Closed nhatminhle closed 9 years ago

nhatminhle commented 9 years ago

From eric.faf...@gmail.com on July 16, 2012 04:39:57

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: http://code.google.com/p/cofoja/issues/detail?id=35

nhatminhle commented 9 years ago

From nhat.min...@gmail.com on April 30, 2013 02:42:39

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).

Status: WontFix