Skip to content

Commit 5792b4d

Browse files
authored
Merge pull request github#12503 from aschackmull/java/qltest-callback-instance-sideeffect
Java: Add a qltest demonstrating side-effect on a callback instance.
2 parents 70b85a3 + f54b02e commit 5792b4d

File tree

1 file changed

+14
-0
lines changed
  • java/ql/test/library-tests/dataflow/callback-dispatch

1 file changed

+14
-0
lines changed

java/ql/test/library-tests/dataflow/callback-dispatch/A.java

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -182,4 +182,18 @@ void foo3() {
182182

183183
public Object field1;
184184
public Object field2;
185+
186+
void foo4() {
187+
Producer1Consumer3<Integer> pc = new Producer1Consumer3<Integer>() {
188+
int cfield = 0;
189+
@Override public Integer[] make() {
190+
return new Integer[] { cfield };
191+
}
192+
@Override public void eat(Integer[] xs) {
193+
cfield = xs[0];
194+
}
195+
};
196+
applyConsumer3(new Integer[] { (Integer)source(21) }, pc);
197+
sink(applyProducer1(pc)[0]); // $ flow=21
198+
}
185199
}

0 commit comments

Comments
 (0)