start revising the linear type checking
authoryeom <yeom>
Fri, 5 Aug 2011 01:52:32 +0000 (01:52 +0000)
committeryeom <yeom>
Fri, 5 Aug 2011 01:52:32 +0000 (01:52 +0000)
commitfaec8b68c68e7cfe8d69a4783dd1e74567dbef44
tree1312203abd62b56ebd4af785adfce75cc834a3e4
parentac2a4b6d9806a9fdbc13b34b19b184d7dbcb5e61
start revising the linear type checking
Robust/src/Analysis/SSJava/LinearTypeCheck.java [new file with mode: 0644]
Robust/src/Analysis/SSJava/MethodAnnotationCheck.java
Robust/src/Analysis/SSJava/SSJavaAnalysis.java
Robust/src/Analysis/SSJava/SingleReferenceCheck.java [deleted file]
Robust/src/Tests/ssJava/mp3decoder/Decoder.java
Robust/src/Tests/ssJava/mp3decoder/Header.java
Robust/src/Tests/ssJava/mp3decoder/LayerIDecoder.java
Robust/src/Tests/ssJava/mp3decoder/Player.java