How to write assertion of type A implies B?

What steps will reproduce the problem?
1. In a contract I need to mention that @Ensures("isEmpty() implies result== 
null")
2. how can I write such type of assertion A implies B in cofoja.
3. 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?

Original issue reported on code.google.com by sagarf...@gmail.com on 8 Aug 2011 at 4:49

Merged into: #32

Attachments:

Input2.java

pashapm / cofoja

How to write assertion of type A implies B? #31