projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add PCLOC annotations. all three benchmarks are type-checked now.
[IRC.git]
/
Robust
/
src
/
Benchmarks
/
SSJava
/
MP3Decoder
/
SideInfoBuffer.java
diff --git
a/Robust/src/Benchmarks/SSJava/MP3Decoder/SideInfoBuffer.java
b/Robust/src/Benchmarks/SSJava/MP3Decoder/SideInfoBuffer.java
index 6fef3fcf0ab5ef96a1ba1753042c4222d619b3ab..de4a54dd12926008ead0f687b50fd29b5f0def33 100644
(file)
--- a/
Robust/src/Benchmarks/SSJava/MP3Decoder/SideInfoBuffer.java
+++ b/
Robust/src/Benchmarks/SSJava/MP3Decoder/SideInfoBuffer.java
@@
-42,7
+42,8
@@
public class SideInfoBuffer {
0x000000FF, 0x000001FF, 0x000003FF, 0x000007FF, 0x00000FFF, 0x00001FFF, 0x00003FFF,
0x00007FFF, 0x0000FFFF, 0x0001FFFF };
0x000000FF, 0x000001FF, 0x000003FF, 0x000007FF, 0x00000FFF, 0x00001FFF, 0x00003FFF,
0x00007FFF, 0x0000FFFF, 0x0001FFFF };
- @LATTICE("OUT<THIS,THIS<IN,OUT*,THISLOC=THIS,RETURNLOC=OUT")
+ @LATTICE("OUT<THIS,THIS<P,P<IN,OUT*,THISLOC=THIS,RETURNLOC=OUT")
+ @PCLOC("P")
public int get_bits(@LOC("IN") int number_of_bits) {
@LOC("OUT") int returnvalue = 0;
@LOC("THIS,SideInfoBuffer.IDX") int sum = bitindex + number_of_bits;
public int get_bits(@LOC("IN") int number_of_bits) {
@LOC("OUT") int returnvalue = 0;
@LOC("THIS,SideInfoBuffer.IDX") int sum = bitindex + number_of_bits;