How to write assertion of type A implies B?

From sagarf...@gmail.com on August 07, 2011 21:49:54

What steps will reproduce the problem? 1. In a contract I need to mention that @Ensures("isEmpty() implies result== null")

how can I write such type of assertion A implies B in cofoja.
Which is latest jar file of cofoja? What is the expected output? What do you see instead? Getting error for "implies" keyword What version of the product are you using? On what operating system? cofoja-current.jar, vista os. Please provide any additional information below. Is there any tutorial or details available about different types of conditions (pre/post) i.e assertions that we can write using cofoja?

Attachment: Input2.java

nhatminhle / cofoja