reformat benchmark source codes to meet the requirements of the annotation generation.
authoryeom <yeom>
Mon, 13 Aug 2012 02:07:08 +0000 (02:07 +0000)
committeryeom <yeom>
Mon, 13 Aug 2012 02:07:08 +0000 (02:07 +0000)
commit70aff04c5bb5a7b5f5693a72a29a1abf97004e8d
tree953b7e7d80dd8e948f79393662984eafb39f0bf8
parent7a0d4aea90f5e090be8341e7ab4a8d5e33c788f5
reformat benchmark source codes to meet the requirements of the annotation generation.
67 files changed:
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/BitReserve.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Bitstream.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/BitstreamErrors.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/BitstreamException.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Crc16.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/DataParse.java [deleted file]
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Decoder.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/DecoderErrors.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/DecoderException.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Equalizer.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/FrameDecoder.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Header.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/HuffData.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/InputStreamSource.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerError.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerErrors.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerException.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerHook.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/JavaLayerUtils.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/LATTICE.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/LayerIDecoder.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/LayerIIDecoder.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/LayerIIIDecoder.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/METHODDEFAULT.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Manager.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Obuffer.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/OutputChannels.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Player.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/SampleBuffer.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/SampleBufferWrapper.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/SideInfoBuffer.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Source.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/Subband.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/SynthesisFilter.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/huffcodetab.java
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/infer/makefile [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/BufferedInputStream.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/ByteArrayInputStream.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/Character.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/Cloneable.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/Double.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/Enumeration.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/Exception.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/File.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/FileDescriptor.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/FileInputStream.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/FileOutputStream.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/FilterInputStream.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/FilterOutputStream.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/Float.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/IOException.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/InputStream.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/Integer.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/Long.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/Math.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/Number.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/Object.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/OutputStream.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/PrintStream.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/PushbackInputStream.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/Random.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/SSJAVA.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/String.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/StringBuffer.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/System.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/Throwable.java [new file with mode: 0644]
Robust/src/ClassLibrary/SSJavaInfer/Vector.java [new file with mode: 0644]