-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathbbuffer
More file actions
6535 lines (6529 loc) · 461 KB
/
bbuffer
File metadata and controls
6535 lines (6529 loc) · 461 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
Buildfile: /home/lpxz/eclipse/workspacePA_icse/predict-inst/run-instrument.xml
run-once:
[java] ****************************************************
[java] * Loading and configuring SOOT for instrumentation *
[java] ****************************************************
[java] *********************************
[java] * Finished loading Soot [1.02s] *
[java] *********************************
[java] **************************************************************
[java] * Instrumenting all necessary classes... *
[java] * this may take a while as necessary libraries are pulled in *
[java] **************************************************************
[java] [Call Graph] For information on where the call graph may be incomplete, use the verbose option to the cg phase.
[java] [Spark] Pointer Assignment Graph in 0.0 seconds.
[java] [Spark] Type masks in 0.0 seconds.
[java] [Spark] Pointer Graph simplified in 0.0 seconds.
[java] [Spark] Propagation in 1.0 seconds.
[java] [Spark] Solution found in 1.0 seconds.
[java] [local-objects] Analyzing local objects for boundedbuffer.Consumer
[java] [local-objects] preparing class Fri Aug 29 01:26:12 EDT 2014
[java] [local-objects] analyzing class Fri Aug 29 01:26:12 EDT 2014
[java] [local-objects] propagating over call graph Fri Aug 29 01:26:12 EDT 2014
[java] [local-objects] finished at Fri Aug 29 01:26:12 EDT 2014
[java] [local-objects] (#analyzed/#encountered): 10/10
[java] [local-objects] Analyzing local objects for boundedbuffer.Producer
[java] [local-objects] preparing class Fri Aug 29 01:26:12 EDT 2014
[java] [local-objects] analyzing class Fri Aug 29 01:26:12 EDT 2014
[java] [local-objects] propagating over call graph Fri Aug 29 01:26:12 EDT 2014
[java] [local-objects] finished at Fri Aug 29 01:26:12 EDT 2014
[java] [local-objects] (#analyzed/#encountered): 15/15
[java] [local-objects] Analyzing local objects for boundedbuffer.BoundedBuffer
[java] [local-objects] preparing class Fri Aug 29 01:26:12 EDT 2014
[java] [local-objects] analyzing class Fri Aug 29 01:26:12 EDT 2014
[java] [local-objects] propagating over call graph Fri Aug 29 01:26:12 EDT 2014
[java] [local-objects] finished at Fri Aug 29 01:26:12 EDT 2014
[java] [local-objects] (#analyzed/#encountered): 71/71
[java] Transforming boundedbuffer.BoundedBuffer...
[java] Transforming boundedbuffer.Buffer...
[java] Transforming boundedbuffer.BoundedBuffer$PCThreads...
[java] Transforming boundedbuffer.Consumer...
[java] Transforming boundedbuffer.Producer...
[java] Writing to /home/lpxz/eclipse/workspacePA_icse/predict-inst/tmp/record/boundedbuffer/BoundedBuffer.class
[java] Writing to /home/lpxz/eclipse/workspacePA_icse/predict-inst/tmp/record/boundedbuffer/Buffer.class
[java] Writing to /home/lpxz/eclipse/workspacePA_icse/predict-inst/tmp/record/boundedbuffer/BoundedBuffer$PCThreads.class
[java] Writing to /home/lpxz/eclipse/workspacePA_icse/predict-inst/tmp/record/boundedbuffer/Consumer.class
[java] Writing to /home/lpxz/eclipse/workspacePA_icse/predict-inst/tmp/record/boundedbuffer/Producer.class
[java] **********************************
[java] * Finished Instrumenting [4.129s] *
[java] **********************************
[java]
[java] **********************************
[java] * [6] <boundedbuffer.BoundedBuffer: int _averageC> *
[java] * [10] <boundedbuffer.BoundedBuffer: int _defaultC> *
[java] * [2] <boundedbuffer.BoundedBuffer: int _finish> *
[java] * [21] <boundedbuffer.Buffer: int _CAPACITY> *
[java] * [4] <boundedbuffer.BoundedBuffer: int _littleC> *
[java] * [25] <boundedbuffer.Buffer: int _last> *
[java] * [26] <boundedbuffer.Buffer: java.lang.Object[] _bufArr> *
[java] * [13] <boundedbuffer.BoundedBuffer: boundedbuffer.Buffer _myBuffer> *
[java] * [8] <boundedbuffer.BoundedBuffer: int _lotC> *
[java] * [7] <boundedbuffer.BoundedBuffer: int _lotP> *
[java] * [23] <boundedbuffer.Buffer: boolean _consoleOut> *
[java] * [3] <boundedbuffer.BoundedBuffer: int _littleP> *
[java] * [22] <boundedbuffer.Buffer: int _BUFSIZE> *
[java] * [5] <boundedbuffer.BoundedBuffer: int _averageP> *
[java] * [24] <boundedbuffer.Buffer: int _first> *
[java] * [19] <boundedbuffer.BoundedBuffer: java.lang.String _tuple> *
[java] * [20] <boundedbuffer.Buffer: boolean _active> *
[java] * [12] <boundedbuffer.BoundedBuffer: int _consPriority> *
[java] * [9] <boundedbuffer.BoundedBuffer: int _defaultP> *
[java] * [1] <boundedbuffer.BoundedBuffer: int _ITEMS_PRODUCED> *
[java] * [11] <boundedbuffer.BoundedBuffer: int _prodPriority> *
[java] **********************************
[java]
[stopwatch] [timer: 8.681 sec]
[echo] run: 8.681 sec
BUILD SUCCESSFUL
Total time: 9 seconds
Buildfile: /home/lpxz/eclipse/workspacePA_icse/predict-record/run-record.xml
run-once:
[java]
[java]
[java]
[java] <BoundedBuffer,Programs succesfuly excecuted,none>
[stopwatch] [timer: 1.861 sec]
[echo] run: 1.861 sec
BUILD SUCCESSFUL
Total time: 2 seconds
Buildfile: /home/lpxz/eclipse/workspacePA_icse/predict-engine/run-rv-predict.xml
run-once:
[java] unexplored paths are enabled
[java] 1 1ID:1 .1 10 WRITE | int <boundedbuffer.BoundedBuffer: int _ITEMS_PRODUCED>=10
[java] 2 1ID:2 .2 0 WRITE | int <boundedbuffer.BoundedBuffer: int _finish>=0
[java] 3 1ID:3 .3 2 WRITE | int <boundedbuffer.BoundedBuffer: int _littleP>=2
[java] 4 1ID:4 .4 1 WRITE | int <boundedbuffer.BoundedBuffer: int _littleC>=1
[java] 5 1ID:5 .5 16 WRITE | int <boundedbuffer.BoundedBuffer: int _averageP>=16
[java] 6 1ID:6 .6 8 WRITE | int <boundedbuffer.BoundedBuffer: int _averageC>=8
[java] 7 1ID:7 .7 32 WRITE | int <boundedbuffer.BoundedBuffer: int _lotP>=32
[java] 8 1ID:8 .8 16 WRITE | int <boundedbuffer.BoundedBuffer: int _lotC>=16
[java] 9 1ID:10 .9 2 WRITE | int <boundedbuffer.BoundedBuffer: int _defaultP>=$i0
[java] 10 1ID:12 .10 1 WRITE | int <boundedbuffer.BoundedBuffer: int _defaultC>=$i1
[java] 11 1ID:13 .11 10 WRITE | int <boundedbuffer.BoundedBuffer: int _prodPriority>=10
[java] 12 1ID:14 .12 1 WRITE | int <boundedbuffer.BoundedBuffer: int _consPriority>=1
[java] 13 1ID:147 .20 1 WRITE | int <boundedbuffer.Buffer: boolean _active>=1
[java] 14 1ID:148 526060285.21 3 WRITE | int r0.<boundedbuffer.Buffer: int _CAPACITY>=3
[java] 15 1ID:150 4 ASSIGNMENT | int $i2=$i1+1
[java] 16 1ID:151 526060285.22 4 WRITE | int r0.<boundedbuffer.Buffer: int _BUFSIZE>=$i2
[java] 17 1ID:152 526060285.23 1 WRITE | int r0.<boundedbuffer.Buffer: boolean _consoleOut>=1
[java] 18 1ID:153 0 ASSIGNMENT | int $b0=0
[java] 19 1ID:154 526060285.24 0 WRITE | int r0.<boundedbuffer.Buffer: int _first>=$b0
[java] 20 1ID:155 526060285.25 0 WRITE | int r0.<boundedbuffer.Buffer: int _last>=$b0
[java] 21 1ID:158 526060285_.26 684754483_ WRITE | java.lang.Object[] r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>=$r1
[java] 22 1ID:-1 1 BRANCH | nullnullnull
[java] 23 1ID:157 684754483 ASSIGNMENT | java.lang.Object[] $r1=null
[java] 24 1ID:15 526060285 ASSIGNMENT | boundedbuffer.Buffer $r0=null
[java] 25 1ID:16 _.13 526060285_ WRITE | boundedbuffer.Buffer <boundedbuffer.BoundedBuffer: boundedbuffer.Buffer _myBuffer>=$r0
[java] 26 1ID:-1 1 BRANCH | nullnullnull
[java] 27 1ID:18 1614281502_0 2068291563_ WRITE | java.lang.String r1[0]="output.txt"
[java] 28 1ID:17 1614281502 ASSIGNMENT | java.lang.String[] r1=null
[java] 29 1ID:19 1614281502_1 458505352_ WRITE | java.lang.String r1[1]="1"
[java] 30 1ID:20 928125628 ASSIGNMENT | boundedbuffer.BoundedBuffer $r2=null
[java] 31 1ID:21 1614281502 ASSIGNMENT | java.lang.String[] ARG0=r1
[java] 32 1ID:22 1614281502 ASSIGNMENT | java.lang.String[] valueLocal_40=r1
[java] 33 1ID:21 1614281502 ASSIGNMENT | java.lang.String[] r1=ARG0
[java] 34 1ID:25 0 ASSIGNMENT | int z0=0
[java] 35 1ID:26 1614281502_1 458505352_ READ | java.lang.String $r5=r1[1]
[java] 36 1ID:27 458505352 ASSIGNMENT | java.lang.String ARG0=$r5
[java] 37 1ID:85 458505352 ASSIGNMENT | java.lang.String valueLocal_10=r0
[java] 38 1ID:27 458505352 ASSIGNMENT | java.lang.String r0=ARG0
[java] 39 1ID:86 1833701635 ASSIGNMENT | java.lang.String ARG0="little"
[java] 40 1ID:86 0 ASSIGNMENT | int $z0=RET
[java] 41 1ID:87 458505352 ASSIGNMENT | java.lang.String ARG0="1"
[java] 42 1ID:87 1 ASSIGNMENT | int $z1=RET
[java] 43 1ID:27 1 ASSIGNMENT | int RET=1
[java] 44 1ID:27 1 ASSIGNMENT | int i3=RET
[java] 45 1ID:50 1 ASSIGNMENT | int ARG0=i3
[java] 46 1ID:50 1 ASSIGNMENT | int i0=ARG0
[java] 47 1ID:52 _.13 526060285_ READ | boundedbuffer.Buffer $r2=<boundedbuffer.BoundedBuffer: boundedbuffer.Buffer _myBuffer>
[java] 48 1ID:-1 1 BRANCH | nullnullnull
[java] 49 1ID:53 1 ASSIGNMENT | int ARG0=i3
[java] 50 1ID:53 526060285 ASSIGNMENT | boundedbuffer.Buffer ARG1=$r2
[java] 51 1ID:53 1 ASSIGNMENT | int i0=ARG0
[java] 52 1ID:242 526060285 ASSIGNMENT | boundedbuffer.Buffer valueLocal_38=r1
[java] 53 1ID:53 526060285 ASSIGNMENT | boundedbuffer.Buffer r1=ARG1
[java] 54 1ID:138 .3 2 READ | int $i0=<boundedbuffer.BoundedBuffer: int _littleP>
[java] 55 1ID:243 2 ASSIGNMENT | int RET=$i0
[java] 56 1ID:243 2 ASSIGNMENT | int $i1=RET
[java] 57 1ID:244 391717236.17 2 WRITE | int r0.<boundedbuffer.BoundedBuffer$PCThreads: int numOfProducers>=$i1
[java] 58 1ID:139 .4 1 READ | int $i0=<boundedbuffer.BoundedBuffer: int _littleC>
[java] 59 1ID:245 1 ASSIGNMENT | int RET=$i0
[java] 60 1ID:245 1 ASSIGNMENT | int $i3=RET
[java] 61 1ID:246 391717236.16 1 WRITE | int r0.<boundedbuffer.BoundedBuffer$PCThreads: int numOfConsumers>=$i3
[java] 62 1ID:257 391717236_.30 1554207397_ WRITE | java.lang.Thread[] r0.<boundedbuffer.BoundedBuffer$PCThreads: java.lang.Thread[] threadProducer>=$r5
[java] 63 1ID:-1 1 BRANCH | nullnullnull
[java] 64 1ID:256 1554207397 ASSIGNMENT | java.lang.Thread[] $r5=null
[java] 65 1ID:260 391717236_.31 1720122918_ WRITE | java.lang.Thread[] r0.<boundedbuffer.BoundedBuffer$PCThreads: java.lang.Thread[] threadConsumer>=$r6
[java] 66 1ID:-1 1 BRANCH | nullnullnull
[java] 67 1ID:259 1720122918 ASSIGNMENT | java.lang.Thread[] $r6=null
[java] 68 1ID:261 0 ASSIGNMENT | int i2=0
[java] 69 1ID:265 2078955121 ASSIGNMENT | java.lang.StringBuilder $r4=null
[java] 70 1ID:266 0 ASSIGNMENT | int ARG0=i2
[java] 71 1ID:266 1439781957 ASSIGNMENT | java.lang.String $r8=RET
[java] 72 1ID:267 526060285 ASSIGNMENT | boundedbuffer.Buffer ARG0=r1
[java] 73 1ID:267 569616903 ASSIGNMENT | java.lang.String ARG1=$r10
[java] 74 1ID:342 526060285 ASSIGNMENT | boundedbuffer.Buffer valueLocal_3=r1
[java] 75 1ID:267 526060285 ASSIGNMENT | boundedbuffer.Buffer r1=ARG0
[java] 76 1ID:343 569616903 ASSIGNMENT | java.lang.String valueLocal_4=r2
[java] 77 1ID:267 569616903 ASSIGNMENT | java.lang.String r2=ARG1
[java] 78 1ID:344 69190395_.42 526060285_ WRITE | boundedbuffer.Buffer r0.<boundedbuffer.Producer: boundedbuffer.Buffer buffer>=r1
[java] 79 1ID:-1 1 BRANCH | nullnullnull
[java] 80 1ID:345 69190395_.43 569616903_ WRITE | java.lang.String r0.<boundedbuffer.Producer: java.lang.String name>=r2
[java] 81 1ID:-1 1 BRANCH | nullnullnull
[java] 82 1ID:264 69190395 ASSIGNMENT | boundedbuffer.Producer $r3=null
[java] 83 1ID:268 69190395 ASSIGNMENT | boundedbuffer.Producer ARG0=$r3
[java] 84 1ID:263 1094315738 ASSIGNMENT | java.lang.Thread $r2=null
[java] 85 1ID:269 1554207397_0 1094315738_ WRITE | java.lang.Thread $r7[i2]=$r2
[java] 86 1ID:144 .11 10 READ | int $i0=<boundedbuffer.BoundedBuffer: int _prodPriority>
[java] 87 1ID:272 10 ASSIGNMENT | int RET=$i0
[java] 88 1ID:272 10 ASSIGNMENT | int $i10=RET
[java] 89 1ID:273 10 ASSIGNMENT | int ARG0=$i10
[java] 90 1ID:274 1 ASSIGNMENT | int i2=i2+1
[java] 91 1ID:265 1114655658 ASSIGNMENT | java.lang.StringBuilder $r4=null
[java] 92 1ID:266 1 ASSIGNMENT | int ARG0=i2
[java] 93 1ID:266 1517791225 ASSIGNMENT | java.lang.String $r8=RET
[java] 94 1ID:267 526060285 ASSIGNMENT | boundedbuffer.Buffer ARG0=r1
[java] 95 1ID:267 1706359509 ASSIGNMENT | java.lang.String ARG1=$r10
[java] 96 1ID:342 526060285 ASSIGNMENT | boundedbuffer.Buffer valueLocal_3=r1
[java] 97 1ID:267 526060285 ASSIGNMENT | boundedbuffer.Buffer r1=ARG0
[java] 98 1ID:343 1706359509 ASSIGNMENT | java.lang.String valueLocal_4=r2
[java] 99 1ID:267 1706359509 ASSIGNMENT | java.lang.String r2=ARG1
[java] 100 1ID:344 1268989256_.42 526060285_ WRITE | boundedbuffer.Buffer r0.<boundedbuffer.Producer: boundedbuffer.Buffer buffer>=r1
[java] 101 1ID:-1 1 BRANCH | nullnullnull
[java] 102 1ID:345 1268989256_.43 1706359509_ WRITE | java.lang.String r0.<boundedbuffer.Producer: java.lang.String name>=r2
[java] 103 1ID:-1 1 BRANCH | nullnullnull
[java] 104 1ID:264 1268989256 ASSIGNMENT | boundedbuffer.Producer $r3=null
[java] 105 1ID:268 1268989256 ASSIGNMENT | boundedbuffer.Producer ARG0=$r3
[java] 106 1ID:263 1242327235 ASSIGNMENT | java.lang.Thread $r2=null
[java] 107 1ID:269 1554207397_1 1242327235_ WRITE | java.lang.Thread $r7[i2]=$r2
[java] 108 1ID:144 .11 10 READ | int $i0=<boundedbuffer.BoundedBuffer: int _prodPriority>
[java] 109 1ID:272 10 ASSIGNMENT | int RET=$i0
[java] 110 1ID:272 10 ASSIGNMENT | int $i10=RET
[java] 111 1ID:273 10 ASSIGNMENT | int ARG0=$i10
[java] 112 1ID:274 2 ASSIGNMENT | int i2=i2+1
[java] 113 1ID:276 0 ASSIGNMENT | int i12=0
[java] 114 1ID:280 1378503043 ASSIGNMENT | java.lang.StringBuilder $r16=null
[java] 115 1ID:281 0 ASSIGNMENT | int ARG0=i12
[java] 116 1ID:281 1447059865 ASSIGNMENT | java.lang.String $r17=RET
[java] 117 1ID:282 526060285 ASSIGNMENT | boundedbuffer.Buffer ARG0=r1
[java] 118 1ID:282 482848780 ASSIGNMENT | java.lang.String ARG1=$r19
[java] 119 1ID:311 526060285 ASSIGNMENT | boundedbuffer.Buffer valueLocal_3=r1
[java] 120 1ID:282 526060285 ASSIGNMENT | boundedbuffer.Buffer r1=ARG0
[java] 121 1ID:312 482848780 ASSIGNMENT | java.lang.String valueLocal_4=r2
[java] 122 1ID:282 482848780 ASSIGNMENT | java.lang.String r2=ARG1
[java] 123 1ID:313 2046227094_.39 526060285_ WRITE | boundedbuffer.Buffer r0.<boundedbuffer.Consumer: boundedbuffer.Buffer buffer>=r1
[java] 124 1ID:-1 1 BRANCH | nullnullnull
[java] 125 1ID:314 2046227094_.40 482848780_ WRITE | java.lang.String r0.<boundedbuffer.Consumer: java.lang.String name>=r2
[java] 126 1ID:-1 1 BRANCH | nullnullnull
[java] 127 1ID:279 2046227094 ASSIGNMENT | boundedbuffer.Consumer $r15=null
[java] 128 1ID:283 2046227094 ASSIGNMENT | boundedbuffer.Consumer ARG0=$r15
[java] 129 1ID:278 1135645800 ASSIGNMENT | java.lang.Thread $r14=null
[java] 130 1ID:284 1720122918_0 1135645800_ WRITE | java.lang.Thread $r13[i12]=$r14
[java] 131 1ID:145 .12 1 READ | int $i0=<boundedbuffer.BoundedBuffer: int _consPriority>
[java] 132 1ID:287 1 ASSIGNMENT | int RET=$i0
[java] 133 1ID:287 1 ASSIGNMENT | int $i13=RET
[java] 134 1ID:288 1 ASSIGNMENT | int ARG0=$i13
[java] 135 1ID:289 1 ASSIGNMENT | int i12=i12+1
[java] 136 1ID:51 391717236 ASSIGNMENT | boundedbuffer.BoundedBuffer$PCThreads $r15=null
[java] 137 1ID:54 391717236 ASSIGNMENT | boundedbuffer.BoundedBuffer$PCThreads r3=$r15
[java] 138 1ID:55 391717236.16 1 READ | int $i15=r3.<boundedbuffer.BoundedBuffer$PCThreads: int numOfConsumers>
[java] 139 1ID:56 391717236.17 2 READ | int $i16=r3.<boundedbuffer.BoundedBuffer$PCThreads: int numOfProducers>
[java] 140 1ID:57 3 ASSIGNMENT | int i0=$i15+$i16
[java] 141 1ID:291 0 ASSIGNMENT | int i0=0
[java] 142 1ID:292 0 ASSIGNMENT | int i1=0
[java] 143 1ID:146 _.13 526060285_ READ | boundedbuffer.Buffer $r0=<boundedbuffer.BoundedBuffer: boundedbuffer.Buffer _myBuffer>
[java] 144 1ID:-1 1 BRANCH | nullnullnull
[java] 145 1ID:293 526060285 ASSIGNMENT | boundedbuffer.Buffer RET=$r0
[java] 146 1ID:293 526060285 ASSIGNMENT | boundedbuffer.Buffer $r1=RET
[java] 147 1ID:309 391717236.17 2 READ | int $i6=r0.<boundedbuffer.BoundedBuffer$PCThreads: int numOfProducers>
[java] 148 1ID:294 391717236.17 2 READ | int $i2=r0.<boundedbuffer.BoundedBuffer$PCThreads: int numOfProducers>
[java] 149 1ID:295 391717236_.30 1554207397_ READ | java.lang.Thread[] $r2=r0.<boundedbuffer.BoundedBuffer$PCThreads: java.lang.Thread[] threadProducer>
[java] 150 1ID:-1 1 BRANCH | nullnullnull
[java] 151 1ID:-1 1 BRANCH | nullnullnull
[java] 152 1ID:296 1554207397_0 1094315738_ READ | java.lang.Thread $r3=$r2[i0]
[java] 153 1ID:297 12 START | nullnullnull
[java] 154 1ID:297 1094315738 LOCK | nullnullnull
[java] 155 1ID:297 1094315738 UNLOCK | nullnullnull
[java] 156 12ID:346 0 ASSIGNMENT | int i0=0
[java] 157 1ID:298 391717236.16 1 READ | int $i3=r0.<boundedbuffer.BoundedBuffer$PCThreads: int numOfConsumers>
[java] 158 1ID:299 391717236_.31 1720122918_ READ | java.lang.Thread[] $r4=r0.<boundedbuffer.BoundedBuffer$PCThreads: java.lang.Thread[] threadConsumer>
[java] 159 1ID:-1 1 BRANCH | nullnullnull
[java] 160 1ID:-1 1 BRANCH | nullnullnull
[java] 161 1ID:300 1720122918_0 1135645800_ READ | java.lang.Thread $r5=$r4[i1]
[java] 162 12ID:354 .1 10 READ | int $i1=<boundedbuffer.BoundedBuffer: int _ITEMS_PRODUCED>
[java] 163 1ID:301 14 START | nullnullnull
[java] 164 1ID:301 1135645800 LOCK | nullnullnull
[java] 165 12ID:355 1 BRANCH | i0<$i1
[java] 166 14ID:315 0 ASSIGNMENT | int i0=0
[java] 167 12ID:347 69190395_.42 526060285_ READ | boundedbuffer.Buffer $r4=r0.<boundedbuffer.Producer: boundedbuffer.Buffer buffer>
[java] 168 12ID:-1 1 BRANCH | nullnullnull
[java] 169 12ID:349 69190395_.43 569616903_ READ | java.lang.String $r5=r0.<boundedbuffer.Producer: java.lang.String name>
[java] 170 12ID:-1 1 BRANCH | nullnullnull
[java] 171 12ID:350 569616903 ASSIGNMENT | java.lang.String ARG0=$r5
[java] 172 12ID:350 569616903 ASSIGNMENT | java.lang.String $r6=RET
[java] 173 12ID:348 1306606930 ASSIGNMENT | java.lang.StringBuilder $r1=null
[java] 174 1ID:301 1135645800 UNLOCK | nullnullnull
[java] 175 12ID:351 0 ASSIGNMENT | int ARG0=i0
[java] 176 12ID:351 2122381935 ASSIGNMENT | java.lang.String $r8=RET
[java] 177 12ID:352 1169804875 ASSIGNMENT | java.lang.String ARG0=$r11
[java] 178 12ID:352 1169804875 ASSIGNMENT | java.lang.Object r1=ARG0
[java] 179 12ID:199 526060285 ASSIGNMENT | boundedbuffer.Buffer r3=r0
[java] 180 12ID:200 526060285 LOCK | nullnullnull
[java] 181 12ID:202 526060285.25 0 READ | int $i0=r0.<boundedbuffer.Buffer: int _last>
[java] 182 12ID:203 1 ASSIGNMENT | int $i1=$i0+1
[java] 183 12ID:204 526060285.22 4 READ | int $i2=r0.<boundedbuffer.Buffer: int _BUFSIZE>
[java] 184 12ID:205 1 ASSIGNMENT | int $i3=$i1%$i2
[java] 185 14ID:320 .1 10 READ | int $i1=<boundedbuffer.BoundedBuffer: int _ITEMS_PRODUCED>
[java] 186 12ID:206 526060285.24 0 READ | int $i4=r0.<boundedbuffer.Buffer: int _first>
[java] 187 12ID:207 0 BRANCH | $i3==$i4
[java] 188 12ID:208 526060285.23 1 READ | int $z0=r0.<boundedbuffer.Buffer: boolean _consoleOut>
[java] 189 12ID:209 0 BRANCH | $z0==0
[java] 190 12ID:174 526060285 ASSIGNMENT | boundedbuffer.Buffer r2=r0
[java] 191 12ID:175 526060285 LOCK | nullnullnull
[java] 192 12ID:176 526060285.24 0 READ | int i0=r0.<boundedbuffer.Buffer: int _first>
[java] 193 12ID:177 0 ASSIGNMENT | int z0=0
[java] 194 12ID:178 526060285.25 0 READ | int $i2=r0.<boundedbuffer.Buffer: int _last>
[java] 195 12ID:179 526060285.21 3 READ | int $i3=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 196 1ID:302 1 ASSIGNMENT | int i4=i0+1
[java] 197 12ID:180 1 BRANCH | $i2!=$i3
[java] 198 14ID:321 20 ASSIGNMENT | int $i2=$i1*2
[java] 199 14ID:322 1 BRANCH | i0<$i2
[java] 200 12ID:182 526060285.25 0 READ | int $i4=r0.<boundedbuffer.Buffer: int _last>
[java] 201 1ID:303 391717236.17 2 READ | int $i5=r0.<boundedbuffer.BoundedBuffer$PCThreads: int numOfProducers>
[java] 202 1ID:304 391717236_.30 1554207397_ READ | java.lang.Thread[] $r6=r0.<boundedbuffer.BoundedBuffer$PCThreads: java.lang.Thread[] threadProducer>
[java] 203 1ID:-1 1 BRANCH | nullnullnull
[java] 204 1ID:-1 1 BRANCH | nullnullnull
[java] 205 1ID:305 1554207397_1 1242327235_ READ | java.lang.Thread $r7=$r6[i4]
[java] 206 12ID:183 1 ASSIGNMENT | int i1=$i4+1
[java] 207 14ID:316 2046227094_.39 526060285_ READ | boundedbuffer.Buffer $r3=r0.<boundedbuffer.Consumer: boundedbuffer.Buffer buffer>
[java] 208 14ID:-1 1 BRANCH | nullnullnull
[java] 209 12ID:184 526060285.24 0 READ | int $i5=r0.<boundedbuffer.Buffer: int _first>
[java] 210 1ID:306 13 START | nullnullnull
[java] 211 1ID:306 1242327235 LOCK | nullnullnull
[java] 212 12ID:185 526060285.25 0 READ | int $i6=r0.<boundedbuffer.Buffer: int _last>
[java] 213 12ID:186 0 BRANCH | $i5!=$i6
[java] 214 14ID:317 2046227094_.40 482848780_ READ | java.lang.String $r4=r0.<boundedbuffer.Consumer: java.lang.String name>
[java] 215 14ID:-1 1 BRANCH | nullnullnull
[java] 216 14ID:318 482848780 ASSIGNMENT | java.lang.String ARG0=$r4
[java] 217 12ID:196 526060285 UNLOCK | nullnullnull
[java] 218 12ID:210 526060285_.26 684754483_ READ | java.lang.Object[] $r4=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 219 12ID:-1 1 BRANCH | nullnullnull
[java] 220 12ID:211 526060285.25 0 READ | int $i5=r0.<boundedbuffer.Buffer: int _last>
[java] 221 12ID:-1 1 BRANCH | nullnullnull
[java] 222 13ID:346 0 ASSIGNMENT | int i0=0
[java] 223 1ID:306 1242327235 UNLOCK | nullnullnull
[java] 224 13ID:354 .1 10 READ | int $i1=<boundedbuffer.BoundedBuffer: int _ITEMS_PRODUCED>
[java] 225 13ID:355 1 BRANCH | i0<$i1
[java] 226 12ID:212 684754483_0 1169804875_ WRITE | java.lang.Object $r4[$i5]=r1
[java] 227 14ID:318 482848780 ASSIGNMENT | java.lang.String r1=ARG0
[java] 228 12ID:213 .20 1 WRITE | int <boundedbuffer.Buffer: boolean _active>=1
[java] 229 12ID:214 526060285.25 0 READ | int $i6=r0.<boundedbuffer.Buffer: int _last>
[java] 230 12ID:215 1 ASSIGNMENT | int $i7=$i6+1
[java] 231 12ID:216 526060285.22 4 READ | int $i8=r0.<boundedbuffer.Buffer: int _BUFSIZE>
[java] 232 12ID:217 1 ASSIGNMENT | int $i9=$i7%$i8
[java] 233 12ID:218 526060285.25 1 WRITE | int r0.<boundedbuffer.Buffer: int _last>=$i9
[java] 234 12ID:219 526060285 NOTIFY | nullnullnull
[java] 235 12ID:220 526060285 UNLOCK | nullnullnull
[java] 236 12ID:353 1 ASSIGNMENT | int i0=i0+1
[java] 237 13ID:347 1268989256_.42 526060285_ READ | boundedbuffer.Buffer $r4=r0.<boundedbuffer.Producer: boundedbuffer.Buffer buffer>
[java] 238 13ID:-1 1 BRANCH | nullnullnull
[java] 239 13ID:349 1268989256_.43 1706359509_ READ | java.lang.String $r5=r0.<boundedbuffer.Producer: java.lang.String name>
[java] 240 13ID:-1 1 BRANCH | nullnullnull
[java] 241 13ID:350 1706359509 ASSIGNMENT | java.lang.String ARG0=$r5
[java] 242 13ID:350 1706359509 ASSIGNMENT | java.lang.String $r6=RET
[java] 243 13ID:348 1753620260 ASSIGNMENT | java.lang.StringBuilder $r1=null
[java] 244 13ID:351 0 ASSIGNMENT | int ARG0=i0
[java] 245 13ID:351 1030138392 ASSIGNMENT | java.lang.String $r8=RET
[java] 246 13ID:352 522792230 ASSIGNMENT | java.lang.String ARG0=$r11
[java] 247 1ID:307 2 ASSIGNMENT | int i0=i4+1
[java] 248 1ID:308 1 ASSIGNMENT | int i1=i1+1
[java] 249 1ID:309 391717236.17 2 READ | int $i6=r0.<boundedbuffer.BoundedBuffer$PCThreads: int numOfProducers>
[java] 250 1ID:310 391717236.16 1 READ | int $i7=r0.<boundedbuffer.BoundedBuffer$PCThreads: int numOfConsumers>
[java] 251 13ID:352 522792230 ASSIGNMENT | java.lang.Object r1=ARG0
[java] 252 13ID:199 526060285 ASSIGNMENT | boundedbuffer.Buffer r3=r0
[java] 253 13ID:200 526060285 LOCK | nullnullnull
[java] 254 12ID:354 .1 10 READ | int $i1=<boundedbuffer.BoundedBuffer: int _ITEMS_PRODUCED>
[java] 255 12ID:355 1 BRANCH | i0<$i1
[java] 256 12ID:347 69190395_.42 526060285_ READ | boundedbuffer.Buffer $r4=r0.<boundedbuffer.Producer: boundedbuffer.Buffer buffer>
[java] 257 12ID:-1 1 BRANCH | nullnullnull
[java] 258 12ID:349 69190395_.43 569616903_ READ | java.lang.String $r5=r0.<boundedbuffer.Producer: java.lang.String name>
[java] 259 12ID:-1 1 BRANCH | nullnullnull
[java] 260 12ID:350 569616903 ASSIGNMENT | java.lang.String ARG0=$r5
[java] 261 12ID:350 569616903 ASSIGNMENT | java.lang.String $r6=RET
[java] 262 12ID:348 1213409733 ASSIGNMENT | java.lang.StringBuilder $r1=null
[java] 263 12ID:351 1 ASSIGNMENT | int ARG0=i0
[java] 264 12ID:351 1272670619 ASSIGNMENT | java.lang.String $r8=RET
[java] 265 12ID:352 837969413 ASSIGNMENT | java.lang.String ARG0=$r11
[java] 266 12ID:352 837969413 ASSIGNMENT | java.lang.Object r1=ARG0
[java] 267 12ID:199 526060285 ASSIGNMENT | boundedbuffer.Buffer r3=r0
[java] 268 14ID:221 526060285 ASSIGNMENT | boundedbuffer.Buffer r3=r0
[java] 269 13ID:202 526060285.25 1 READ | int $i0=r0.<boundedbuffer.Buffer: int _last>
[java] 270 13ID:203 2 ASSIGNMENT | int $i1=$i0+1
[java] 271 1ID:58 3 ASSIGNMENT | int ARG0=i0
[java] 272 13ID:204 526060285.22 4 READ | int $i2=r0.<boundedbuffer.Buffer: int _BUFSIZE>
[java] 273 13ID:205 2 ASSIGNMENT | int $i3=$i1%$i2
[java] 274 1ID:58 3 ASSIGNMENT | int i0=ARG0
[java] 275 1ID:99 0 ASSIGNMENT | int z0=0
[java] 276 13ID:206 526060285.24 0 READ | int $i4=r0.<boundedbuffer.Buffer: int _first>
[java] 277 13ID:207 0 BRANCH | $i3==$i4
[java] 278 1ID:100 30 ASSIGNMENT | int b1=30
[java] 279 13ID:208 526060285.23 1 READ | int $z0=r0.<boundedbuffer.Buffer: boolean _consoleOut>
[java] 280 13ID:209 0 BRANCH | $z0==0
[java] 281 13ID:174 526060285 ASSIGNMENT | boundedbuffer.Buffer r2=r0
[java] 282 13ID:175 526060285 LOCK | nullnullnull
[java] 283 13ID:176 526060285.24 0 READ | int i0=r0.<boundedbuffer.Buffer: int _first>
[java] 284 13ID:177 0 ASSIGNMENT | int z0=0
[java] 285 13ID:178 526060285.25 1 READ | int $i2=r0.<boundedbuffer.Buffer: int _last>
[java] 286 1ID:111 _.13 526060285_ READ | boundedbuffer.Buffer $r4=<boundedbuffer.BoundedBuffer: boundedbuffer.Buffer _myBuffer>
[java] 287 1ID:-1 1 BRANCH | nullnullnull
[java] 288 1ID:198 .20 1 READ | int $z0=<boundedbuffer.Buffer: boolean _active>
[java] 289 1ID:112 1 ASSIGNMENT | int RET=$z0
[java] 290 1ID:112 1 ASSIGNMENT | int $z1=RET
[java] 291 1ID:113 1 BRANCH | $z1!=0
[java] 292 1ID:101 _.13 526060285_ READ | boundedbuffer.Buffer $r1=<boundedbuffer.BoundedBuffer: boundedbuffer.Buffer _myBuffer>
[java] 293 1ID:-1 1 BRANCH | nullnullnull
[java] 294 13ID:179 526060285.21 3 READ | int $i3=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 295 13ID:180 1 BRANCH | $i2!=$i3
[java] 296 1ID:197 .20 0 WRITE | int <boundedbuffer.Buffer: boolean _active>=0
[java] 297 13ID:182 526060285.25 1 READ | int $i4=r0.<boundedbuffer.Buffer: int _last>
[java] 298 13ID:183 2 ASSIGNMENT | int i1=$i4+1
[java] 299 1ID:102 0 ASSIGNMENT | int i2=0
[java] 300 13ID:184 526060285.24 0 READ | int $i5=r0.<boundedbuffer.Buffer: int _first>
[java] 301 1ID:103 .2 0 READ | int $i3=<boundedbuffer.BoundedBuffer: int _finish>
[java] 302 13ID:185 526060285.25 1 READ | int $i6=r0.<boundedbuffer.Buffer: int _last>
[java] 303 13ID:186 1 BRANCH | $i5!=$i6
[java] 304 1ID:104 0 BRANCH | $i3==i0
[java] 305 13ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 306 13ID:-1 1 BRANCH | nullnullnull
[java] 307 13ID:-1 1 BRANCH | nullnullnull
[java] 308 1ID:105 0 ASSIGNMENT | int $i4=i2
[java] 309 13ID:188 684754483_0 1169804875_ READ | java.lang.Object $r4=$r3[i0]
[java] 310 13ID:189 1 BRANCH | $r4!=null
[java] 311 13ID:190 1 ASSIGNMENT | int i0=i0+1
[java] 312 1ID:106 1 ASSIGNMENT | int i2=i2+1
[java] 313 1ID:107 1 BRANCH | $i4!=b1
[java] 314 13ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 315 13ID:192 1 BRANCH | i0<=$i7
[java] 316 13ID:195 1 BRANCH | i0!=i1
[java] 317 13ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 318 13ID:-1 1 BRANCH | nullnullnull
[java] 319 13ID:-1 1 BRANCH | nullnullnull
[java] 320 13ID:188 684754483_1 0_ READ | java.lang.Object $r4=$r3[i0]
[java] 321 13ID:189 0 BRANCH | $r4!=null
[java] 322 13ID:190 2 ASSIGNMENT | int i0=i0+1
[java] 323 13ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 324 13ID:192 1 BRANCH | i0<=$i7
[java] 325 13ID:195 0 BRANCH | i0!=i1
[java] 326 13ID:196 526060285 UNLOCK | nullnullnull
[java] 327 13ID:210 526060285_.26 684754483_ READ | java.lang.Object[] $r4=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 328 13ID:-1 1 BRANCH | nullnullnull
[java] 329 13ID:211 526060285.25 1 READ | int $i5=r0.<boundedbuffer.Buffer: int _last>
[java] 330 13ID:-1 1 BRANCH | nullnullnull
[java] 331 13ID:212 684754483_1 522792230_ WRITE | java.lang.Object $r4[$i5]=r1
[java] 332 13ID:213 .20 1 WRITE | int <boundedbuffer.Buffer: boolean _active>=1
[java] 333 13ID:214 526060285.25 1 READ | int $i6=r0.<boundedbuffer.Buffer: int _last>
[java] 334 13ID:215 2 ASSIGNMENT | int $i7=$i6+1
[java] 335 13ID:216 526060285.22 4 READ | int $i8=r0.<boundedbuffer.Buffer: int _BUFSIZE>
[java] 336 13ID:217 2 ASSIGNMENT | int $i9=$i7%$i8
[java] 337 13ID:218 526060285.25 2 WRITE | int r0.<boundedbuffer.Buffer: int _last>=$i9
[java] 338 13ID:219 526060285 NOTIFY | nullnullnull
[java] 339 13ID:220 526060285 UNLOCK | nullnullnull
[java] 340 13ID:353 1 ASSIGNMENT | int i0=i0+1
[java] 341 13ID:354 .1 10 READ | int $i1=<boundedbuffer.BoundedBuffer: int _ITEMS_PRODUCED>
[java] 342 13ID:355 1 BRANCH | i0<$i1
[java] 343 13ID:347 1268989256_.42 526060285_ READ | boundedbuffer.Buffer $r4=r0.<boundedbuffer.Producer: boundedbuffer.Buffer buffer>
[java] 344 13ID:-1 1 BRANCH | nullnullnull
[java] 345 13ID:349 1268989256_.43 1706359509_ READ | java.lang.String $r5=r0.<boundedbuffer.Producer: java.lang.String name>
[java] 346 13ID:-1 1 BRANCH | nullnullnull
[java] 347 13ID:350 1706359509 ASSIGNMENT | java.lang.String ARG0=$r5
[java] 348 13ID:350 1706359509 ASSIGNMENT | java.lang.String $r6=RET
[java] 349 13ID:348 655241875 ASSIGNMENT | java.lang.StringBuilder $r1=null
[java] 350 13ID:351 1 ASSIGNMENT | int ARG0=i0
[java] 351 13ID:351 354051309 ASSIGNMENT | java.lang.String $r8=RET
[java] 352 13ID:352 2010648173 ASSIGNMENT | java.lang.String ARG0=$r11
[java] 353 13ID:352 2010648173 ASSIGNMENT | java.lang.Object r1=ARG0
[java] 354 13ID:199 526060285 ASSIGNMENT | boundedbuffer.Buffer r3=r0
[java] 355 14ID:222 526060285 LOCK | nullnullnull
[java] 356 14ID:224 526060285.24 0 READ | int $i0=r0.<boundedbuffer.Buffer: int _first>
[java] 357 14ID:225 526060285.25 2 READ | int $i1=r0.<boundedbuffer.Buffer: int _last>
[java] 358 14ID:226 0 BRANCH | $i0==$i1
[java] 359 14ID:227 0 ASSIGNMENT | null_type n0=null
[java] 360 14ID:228 526060285_.26 684754483_ READ | java.lang.Object[] $r4=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 361 14ID:-1 1 BRANCH | nullnullnull
[java] 362 14ID:229 526060285.24 0 READ | int $i2=r0.<boundedbuffer.Buffer: int _first>
[java] 363 14ID:-1 1 BRANCH | nullnullnull
[java] 364 14ID:230 684754483_0 1169804875_ READ | java.lang.Object r5=$r4[$i2]
[java] 365 14ID:231 .20 1 WRITE | int <boundedbuffer.Buffer: boolean _active>=1
[java] 366 14ID:232 526060285.23 1 READ | int $z0=r0.<boundedbuffer.Buffer: boolean _consoleOut>
[java] 367 14ID:233 0 BRANCH | $z0==0
[java] 368 14ID:174 526060285 ASSIGNMENT | boundedbuffer.Buffer r2=r0
[java] 369 14ID:175 526060285 LOCK | nullnullnull
[java] 370 14ID:176 526060285.24 0 READ | int i0=r0.<boundedbuffer.Buffer: int _first>
[java] 371 14ID:177 0 ASSIGNMENT | int z0=0
[java] 372 14ID:178 526060285.25 2 READ | int $i2=r0.<boundedbuffer.Buffer: int _last>
[java] 373 14ID:179 526060285.21 3 READ | int $i3=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 374 14ID:180 1 BRANCH | $i2!=$i3
[java] 375 14ID:182 526060285.25 2 READ | int $i4=r0.<boundedbuffer.Buffer: int _last>
[java] 376 14ID:183 3 ASSIGNMENT | int i1=$i4+1
[java] 377 14ID:184 526060285.24 0 READ | int $i5=r0.<boundedbuffer.Buffer: int _first>
[java] 378 14ID:185 526060285.25 2 READ | int $i6=r0.<boundedbuffer.Buffer: int _last>
[java] 379 14ID:186 1 BRANCH | $i5!=$i6
[java] 380 14ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 381 14ID:-1 1 BRANCH | nullnullnull
[java] 382 14ID:-1 1 BRANCH | nullnullnull
[java] 383 14ID:188 684754483_0 1169804875_ READ | java.lang.Object $r4=$r3[i0]
[java] 384 14ID:189 1 BRANCH | $r4!=null
[java] 385 14ID:190 1 ASSIGNMENT | int i0=i0+1
[java] 386 14ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 387 14ID:192 1 BRANCH | i0<=$i7
[java] 388 14ID:195 1 BRANCH | i0!=i1
[java] 389 14ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 390 14ID:-1 1 BRANCH | nullnullnull
[java] 391 14ID:-1 1 BRANCH | nullnullnull
[java] 392 14ID:188 684754483_1 522792230_ READ | java.lang.Object $r4=$r3[i0]
[java] 393 14ID:189 1 BRANCH | $r4!=null
[java] 394 14ID:190 2 ASSIGNMENT | int i0=i0+1
[java] 395 14ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 396 14ID:192 1 BRANCH | i0<=$i7
[java] 397 14ID:195 1 BRANCH | i0!=i1
[java] 398 14ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 399 14ID:-1 1 BRANCH | nullnullnull
[java] 400 14ID:-1 1 BRANCH | nullnullnull
[java] 401 14ID:188 684754483_2 0_ READ | java.lang.Object $r4=$r3[i0]
[java] 402 14ID:189 0 BRANCH | $r4!=null
[java] 403 14ID:190 3 ASSIGNMENT | int i0=i0+1
[java] 404 14ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 405 14ID:192 1 BRANCH | i0<=$i7
[java] 406 14ID:195 0 BRANCH | i0!=i1
[java] 407 14ID:196 526060285 UNLOCK | nullnullnull
[java] 408 14ID:234 526060285.24 0 READ | int $i3=r0.<boundedbuffer.Buffer: int _first>
[java] 409 14ID:235 1 ASSIGNMENT | int $i4=$i3+1
[java] 410 14ID:236 526060285.22 4 READ | int $i5=r0.<boundedbuffer.Buffer: int _BUFSIZE>
[java] 411 14ID:237 1 ASSIGNMENT | int $i6=$i4%$i5
[java] 412 14ID:238 526060285.24 1 WRITE | int r0.<boundedbuffer.Buffer: int _first>=$i6
[java] 413 14ID:239 526060285 NOTIFY | nullnullnull
[java] 414 14ID:240 526060285 UNLOCK | nullnullnull
[java] 415 14ID:318 1169804875 ASSIGNMENT | java.lang.Object RET=r5
[java] 416 14ID:319 1 ASSIGNMENT | int i0=i0+1
[java] 417 14ID:320 .1 10 READ | int $i1=<boundedbuffer.BoundedBuffer: int _ITEMS_PRODUCED>
[java] 418 14ID:321 20 ASSIGNMENT | int $i2=$i1*2
[java] 419 14ID:322 1 BRANCH | i0<$i2
[java] 420 14ID:316 2046227094_.39 526060285_ READ | boundedbuffer.Buffer $r3=r0.<boundedbuffer.Consumer: boundedbuffer.Buffer buffer>
[java] 421 14ID:-1 1 BRANCH | nullnullnull
[java] 422 14ID:317 2046227094_.40 482848780_ READ | java.lang.String $r4=r0.<boundedbuffer.Consumer: java.lang.String name>
[java] 423 14ID:-1 1 BRANCH | nullnullnull
[java] 424 14ID:318 482848780 ASSIGNMENT | java.lang.String ARG0=$r4
[java] 425 12ID:200 526060285 LOCK | nullnullnull
[java] 426 14ID:318 482848780 ASSIGNMENT | java.lang.String r1=ARG0
[java] 427 14ID:221 526060285 ASSIGNMENT | boundedbuffer.Buffer r3=r0
[java] 428 12ID:202 526060285.25 2 READ | int $i0=r0.<boundedbuffer.Buffer: int _last>
[java] 429 12ID:203 3 ASSIGNMENT | int $i1=$i0+1
[java] 430 12ID:204 526060285.22 4 READ | int $i2=r0.<boundedbuffer.Buffer: int _BUFSIZE>
[java] 431 12ID:205 3 ASSIGNMENT | int $i3=$i1%$i2
[java] 432 12ID:206 526060285.24 1 READ | int $i4=r0.<boundedbuffer.Buffer: int _first>
[java] 433 12ID:207 0 BRANCH | $i3==$i4
[java] 434 12ID:208 526060285.23 1 READ | int $z0=r0.<boundedbuffer.Buffer: boolean _consoleOut>
[java] 435 12ID:209 0 BRANCH | $z0==0
[java] 436 12ID:174 526060285 ASSIGNMENT | boundedbuffer.Buffer r2=r0
[java] 437 12ID:175 526060285 LOCK | nullnullnull
[java] 438 12ID:176 526060285.24 1 READ | int i0=r0.<boundedbuffer.Buffer: int _first>
[java] 439 12ID:177 0 ASSIGNMENT | int z0=0
[java] 440 12ID:178 526060285.25 2 READ | int $i2=r0.<boundedbuffer.Buffer: int _last>
[java] 441 12ID:179 526060285.21 3 READ | int $i3=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 442 12ID:180 1 BRANCH | $i2!=$i3
[java] 443 12ID:182 526060285.25 2 READ | int $i4=r0.<boundedbuffer.Buffer: int _last>
[java] 444 12ID:183 3 ASSIGNMENT | int i1=$i4+1
[java] 445 12ID:184 526060285.24 1 READ | int $i5=r0.<boundedbuffer.Buffer: int _first>
[java] 446 12ID:185 526060285.25 2 READ | int $i6=r0.<boundedbuffer.Buffer: int _last>
[java] 447 12ID:186 1 BRANCH | $i5!=$i6
[java] 448 12ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 449 12ID:-1 1 BRANCH | nullnullnull
[java] 450 12ID:-1 1 BRANCH | nullnullnull
[java] 451 12ID:188 684754483_1 522792230_ READ | java.lang.Object $r4=$r3[i0]
[java] 452 12ID:189 1 BRANCH | $r4!=null
[java] 453 12ID:190 2 ASSIGNMENT | int i0=i0+1
[java] 454 12ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 455 12ID:192 1 BRANCH | i0<=$i7
[java] 456 12ID:195 1 BRANCH | i0!=i1
[java] 457 12ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 458 12ID:-1 1 BRANCH | nullnullnull
[java] 459 12ID:-1 1 BRANCH | nullnullnull
[java] 460 12ID:188 684754483_2 0_ READ | java.lang.Object $r4=$r3[i0]
[java] 461 12ID:189 0 BRANCH | $r4!=null
[java] 462 12ID:190 3 ASSIGNMENT | int i0=i0+1
[java] 463 12ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 464 12ID:192 1 BRANCH | i0<=$i7
[java] 465 12ID:195 0 BRANCH | i0!=i1
[java] 466 12ID:196 526060285 UNLOCK | nullnullnull
[java] 467 12ID:210 526060285_.26 684754483_ READ | java.lang.Object[] $r4=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 468 12ID:-1 1 BRANCH | nullnullnull
[java] 469 12ID:211 526060285.25 2 READ | int $i5=r0.<boundedbuffer.Buffer: int _last>
[java] 470 12ID:-1 1 BRANCH | nullnullnull
[java] 471 12ID:212 684754483_2 837969413_ WRITE | java.lang.Object $r4[$i5]=r1
[java] 472 12ID:213 .20 1 WRITE | int <boundedbuffer.Buffer: boolean _active>=1
[java] 473 12ID:214 526060285.25 2 READ | int $i6=r0.<boundedbuffer.Buffer: int _last>
[java] 474 12ID:215 3 ASSIGNMENT | int $i7=$i6+1
[java] 475 12ID:216 526060285.22 4 READ | int $i8=r0.<boundedbuffer.Buffer: int _BUFSIZE>
[java] 476 12ID:217 3 ASSIGNMENT | int $i9=$i7%$i8
[java] 477 12ID:218 526060285.25 3 WRITE | int r0.<boundedbuffer.Buffer: int _last>=$i9
[java] 478 12ID:219 526060285 NOTIFY | nullnullnull
[java] 479 12ID:220 526060285 UNLOCK | nullnullnull
[java] 480 12ID:353 2 ASSIGNMENT | int i0=i0+1
[java] 481 12ID:354 .1 10 READ | int $i1=<boundedbuffer.BoundedBuffer: int _ITEMS_PRODUCED>
[java] 482 12ID:355 1 BRANCH | i0<$i1
[java] 483 12ID:347 69190395_.42 526060285_ READ | boundedbuffer.Buffer $r4=r0.<boundedbuffer.Producer: boundedbuffer.Buffer buffer>
[java] 484 12ID:-1 1 BRANCH | nullnullnull
[java] 485 12ID:349 69190395_.43 569616903_ READ | java.lang.String $r5=r0.<boundedbuffer.Producer: java.lang.String name>
[java] 486 12ID:-1 1 BRANCH | nullnullnull
[java] 487 12ID:350 569616903 ASSIGNMENT | java.lang.String ARG0=$r5
[java] 488 12ID:350 569616903 ASSIGNMENT | java.lang.String $r6=RET
[java] 489 12ID:348 161174419 ASSIGNMENT | java.lang.StringBuilder $r1=null
[java] 490 14ID:222 526060285 LOCK | nullnullnull
[java] 491 14ID:224 526060285.24 1 READ | int $i0=r0.<boundedbuffer.Buffer: int _first>
[java] 492 14ID:225 526060285.25 3 READ | int $i1=r0.<boundedbuffer.Buffer: int _last>
[java] 493 14ID:226 0 BRANCH | $i0==$i1
[java] 494 14ID:227 0 ASSIGNMENT | null_type n0=null
[java] 495 14ID:228 526060285_.26 684754483_ READ | java.lang.Object[] $r4=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 496 14ID:-1 1 BRANCH | nullnullnull
[java] 497 14ID:229 526060285.24 1 READ | int $i2=r0.<boundedbuffer.Buffer: int _first>
[java] 498 14ID:-1 1 BRANCH | nullnullnull
[java] 499 12ID:351 2 ASSIGNMENT | int ARG0=i0
[java] 500 12ID:351 881581266 ASSIGNMENT | java.lang.String $r8=RET
[java] 501 12ID:352 1246657009 ASSIGNMENT | java.lang.String ARG0=$r11
[java] 502 14ID:230 684754483_1 522792230_ READ | java.lang.Object r5=$r4[$i2]
[java] 503 12ID:352 1246657009 ASSIGNMENT | java.lang.Object r1=ARG0
[java] 504 14ID:231 .20 1 WRITE | int <boundedbuffer.Buffer: boolean _active>=1
[java] 505 12ID:199 526060285 ASSIGNMENT | boundedbuffer.Buffer r3=r0
[java] 506 14ID:232 526060285.23 1 READ | int $z0=r0.<boundedbuffer.Buffer: boolean _consoleOut>
[java] 507 14ID:233 0 BRANCH | $z0==0
[java] 508 14ID:174 526060285 ASSIGNMENT | boundedbuffer.Buffer r2=r0
[java] 509 14ID:175 526060285 LOCK | nullnullnull
[java] 510 14ID:176 526060285.24 1 READ | int i0=r0.<boundedbuffer.Buffer: int _first>
[java] 511 14ID:177 0 ASSIGNMENT | int z0=0
[java] 512 14ID:178 526060285.25 3 READ | int $i2=r0.<boundedbuffer.Buffer: int _last>
[java] 513 14ID:179 526060285.21 3 READ | int $i3=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 514 14ID:180 0 BRANCH | $i2!=$i3
[java] 515 14ID:181 0 ASSIGNMENT | int i1=0
[java] 516 14ID:184 526060285.24 1 READ | int $i5=r0.<boundedbuffer.Buffer: int _first>
[java] 517 14ID:185 526060285.25 3 READ | int $i6=r0.<boundedbuffer.Buffer: int _last>
[java] 518 14ID:186 1 BRANCH | $i5!=$i6
[java] 519 14ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 520 14ID:-1 1 BRANCH | nullnullnull
[java] 521 14ID:-1 1 BRANCH | nullnullnull
[java] 522 14ID:188 684754483_1 522792230_ READ | java.lang.Object $r4=$r3[i0]
[java] 523 14ID:189 1 BRANCH | $r4!=null
[java] 524 14ID:190 2 ASSIGNMENT | int i0=i0+1
[java] 525 14ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 526 14ID:192 1 BRANCH | i0<=$i7
[java] 527 14ID:195 1 BRANCH | i0!=i1
[java] 528 14ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 529 14ID:-1 1 BRANCH | nullnullnull
[java] 530 14ID:-1 1 BRANCH | nullnullnull
[java] 531 14ID:188 684754483_2 837969413_ READ | java.lang.Object $r4=$r3[i0]
[java] 532 14ID:189 1 BRANCH | $r4!=null
[java] 533 14ID:190 3 ASSIGNMENT | int i0=i0+1
[java] 534 14ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 535 14ID:192 1 BRANCH | i0<=$i7
[java] 536 14ID:195 1 BRANCH | i0!=i1
[java] 537 14ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 538 14ID:-1 1 BRANCH | nullnullnull
[java] 539 14ID:-1 1 BRANCH | nullnullnull
[java] 540 14ID:188 684754483_3 0_ READ | java.lang.Object $r4=$r3[i0]
[java] 541 14ID:189 0 BRANCH | $r4!=null
[java] 542 14ID:190 4 ASSIGNMENT | int i0=i0+1
[java] 543 14ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 544 14ID:192 0 BRANCH | i0<=$i7
[java] 545 14ID:193 0 BRANCH | i0==i1
[java] 546 14ID:194 0 ASSIGNMENT | int i0=0
[java] 547 14ID:195 0 BRANCH | i0!=i1
[java] 548 14ID:196 526060285 UNLOCK | nullnullnull
[java] 549 14ID:234 526060285.24 1 READ | int $i3=r0.<boundedbuffer.Buffer: int _first>
[java] 550 14ID:235 2 ASSIGNMENT | int $i4=$i3+1
[java] 551 14ID:236 526060285.22 4 READ | int $i5=r0.<boundedbuffer.Buffer: int _BUFSIZE>
[java] 552 14ID:237 2 ASSIGNMENT | int $i6=$i4%$i5
[java] 553 14ID:238 526060285.24 2 WRITE | int r0.<boundedbuffer.Buffer: int _first>=$i6
[java] 554 14ID:239 526060285 NOTIFY | nullnullnull
[java] 555 14ID:240 526060285 UNLOCK | nullnullnull
[java] 556 14ID:318 522792230 ASSIGNMENT | java.lang.Object RET=r5
[java] 557 13ID:200 526060285 LOCK | nullnullnull
[java] 558 14ID:319 2 ASSIGNMENT | int i0=i0+1
[java] 559 13ID:202 526060285.25 3 READ | int $i0=r0.<boundedbuffer.Buffer: int _last>
[java] 560 14ID:320 .1 10 READ | int $i1=<boundedbuffer.BoundedBuffer: int _ITEMS_PRODUCED>
[java] 561 13ID:203 4 ASSIGNMENT | int $i1=$i0+1
[java] 562 14ID:321 20 ASSIGNMENT | int $i2=$i1*2
[java] 563 13ID:204 526060285.22 4 READ | int $i2=r0.<boundedbuffer.Buffer: int _BUFSIZE>
[java] 564 14ID:322 1 BRANCH | i0<$i2
[java] 565 13ID:205 0 ASSIGNMENT | int $i3=$i1%$i2
[java] 566 14ID:316 2046227094_.39 526060285_ READ | boundedbuffer.Buffer $r3=r0.<boundedbuffer.Consumer: boundedbuffer.Buffer buffer>
[java] 567 13ID:206 526060285.24 2 READ | int $i4=r0.<boundedbuffer.Buffer: int _first>
[java] 568 14ID:-1 1 BRANCH | nullnullnull
[java] 569 13ID:207 0 BRANCH | $i3==$i4
[java] 570 14ID:317 2046227094_.40 482848780_ READ | java.lang.String $r4=r0.<boundedbuffer.Consumer: java.lang.String name>
[java] 571 13ID:208 526060285.23 1 READ | int $z0=r0.<boundedbuffer.Buffer: boolean _consoleOut>
[java] 572 14ID:-1 1 BRANCH | nullnullnull
[java] 573 13ID:209 0 BRANCH | $z0==0
[java] 574 14ID:318 482848780 ASSIGNMENT | java.lang.String ARG0=$r4
[java] 575 13ID:174 526060285 ASSIGNMENT | boundedbuffer.Buffer r2=r0
[java] 576 14ID:318 482848780 ASSIGNMENT | java.lang.String r1=ARG0
[java] 577 13ID:175 526060285 LOCK | nullnullnull
[java] 578 14ID:221 526060285 ASSIGNMENT | boundedbuffer.Buffer r3=r0
[java] 579 13ID:176 526060285.24 2 READ | int i0=r0.<boundedbuffer.Buffer: int _first>
[java] 580 13ID:177 0 ASSIGNMENT | int z0=0
[java] 581 13ID:178 526060285.25 3 READ | int $i2=r0.<boundedbuffer.Buffer: int _last>
[java] 582 13ID:179 526060285.21 3 READ | int $i3=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 583 13ID:180 0 BRANCH | $i2!=$i3
[java] 584 13ID:181 0 ASSIGNMENT | int i1=0
[java] 585 13ID:184 526060285.24 2 READ | int $i5=r0.<boundedbuffer.Buffer: int _first>
[java] 586 13ID:185 526060285.25 3 READ | int $i6=r0.<boundedbuffer.Buffer: int _last>
[java] 587 13ID:186 1 BRANCH | $i5!=$i6
[java] 588 13ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 589 13ID:-1 1 BRANCH | nullnullnull
[java] 590 13ID:-1 1 BRANCH | nullnullnull
[java] 591 13ID:188 684754483_2 837969413_ READ | java.lang.Object $r4=$r3[i0]
[java] 592 13ID:189 1 BRANCH | $r4!=null
[java] 593 13ID:190 3 ASSIGNMENT | int i0=i0+1
[java] 594 13ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 595 13ID:192 1 BRANCH | i0<=$i7
[java] 596 13ID:195 1 BRANCH | i0!=i1
[java] 597 13ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 598 13ID:-1 1 BRANCH | nullnullnull
[java] 599 13ID:-1 1 BRANCH | nullnullnull
[java] 600 13ID:188 684754483_3 0_ READ | java.lang.Object $r4=$r3[i0]
[java] 601 13ID:189 0 BRANCH | $r4!=null
[java] 602 13ID:190 4 ASSIGNMENT | int i0=i0+1
[java] 603 13ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 604 13ID:192 0 BRANCH | i0<=$i7
[java] 605 13ID:193 0 BRANCH | i0==i1
[java] 606 13ID:194 0 ASSIGNMENT | int i0=0
[java] 607 13ID:195 0 BRANCH | i0!=i1
[java] 608 13ID:196 526060285 UNLOCK | nullnullnull
[java] 609 13ID:210 526060285_.26 684754483_ READ | java.lang.Object[] $r4=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 610 13ID:-1 1 BRANCH | nullnullnull
[java] 611 13ID:211 526060285.25 3 READ | int $i5=r0.<boundedbuffer.Buffer: int _last>
[java] 612 13ID:-1 1 BRANCH | nullnullnull
[java] 613 13ID:212 684754483_3 2010648173_ WRITE | java.lang.Object $r4[$i5]=r1
[java] 614 13ID:213 .20 1 WRITE | int <boundedbuffer.Buffer: boolean _active>=1
[java] 615 13ID:214 526060285.25 3 READ | int $i6=r0.<boundedbuffer.Buffer: int _last>
[java] 616 13ID:215 4 ASSIGNMENT | int $i7=$i6+1
[java] 617 13ID:216 526060285.22 4 READ | int $i8=r0.<boundedbuffer.Buffer: int _BUFSIZE>
[java] 618 13ID:217 0 ASSIGNMENT | int $i9=$i7%$i8
[java] 619 13ID:218 526060285.25 0 WRITE | int r0.<boundedbuffer.Buffer: int _last>=$i9
[java] 620 13ID:219 526060285 NOTIFY | nullnullnull
[java] 621 13ID:220 526060285 UNLOCK | nullnullnull
[java] 622 13ID:353 2 ASSIGNMENT | int i0=i0+1
[java] 623 13ID:354 .1 10 READ | int $i1=<boundedbuffer.BoundedBuffer: int _ITEMS_PRODUCED>
[java] 624 13ID:355 1 BRANCH | i0<$i1
[java] 625 13ID:347 1268989256_.42 526060285_ READ | boundedbuffer.Buffer $r4=r0.<boundedbuffer.Producer: boundedbuffer.Buffer buffer>
[java] 626 13ID:-1 1 BRANCH | nullnullnull
[java] 627 13ID:349 1268989256_.43 1706359509_ READ | java.lang.String $r5=r0.<boundedbuffer.Producer: java.lang.String name>
[java] 628 13ID:-1 1 BRANCH | nullnullnull
[java] 629 13ID:350 1706359509 ASSIGNMENT | java.lang.String ARG0=$r5
[java] 630 13ID:350 1706359509 ASSIGNMENT | java.lang.String $r6=RET
[java] 631 13ID:348 1713890131 ASSIGNMENT | java.lang.StringBuilder $r1=null
[java] 632 13ID:351 2 ASSIGNMENT | int ARG0=i0
[java] 633 13ID:351 1153274506 ASSIGNMENT | java.lang.String $r8=RET
[java] 634 13ID:352 2044708167 ASSIGNMENT | java.lang.String ARG0=$r11
[java] 635 14ID:222 526060285 LOCK | nullnullnull
[java] 636 13ID:352 2044708167 ASSIGNMENT | java.lang.Object r1=ARG0
[java] 637 13ID:199 526060285 ASSIGNMENT | boundedbuffer.Buffer r3=r0
[java] 638 14ID:224 526060285.24 2 READ | int $i0=r0.<boundedbuffer.Buffer: int _first>
[java] 639 14ID:225 526060285.25 0 READ | int $i1=r0.<boundedbuffer.Buffer: int _last>
[java] 640 14ID:226 0 BRANCH | $i0==$i1
[java] 641 14ID:227 0 ASSIGNMENT | null_type n0=null
[java] 642 14ID:228 526060285_.26 684754483_ READ | java.lang.Object[] $r4=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 643 14ID:-1 1 BRANCH | nullnullnull
[java] 644 14ID:229 526060285.24 2 READ | int $i2=r0.<boundedbuffer.Buffer: int _first>
[java] 645 14ID:-1 1 BRANCH | nullnullnull
[java] 646 14ID:230 684754483_2 837969413_ READ | java.lang.Object r5=$r4[$i2]
[java] 647 14ID:231 .20 1 WRITE | int <boundedbuffer.Buffer: boolean _active>=1
[java] 648 14ID:232 526060285.23 1 READ | int $z0=r0.<boundedbuffer.Buffer: boolean _consoleOut>
[java] 649 14ID:233 0 BRANCH | $z0==0
[java] 650 14ID:174 526060285 ASSIGNMENT | boundedbuffer.Buffer r2=r0
[java] 651 14ID:175 526060285 LOCK | nullnullnull
[java] 652 14ID:176 526060285.24 2 READ | int i0=r0.<boundedbuffer.Buffer: int _first>
[java] 653 14ID:177 0 ASSIGNMENT | int z0=0
[java] 654 14ID:178 526060285.25 0 READ | int $i2=r0.<boundedbuffer.Buffer: int _last>
[java] 655 14ID:179 526060285.21 3 READ | int $i3=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 656 14ID:180 1 BRANCH | $i2!=$i3
[java] 657 14ID:182 526060285.25 0 READ | int $i4=r0.<boundedbuffer.Buffer: int _last>
[java] 658 14ID:183 1 ASSIGNMENT | int i1=$i4+1
[java] 659 14ID:184 526060285.24 2 READ | int $i5=r0.<boundedbuffer.Buffer: int _first>
[java] 660 14ID:185 526060285.25 0 READ | int $i6=r0.<boundedbuffer.Buffer: int _last>
[java] 661 14ID:186 1 BRANCH | $i5!=$i6
[java] 662 14ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 663 14ID:-1 1 BRANCH | nullnullnull
[java] 664 14ID:-1 1 BRANCH | nullnullnull
[java] 665 14ID:188 684754483_2 837969413_ READ | java.lang.Object $r4=$r3[i0]
[java] 666 14ID:189 1 BRANCH | $r4!=null
[java] 667 14ID:190 3 ASSIGNMENT | int i0=i0+1
[java] 668 14ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 669 14ID:192 1 BRANCH | i0<=$i7
[java] 670 14ID:195 1 BRANCH | i0!=i1
[java] 671 14ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 672 14ID:-1 1 BRANCH | nullnullnull
[java] 673 14ID:-1 1 BRANCH | nullnullnull
[java] 674 14ID:188 684754483_3 2010648173_ READ | java.lang.Object $r4=$r3[i0]
[java] 675 14ID:189 1 BRANCH | $r4!=null
[java] 676 14ID:190 4 ASSIGNMENT | int i0=i0+1
[java] 677 14ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 678 14ID:192 0 BRANCH | i0<=$i7
[java] 679 14ID:193 0 BRANCH | i0==i1
[java] 680 14ID:194 0 ASSIGNMENT | int i0=0
[java] 681 14ID:195 1 BRANCH | i0!=i1
[java] 682 14ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 683 14ID:-1 1 BRANCH | nullnullnull
[java] 684 14ID:-1 1 BRANCH | nullnullnull
[java] 685 14ID:188 684754483_0 1169804875_ READ | java.lang.Object $r4=$r3[i0]
[java] 686 14ID:189 1 BRANCH | $r4!=null
[java] 687 14ID:190 1 ASSIGNMENT | int i0=i0+1
[java] 688 14ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 689 14ID:192 1 BRANCH | i0<=$i7
[java] 690 14ID:195 0 BRANCH | i0!=i1
[java] 691 14ID:196 526060285 UNLOCK | nullnullnull
[java] 692 14ID:234 526060285.24 2 READ | int $i3=r0.<boundedbuffer.Buffer: int _first>
[java] 693 14ID:235 3 ASSIGNMENT | int $i4=$i3+1
[java] 694 14ID:236 526060285.22 4 READ | int $i5=r0.<boundedbuffer.Buffer: int _BUFSIZE>
[java] 695 14ID:237 3 ASSIGNMENT | int $i6=$i4%$i5
[java] 696 14ID:238 526060285.24 3 WRITE | int r0.<boundedbuffer.Buffer: int _first>=$i6
[java] 697 14ID:239 526060285 NOTIFY | nullnullnull
[java] 698 14ID:240 526060285 UNLOCK | nullnullnull
[java] 699 14ID:318 837969413 ASSIGNMENT | java.lang.Object RET=r5
[java] 700 14ID:319 3 ASSIGNMENT | int i0=i0+1
[java] 701 14ID:320 .1 10 READ | int $i1=<boundedbuffer.BoundedBuffer: int _ITEMS_PRODUCED>
[java] 702 14ID:321 20 ASSIGNMENT | int $i2=$i1*2
[java] 703 14ID:322 1 BRANCH | i0<$i2
[java] 704 14ID:316 2046227094_.39 526060285_ READ | boundedbuffer.Buffer $r3=r0.<boundedbuffer.Consumer: boundedbuffer.Buffer buffer>
[java] 705 14ID:-1 1 BRANCH | nullnullnull
[java] 706 14ID:317 2046227094_.40 482848780_ READ | java.lang.String $r4=r0.<boundedbuffer.Consumer: java.lang.String name>
[java] 707 14ID:-1 1 BRANCH | nullnullnull
[java] 708 14ID:318 482848780 ASSIGNMENT | java.lang.String ARG0=$r4
[java] 709 12ID:200 526060285 LOCK | nullnullnull
[java] 710 14ID:318 482848780 ASSIGNMENT | java.lang.String r1=ARG0
[java] 711 12ID:202 526060285.25 0 READ | int $i0=r0.<boundedbuffer.Buffer: int _last>
[java] 712 14ID:221 526060285 ASSIGNMENT | boundedbuffer.Buffer r3=r0
[java] 713 12ID:203 1 ASSIGNMENT | int $i1=$i0+1
[java] 714 12ID:204 526060285.22 4 READ | int $i2=r0.<boundedbuffer.Buffer: int _BUFSIZE>
[java] 715 12ID:205 1 ASSIGNMENT | int $i3=$i1%$i2
[java] 716 12ID:206 526060285.24 3 READ | int $i4=r0.<boundedbuffer.Buffer: int _first>
[java] 717 12ID:207 0 BRANCH | $i3==$i4
[java] 718 12ID:208 526060285.23 1 READ | int $z0=r0.<boundedbuffer.Buffer: boolean _consoleOut>
[java] 719 12ID:209 0 BRANCH | $z0==0
[java] 720 12ID:174 526060285 ASSIGNMENT | boundedbuffer.Buffer r2=r0
[java] 721 12ID:175 526060285 LOCK | nullnullnull
[java] 722 12ID:176 526060285.24 3 READ | int i0=r0.<boundedbuffer.Buffer: int _first>
[java] 723 12ID:177 0 ASSIGNMENT | int z0=0
[java] 724 12ID:178 526060285.25 0 READ | int $i2=r0.<boundedbuffer.Buffer: int _last>
[java] 725 12ID:179 526060285.21 3 READ | int $i3=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 726 12ID:180 1 BRANCH | $i2!=$i3
[java] 727 12ID:182 526060285.25 0 READ | int $i4=r0.<boundedbuffer.Buffer: int _last>
[java] 728 12ID:183 1 ASSIGNMENT | int i1=$i4+1
[java] 729 12ID:184 526060285.24 3 READ | int $i5=r0.<boundedbuffer.Buffer: int _first>
[java] 730 12ID:185 526060285.25 0 READ | int $i6=r0.<boundedbuffer.Buffer: int _last>
[java] 731 12ID:186 1 BRANCH | $i5!=$i6
[java] 732 12ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 733 12ID:-1 1 BRANCH | nullnullnull
[java] 734 12ID:-1 1 BRANCH | nullnullnull
[java] 735 12ID:188 684754483_3 2010648173_ READ | java.lang.Object $r4=$r3[i0]
[java] 736 12ID:189 1 BRANCH | $r4!=null
[java] 737 12ID:190 4 ASSIGNMENT | int i0=i0+1
[java] 738 12ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 739 12ID:192 0 BRANCH | i0<=$i7
[java] 740 12ID:193 0 BRANCH | i0==i1
[java] 741 12ID:194 0 ASSIGNMENT | int i0=0
[java] 742 12ID:195 1 BRANCH | i0!=i1
[java] 743 12ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 744 12ID:-1 1 BRANCH | nullnullnull
[java] 745 12ID:-1 1 BRANCH | nullnullnull
[java] 746 12ID:188 684754483_0 1169804875_ READ | java.lang.Object $r4=$r3[i0]
[java] 747 12ID:189 1 BRANCH | $r4!=null
[java] 748 12ID:190 1 ASSIGNMENT | int i0=i0+1
[java] 749 12ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 750 12ID:192 1 BRANCH | i0<=$i7
[java] 751 12ID:195 0 BRANCH | i0!=i1
[java] 752 12ID:196 526060285 UNLOCK | nullnullnull
[java] 753 12ID:210 526060285_.26 684754483_ READ | java.lang.Object[] $r4=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 754 12ID:-1 1 BRANCH | nullnullnull
[java] 755 12ID:211 526060285.25 0 READ | int $i5=r0.<boundedbuffer.Buffer: int _last>
[java] 756 12ID:-1 1 BRANCH | nullnullnull
[java] 757 12ID:212 684754483_0 1246657009_ WRITE | java.lang.Object $r4[$i5]=r1
[java] 758 12ID:213 .20 1 WRITE | int <boundedbuffer.Buffer: boolean _active>=1
[java] 759 12ID:214 526060285.25 0 READ | int $i6=r0.<boundedbuffer.Buffer: int _last>
[java] 760 12ID:215 1 ASSIGNMENT | int $i7=$i6+1
[java] 761 12ID:216 526060285.22 4 READ | int $i8=r0.<boundedbuffer.Buffer: int _BUFSIZE>
[java] 762 12ID:217 1 ASSIGNMENT | int $i9=$i7%$i8
[java] 763 12ID:218 526060285.25 1 WRITE | int r0.<boundedbuffer.Buffer: int _last>=$i9
[java] 764 12ID:219 526060285 NOTIFY | nullnullnull
[java] 765 12ID:220 526060285 UNLOCK | nullnullnull
[java] 766 12ID:353 3 ASSIGNMENT | int i0=i0+1
[java] 767 14ID:222 526060285 LOCK | nullnullnull
[java] 768 14ID:224 526060285.24 3 READ | int $i0=r0.<boundedbuffer.Buffer: int _first>
[java] 769 14ID:225 526060285.25 1 READ | int $i1=r0.<boundedbuffer.Buffer: int _last>
[java] 770 14ID:226 0 BRANCH | $i0==$i1
[java] 771 14ID:227 0 ASSIGNMENT | null_type n0=null
[java] 772 14ID:228 526060285_.26 684754483_ READ | java.lang.Object[] $r4=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 773 14ID:-1 1 BRANCH | nullnullnull
[java] 774 14ID:229 526060285.24 3 READ | int $i2=r0.<boundedbuffer.Buffer: int _first>
[java] 775 14ID:-1 1 BRANCH | nullnullnull
[java] 776 14ID:230 684754483_3 2010648173_ READ | java.lang.Object r5=$r4[$i2]
[java] 777 14ID:231 .20 1 WRITE | int <boundedbuffer.Buffer: boolean _active>=1
[java] 778 14ID:232 526060285.23 1 READ | int $z0=r0.<boundedbuffer.Buffer: boolean _consoleOut>
[java] 779 14ID:233 0 BRANCH | $z0==0
[java] 780 14ID:174 526060285 ASSIGNMENT | boundedbuffer.Buffer r2=r0
[java] 781 14ID:175 526060285 LOCK | nullnullnull
[java] 782 12ID:354 .1 10 READ | int $i1=<boundedbuffer.BoundedBuffer: int _ITEMS_PRODUCED>
[java] 783 14ID:176 526060285.24 3 READ | int i0=r0.<boundedbuffer.Buffer: int _first>
[java] 784 12ID:355 1 BRANCH | i0<$i1
[java] 785 14ID:177 0 ASSIGNMENT | int z0=0
[java] 786 12ID:347 69190395_.42 526060285_ READ | boundedbuffer.Buffer $r4=r0.<boundedbuffer.Producer: boundedbuffer.Buffer buffer>
[java] 787 14ID:178 526060285.25 1 READ | int $i2=r0.<boundedbuffer.Buffer: int _last>
[java] 788 12ID:-1 1 BRANCH | nullnullnull
[java] 789 14ID:179 526060285.21 3 READ | int $i3=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 790 12ID:349 69190395_.43 569616903_ READ | java.lang.String $r5=r0.<boundedbuffer.Producer: java.lang.String name>
[java] 791 14ID:180 1 BRANCH | $i2!=$i3
[java] 792 12ID:-1 1 BRANCH | nullnullnull
[java] 793 14ID:182 526060285.25 1 READ | int $i4=r0.<boundedbuffer.Buffer: int _last>
[java] 794 12ID:350 569616903 ASSIGNMENT | java.lang.String ARG0=$r5
[java] 795 14ID:183 2 ASSIGNMENT | int i1=$i4+1
[java] 796 12ID:350 569616903 ASSIGNMENT | java.lang.String $r6=RET
[java] 797 14ID:184 526060285.24 3 READ | int $i5=r0.<boundedbuffer.Buffer: int _first>
[java] 798 12ID:348 1618369046 ASSIGNMENT | java.lang.StringBuilder $r1=null
[java] 799 14ID:185 526060285.25 1 READ | int $i6=r0.<boundedbuffer.Buffer: int _last>
[java] 800 12ID:351 3 ASSIGNMENT | int ARG0=i0
[java] 801 14ID:186 1 BRANCH | $i5!=$i6
[java] 802 12ID:351 2048166867 ASSIGNMENT | java.lang.String $r8=RET
[java] 803 14ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 804 12ID:352 1525155906 ASSIGNMENT | java.lang.String ARG0=$r11
[java] 805 14ID:-1 1 BRANCH | nullnullnull
[java] 806 12ID:352 1525155906 ASSIGNMENT | java.lang.Object r1=ARG0
[java] 807 14ID:-1 1 BRANCH | nullnullnull
[java] 808 12ID:199 526060285 ASSIGNMENT | boundedbuffer.Buffer r3=r0
[java] 809 14ID:188 684754483_3 2010648173_ READ | java.lang.Object $r4=$r3[i0]
[java] 810 14ID:189 1 BRANCH | $r4!=null
[java] 811 14ID:190 4 ASSIGNMENT | int i0=i0+1
[java] 812 14ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 813 14ID:192 0 BRANCH | i0<=$i7
[java] 814 14ID:193 0 BRANCH | i0==i1
[java] 815 14ID:194 0 ASSIGNMENT | int i0=0
[java] 816 14ID:195 1 BRANCH | i0!=i1
[java] 817 14ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 818 14ID:-1 1 BRANCH | nullnullnull
[java] 819 14ID:-1 1 BRANCH | nullnullnull
[java] 820 14ID:188 684754483_0 1246657009_ READ | java.lang.Object $r4=$r3[i0]
[java] 821 14ID:189 1 BRANCH | $r4!=null
[java] 822 14ID:190 1 ASSIGNMENT | int i0=i0+1
[java] 823 14ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 824 14ID:192 1 BRANCH | i0<=$i7
[java] 825 14ID:195 1 BRANCH | i0!=i1
[java] 826 14ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 827 14ID:-1 1 BRANCH | nullnullnull
[java] 828 14ID:-1 1 BRANCH | nullnullnull
[java] 829 14ID:188 684754483_1 522792230_ READ | java.lang.Object $r4=$r3[i0]
[java] 830 14ID:189 1 BRANCH | $r4!=null
[java] 831 14ID:190 2 ASSIGNMENT | int i0=i0+1
[java] 832 14ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 833 14ID:192 1 BRANCH | i0<=$i7
[java] 834 14ID:195 0 BRANCH | i0!=i1
[java] 835 14ID:196 526060285 UNLOCK | nullnullnull
[java] 836 14ID:234 526060285.24 3 READ | int $i3=r0.<boundedbuffer.Buffer: int _first>
[java] 837 14ID:235 4 ASSIGNMENT | int $i4=$i3+1
[java] 838 14ID:236 526060285.22 4 READ | int $i5=r0.<boundedbuffer.Buffer: int _BUFSIZE>
[java] 839 14ID:237 0 ASSIGNMENT | int $i6=$i4%$i5
[java] 840 14ID:238 526060285.24 0 WRITE | int r0.<boundedbuffer.Buffer: int _first>=$i6
[java] 841 14ID:239 526060285 NOTIFY | nullnullnull
[java] 842 14ID:240 526060285 UNLOCK | nullnullnull
[java] 843 14ID:318 2010648173 ASSIGNMENT | java.lang.Object RET=r5
[java] 844 13ID:200 526060285 LOCK | nullnullnull
[java] 845 14ID:319 4 ASSIGNMENT | int i0=i0+1
[java] 846 13ID:202 526060285.25 1 READ | int $i0=r0.<boundedbuffer.Buffer: int _last>
[java] 847 14ID:320 .1 10 READ | int $i1=<boundedbuffer.BoundedBuffer: int _ITEMS_PRODUCED>
[java] 848 13ID:203 2 ASSIGNMENT | int $i1=$i0+1
[java] 849 14ID:321 20 ASSIGNMENT | int $i2=$i1*2
[java] 850 14ID:322 1 BRANCH | i0<$i2
[java] 851 13ID:204 526060285.22 4 READ | int $i2=r0.<boundedbuffer.Buffer: int _BUFSIZE>
[java] 852 14ID:316 2046227094_.39 526060285_ READ | boundedbuffer.Buffer $r3=r0.<boundedbuffer.Consumer: boundedbuffer.Buffer buffer>
[java] 853 14ID:-1 1 BRANCH | nullnullnull
[java] 854 13ID:205 2 ASSIGNMENT | int $i3=$i1%$i2
[java] 855 14ID:317 2046227094_.40 482848780_ READ | java.lang.String $r4=r0.<boundedbuffer.Consumer: java.lang.String name>
[java] 856 14ID:-1 1 BRANCH | nullnullnull
[java] 857 13ID:206 526060285.24 0 READ | int $i4=r0.<boundedbuffer.Buffer: int _first>
[java] 858 14ID:318 482848780 ASSIGNMENT | java.lang.String ARG0=$r4
[java] 859 13ID:207 0 BRANCH | $i3==$i4
[java] 860 14ID:318 482848780 ASSIGNMENT | java.lang.String r1=ARG0
[java] 861 13ID:208 526060285.23 1 READ | int $z0=r0.<boundedbuffer.Buffer: boolean _consoleOut>
[java] 862 14ID:221 526060285 ASSIGNMENT | boundedbuffer.Buffer r3=r0
[java] 863 13ID:209 0 BRANCH | $z0==0
[java] 864 13ID:174 526060285 ASSIGNMENT | boundedbuffer.Buffer r2=r0
[java] 865 13ID:175 526060285 LOCK | nullnullnull
[java] 866 13ID:176 526060285.24 0 READ | int i0=r0.<boundedbuffer.Buffer: int _first>
[java] 867 13ID:177 0 ASSIGNMENT | int z0=0
[java] 868 13ID:178 526060285.25 1 READ | int $i2=r0.<boundedbuffer.Buffer: int _last>
[java] 869 13ID:179 526060285.21 3 READ | int $i3=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 870 13ID:180 1 BRANCH | $i2!=$i3
[java] 871 13ID:182 526060285.25 1 READ | int $i4=r0.<boundedbuffer.Buffer: int _last>
[java] 872 13ID:183 2 ASSIGNMENT | int i1=$i4+1
[java] 873 13ID:184 526060285.24 0 READ | int $i5=r0.<boundedbuffer.Buffer: int _first>
[java] 874 13ID:185 526060285.25 1 READ | int $i6=r0.<boundedbuffer.Buffer: int _last>
[java] 875 13ID:186 1 BRANCH | $i5!=$i6
[java] 876 13ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 877 13ID:-1 1 BRANCH | nullnullnull
[java] 878 13ID:-1 1 BRANCH | nullnullnull
[java] 879 13ID:188 684754483_0 1246657009_ READ | java.lang.Object $r4=$r3[i0]
[java] 880 13ID:189 1 BRANCH | $r4!=null
[java] 881 13ID:190 1 ASSIGNMENT | int i0=i0+1
[java] 882 13ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 883 13ID:192 1 BRANCH | i0<=$i7
[java] 884 13ID:195 1 BRANCH | i0!=i1
[java] 885 13ID:187 526060285_.26 684754483_ READ | java.lang.Object[] $r3=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 886 13ID:-1 1 BRANCH | nullnullnull
[java] 887 13ID:-1 1 BRANCH | nullnullnull
[java] 888 13ID:188 684754483_1 522792230_ READ | java.lang.Object $r4=$r3[i0]
[java] 889 13ID:189 1 BRANCH | $r4!=null
[java] 890 13ID:190 2 ASSIGNMENT | int i0=i0+1
[java] 891 13ID:191 526060285.21 3 READ | int $i7=r0.<boundedbuffer.Buffer: int _CAPACITY>
[java] 892 13ID:192 1 BRANCH | i0<=$i7
[java] 893 13ID:195 0 BRANCH | i0!=i1
[java] 894 13ID:196 526060285 UNLOCK | nullnullnull
[java] 895 13ID:210 526060285_.26 684754483_ READ | java.lang.Object[] $r4=r0.<boundedbuffer.Buffer: java.lang.Object[] _bufArr>
[java] 896 13ID:-1 1 BRANCH | nullnullnull
[java] 897 13ID:211 526060285.25 1 READ | int $i5=r0.<boundedbuffer.Buffer: int _last>
[java] 898 13ID:-1 1 BRANCH | nullnullnull
[java] 899 13ID:212 684754483_1 2044708167_ WRITE | java.lang.Object $r4[$i5]=r1
[java] 900 13ID:213 .20 1 WRITE | int <boundedbuffer.Buffer: boolean _active>=1
[java] 901 13ID:214 526060285.25 1 READ | int $i6=r0.<boundedbuffer.Buffer: int _last>
[java] 902 13ID:215 2 ASSIGNMENT | int $i7=$i6+1
[java] 903 13ID:216 526060285.22 4 READ | int $i8=r0.<boundedbuffer.Buffer: int _BUFSIZE>
[java] 904 13ID:217 2 ASSIGNMENT | int $i9=$i7%$i8