have linear-type-safe source codes of mp3decoder
authoryeom <yeom>
Wed, 17 Aug 2011 03:13:36 +0000 (03:13 +0000)
committeryeom <yeom>
Wed, 17 Aug 2011 03:13:36 +0000 (03:13 +0000)
commit0f0eb4c886837a58b30f5a6484c0fa036a62d9e2
tree95176e7e7f8125265942d8329487c83dc3aec2fc
parent49f02b081d717c559f3739344164214fef287fb0
have linear-type-safe source codes of mp3decoder
14 files changed:
Robust/src/Analysis/SSJava/LinearTypeCheck.java
Robust/src/Analysis/SSJava/MethodAnnotationCheck.java
Robust/src/Analysis/SSJava/SSJavaAnalysis.java
Robust/src/ClassLibrary/SSJava/String.java
Robust/src/Tests/ssJava/mp3decoder/BitStreamWrapper.java [deleted file]
Robust/src/Tests/ssJava/mp3decoder/BitstreamWrapper.java [new file with mode: 0644]
Robust/src/Tests/ssJava/mp3decoder/Decoder.java
Robust/src/Tests/ssJava/mp3decoder/LayerIIIDecoder.java
Robust/src/Tests/ssJava/mp3decoder/MP3Player.java
Robust/src/Tests/ssJava/mp3decoder/OutputChannels.java
Robust/src/Tests/ssJava/mp3decoder/Player.java
Robust/src/Tests/ssJava/mp3decoder/SampleBufferWrapper.java [new file with mode: 0644]
Robust/src/Tests/ssJava/mp3decoder/SynthesisFilter.java
Robust/src/Tests/ssJava/mp3decoder/huffcodetab.java