Koen Vlaswinkel
|
6adbc406a7
|
Java: Add tests for private methods
|
2023-09-20 14:05:28 +02:00 |
|
Koen Vlaswinkel
|
8e55189b84
|
Java: Add tests for generic interfaces/classes/methods
|
2023-09-20 14:02:34 +02:00 |
|
Koen Vlaswinkel
|
fe7ce0ae0b
|
Java: Rename queries from fetch methods to endpoints
|
2023-09-20 13:52:49 +02:00 |
|
Koen Vlaswinkel
|
7db082f3fd
|
Java: Add VS Code model editor queries
|
2023-09-13 13:04:26 +02:00 |
|
Jami Cogswell
|
e28ce959a3
|
Java: update CaptureSinkModels test case
|
2023-05-31 15:51:07 -04:00 |
|
Michael Nebel
|
c30f080ff0
|
Java: Update expected test out for the model generator.
|
2023-05-08 16:18:59 +02:00 |
|
Michael Nebel
|
574f568c26
|
Java: Update model generator expected output.
|
2023-04-13 09:21:06 +02:00 |
|
Michael Nebel
|
ba711ab849
|
Java: Update expected test-output (different sorting).
|
2023-03-20 10:14:20 +01:00 |
|
Michael Nebel
|
e86f1e4961
|
Java: Replace Argument[-1] with Argument[this].
|
2023-03-20 10:14:20 +01:00 |
|
Jami
|
029e1d47fe
|
Merge pull request #12081 from jcogs33/jcogs33/update-some-Files-sinks
Java: update `createTempDirectory` and `copy` "create-file" sinks
|
2023-02-14 10:53:17 -05:00 |
|
Jami Cogswell
|
e4c8387815
|
Java: update CaptureSinkModels.expected with read-file sink
|
2023-02-13 11:29:30 -05:00 |
|
Michael Nebel
|
2ce6d5f920
|
Java: Update negative models test to not produce a negative summary for interface member.
|
2023-02-13 10:45:54 +01:00 |
|
Michael Nebel
|
787b4743ee
|
C#/Java: Rename the directories containing the model generator and tests.
|
2023-01-11 13:13:33 +01:00 |
|
Michael Nebel
|
178fd0e9e1
|
C#/Java: Remove all dashes in mode-generator.
|
2023-01-11 13:13:33 +01:00 |
|
Tony Torralba
|
32471d326e
|
Java: Remove omittable exists variables
|
2023-01-10 13:37:19 +01:00 |
|
Jami Cogswell
|
446ac75c87
|
Java: update unit test
|
2022-12-12 13:28:01 -05:00 |
|
Michael Nebel
|
1d103f57a0
|
C#/Java: Rename CaptureNegativeSummaryModels test to CaptureNeutralModels.
|
2022-12-09 15:04:43 +01:00 |
|
Michael Nebel
|
abe4d99e12
|
Java: Make some rudimentary tooling for testing the flow test case generator script.
|
2022-11-28 09:07:40 +01:00 |
|
Michael Nebel
|
9b5318876d
|
Java: Improve tests and allow spurious models.
|
2022-11-10 13:57:44 +01:00 |
|
Michael Nebel
|
ce8ab0e66e
|
Simplify test predicate implementation.
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2022-11-10 13:57:44 +01:00 |
|
Michael Nebel
|
4cb82ad5a7
|
Java: Explicit import of needed classes from stream and some improvements to comments.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
62603dd2bc
|
Java: Inline expectations for type based model test case.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
8a0f00a5c9
|
Java: Update expected test output.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
0c09f78142
|
Java: Comment in method for converting stream to Array.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
5b65f5c185
|
Java: Change test implementation to avoid failing CFG dead end consistency test.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
b80c533fb0
|
Java: Update expected test output.
|
2022-11-10 13:57:43 +01:00 |
|
Michael Nebel
|
937404892f
|
Java: Add further examples that are now supported.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
dc79ed8192
|
Java: Update expected test output.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
d1b8bef248
|
Java: Add more stream functions. Comment methods out, where we are not happy with the generated result.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
62de3e4ab6
|
Java: Update expected test output.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
716d6aeeee
|
Java: Add stream concat example.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
efe802dac0
|
Java: Updated expected test output.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
52f69f77bc
|
Java: Add stream example methods using wildcards.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
0caee16eb0
|
Java: Update expected test output.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
0cfd7787f4
|
Java: Add some examples of functional interfaces for functions with two parameters.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
3a5d06272f
|
Java: Update expected test output.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
9ccff656bd
|
Java: Add some initial stubs for methods like java.util.stream.Stream.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
309b6e0810
|
Java: Add expected test output.
|
2022-11-10 13:57:42 +01:00 |
|
Michael Nebel
|
f22e1db33f
|
Java: Add test case for capturing type based summaries.
|
2022-11-10 13:57:41 +01:00 |
|
Michael Nebel
|
207191f987
|
Java: Move dataflow based model generation testcases to a subfolder.
|
2022-11-10 13:57:41 +01:00 |
|
Michael Nebel
|
a412c955e7
|
Java: One implementation of the interface has no flow (which seems unsound and contradicting our assumptions on interface 'contracts') - this now yields a negative summary.
|
2022-08-24 09:58:54 +02:00 |
|
Michael Nebel
|
120fb25702
|
Java: Sync files and model generator and tests.
|
2022-08-24 09:58:52 +02:00 |
|
Michael Nebel
|
2cfeffcc17
|
Java: Update model generator tests with provenance column.
|
2022-06-20 16:20:02 +02:00 |
|
Michael Nebel
|
3a04e9a03d
|
Java: Update java capture models with new kind column (including tests).
|
2022-04-05 12:55:47 +02:00 |
|
Michael Nebel
|
24640c3670
|
Java: Make a testcase for wrappers of sources.
|
2022-02-28 16:57:36 +01:00 |
|
Anders Schack-Mulligen
|
908cc40c9f
|
Java: Fix bug in model flow sanitizer.
|
2022-02-28 16:48:23 +01:00 |
|
Asger Feldthaus
|
7f808710ec
|
Java: update model generator
|
2022-02-21 08:16:54 +01:00 |
|
Benjamin Muskalla
|
52406dc8df
|
Exclude logging sinks
Those sinks are too coarse grained to be exposed as sinks on any model.
|
2022-01-19 16:11:59 +01:00 |
|
Benjamin Muskalla
|
25d251c24f
|
Exclude main methods from models
|
2022-01-19 16:11:59 +01:00 |
|
Benjamin Muskalla
|
b4eadefb92
|
Fix test
|
2021-11-16 17:28:01 +01:00 |
|