11 Commits

Author	SHA1	Message	Date
Chris Smowton	24b4b05be8	Add models for new Collections methods	2023-11-06 16:44:40 +00:00
Chris Smowton	5b72aee3ae	Java: model JDK21 SequencedCollection, Set and Map	2023-11-06 16:04:13 +00:00
Michael Nebel	0ed724eb13	Java: Make a flow summary for Set.clear using WithoutElement and introduce appropriate tests.	2023-08-08 11:10:08 +02:00
Michael Nebel	fc66b6ef9c	Java: Update test comments to reflect the MaD syntax.	2023-08-01 12:03:44 +02:00
Michael Nebel	0604a85bb1	Java: Add WithoutElement model for List.clear and add appropriate test.	2023-08-01 12:03:44 +02:00
Michael Nebel	e86f1e4961	Java: Replace Argument[-1] with Argument[this].	2023-03-20 10:14:20 +01:00
Michael Nebel	2e46e93f36	Java: Update java models with provenance column information.	2022-06-20 16:20:02 +02:00
Anders Schack-Mulligen	ab862276fc	Java: Fix tests.	2021-09-13 16:04:11 +02:00
Chris Smowton	74feaf2893	Adapt to static methods and nested types returning unbound declaring types ... Previously these returned raw declaring types instead	2021-06-23 16:03:18 +01:00
Anders Schack-Mulligen	38fc8a750c	Java: Improve test and fix a few missing cases.	2021-06-22 11:16:02 +02:00
Anders Schack-Mulligen	901996f9fd	Java: Add collection flow test.	2021-06-01 11:47:52 +02:00