9 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	f54b02edb3	Java: Add a qltest demonstrating side-effect on a callback instance.	2023-03-13 13:22:18 +01:00
Anders Schack-Mulligen	2b1f34ed9b	Java: Don't clear content in store steps in summaries.	2021-11-19 14:22:28 +01:00
Tom Hvitved	6d58dd2823	Java: Update expected test output	2021-11-17 10:49:51 +01:00
Tom Hvitved	29cdc8a49a	Java: Update expected test output after rebase	2021-10-20 12:11:59 +02:00
Tom Hvitved	296e268339	Apply suggestions from code review ... Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>	2021-10-12 14:28:32 +02:00
Tom Hvitved	d5955f1ae1	Java: Add test for missing summary flow	2021-10-11 11:29:08 +02:00
Anders Schack-Mulligen	9a9bbe3123	Dataflow: Support side-effects for callbacks in summaries.	2021-09-28 11:42:38 +02:00
Anders Schack-Mulligen	4841c3037d	Java: Add callback dispatch to more anonymous classes.	2021-09-23 14:34:56 +02:00
Anders Schack-Mulligen	89a6cdc711	Java: Add support for callback-based library models.	2021-09-13 14:49:28 +02:00