projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d652086) | patch
having a new check that verifies the single reference constraint: only allows a singl...
authoryeom <yeom>
Mon, 23 May 2011 19:40:03 +0000 (19:40 +0000)
committeryeom <yeom>
Mon, 23 May 2011 19:40:03 +0000 (19:40 +0000)
commite829e3236610feee79d556f46bcba3ed757f2f7c
treef0aadebd0628297b4ecb88609aba5d4b8252727ftree | snapshot
parentd652086ece80e8083f30aab3e48346b87bf3ff9ecommit | diff
having a new check that verifies the single reference constraint: only allows a single reference, not aliases. The reference location must be destroyed after a variable or field is read. plus, changes on ssjava class library and test cases according to new checking.
Robust/src/Analysis/SSJava/SSJavaAnalysis.java diff | blob | history
Robust/src/Analysis/SSJava/SingleReferenceCheck.java [new file with mode: 0644] blob
Robust/src/ClassLibrary/SSJava/String.java diff | blob | history
Robust/src/Tests/ssJava/flowdown/test.java diff | blob | history
Irvine Research Compiler