Closed nhatminhle closed 10 years ago
From nhat.min...@gmail.com on February 17, 2011 11:14:10
Does Main.java contain contract annotations? If so and you don't see Main.contracts, then this is a bug indeed. As for other classes, .contracts files won't be generated for them since they are not processed for annotations by javac; that's a javac behavior and is not specific to Cofoja. The javac manual states:
"To compile a set of source files, the compiler may need to implicitly load additional source files. [...] Such files are currently not subject to annotation processing."
From nhat.min...@gmail.com on May 20, 2011 09:11:03
Closing old ticket with no follow-up from OP.
Status: Invalid
From arxoc...@gmail.com on February 17, 2011 08:00:45
What steps will reproduce the problem? 1. javac -cp ccofoja-1.0-20110213.jar MyPackage/Main.java 2. 3. What is the expected output? What do you see instead? I expect the .contract files along with the .class files. I see only the .class files. Note: In the above example Main uses other classes in MyPackage and they get compiled as well. What version of the product are you using? On what operating system? ccofoja-1.0-20110213 on Ubuntu 10.10 Please provide any additional information below.
Original issue: http://code.google.com/p/cofoja/issues/detail?id=14