search

bbbloyyer / scj-jsr302

Automatically exported from code.google.com/p/scj-jsr302
0 stars 0 forks source link

primitive variable assignment #83

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 

We now get a following set of errors :

testsuite/src/scope/level2/SubMissionSequencer.java:24: Cannot assign 
expression in scope primitive to variable in scope IMMORTAL.
                initialized = finalized = false;
                                        ^
This is caused by the problem when handling the primitive variables.

Dan: I guess you are already hunting this bug.
Just try to verify the testsuite/src/scope/level2 example, if will show you 
these types of errors.

To reproduce the bug:
./localbin/javac -proc:only -cp 
lib/scj.jar:lib/scj-checker.jar:./testsuite/build -processor 
checkers.SCJChecker testsuite/src/scope/level2//CleanupMission.java 
testsuite/src/scope/level2//MainMissionSequencer.java 
testsuite/src/scope/level2//MyCleanupThread.java 
testsuite/src/scope/level2//MyPeriodicEventHandler.java 
testsuite/src/scope/level2//PrimaryMission.java 
testsuite/src/scope/level2//StageOneMission.java 
testsuite/src/scope/level2//StageTwoMission.java 
testsuite/src/scope/level2//SubMissionSequencer.java

Original issue reported on code.google.com by apl...@gmail.com on 23 Mar 2011 at 8:39

GoogleCodeExporter commented 8 years ago 
Fixed in revision d634f42cf38f

Original comment by dan.y.t...@gmail.com on 28 Mar 2011 at 2:26