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

..

p

Java: Make a testcase for wrappers of sources.

2022-02-28 16:57:36 +01:00

CaptureNegativeSummaryModels.expected

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

CaptureNegativeSummaryModels.qlref

Java: Sync files and model generator and tests.

2022-08-24 09:58:52 +02:00

CaptureSinkModels.expected

Java: Update model generator tests with provenance column.

2022-06-20 16:20:02 +02:00

CaptureSinkModels.qlref

Initial support for capturing sink models

2021-11-10 16:30:18 +01:00

CaptureSourceModels.expected

Java: Update model generator tests with provenance column.

2022-06-20 16:20:02 +02:00

CaptureSourceModels.qlref

Initial support for source models

2021-11-10 16:30:19 +01:00

CaptureSummaryModels.expected

Java: Update model generator tests with provenance column.

2022-06-20 16:20:02 +02:00

CaptureSummaryModels.qlref

Add scaffolding for summary model generator

2021-11-10 16:30:17 +01:00