Java: Update the model generator expected test output.

github · Jun 27, 2024 · 9cb7018 · 9cb7018
1 parent e23ff3e
commit 9cb7018
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 6 deletions.
diff --git a/java/ql/test/utils/modelgenerator/dataflow/p/ImplOfExternalSPI.java b/java/ql/test/utils/modelgenerator/dataflow/p/ImplOfExternalSPI.java
@@ -6,7 +6,7 @@
 
 public class ImplOfExternalSPI extends AbstractImplOfExternalSPI {
 
-  // sink=p;AbstractImplOfExternalSPI;true;accept;(File);;Argument[0];path-injection;df-generated
+  // sink=p;ImplOfExternalSPI;true;accept;(File);;Argument[0];path-injection;df-generated
   // neutral=p;ImplOfExternalSPI;accept;(File);summary;df-generated
   @Override
   public boolean accept(File pathname) {

diff --git a/java/ql/test/utils/modelgenerator/dataflow/p/PrivateFlowViaPublicInterface.java b/java/ql/test/utils/modelgenerator/dataflow/p/PrivateFlowViaPublicInterface.java
@@ -29,7 +29,6 @@ public PrivateImplWithSink(File file) {
     }
 
     // summary=p;PrivateFlowViaPublicInterface$SPI;true;openStream;();;Argument[this];ReturnValue;taint;df-generated
-    // sink=p;PrivateFlowViaPublicInterface$SPI;true;openStream;();;Argument[this];path-injection;df-generated
     @Override
     public OutputStream openStream() throws IOException {
       return new FileOutputStream(file);

diff --git a/java/ql/test/utils/modelgenerator/dataflow/p/Sinks.java b/java/ql/test/utils/modelgenerator/dataflow/p/Sinks.java
@@ -88,7 +88,7 @@ public abstract class DataWriter {
   }
 
   public class DataWriterKind1 extends DataWriter {
-    // sink=p;Sinks$DataWriter;true;write;(String);;Argument[0];test-sink;df-generated
+    // sink=p;Sinks$DataWriterKind1;true;write;(String);;Argument[0];test-sink;df-generated
     // neutral=p;Sinks$DataWriterKind1;write;(String);summary;df-generated
     @Override
     public void write(String s) {
@@ -97,7 +97,7 @@ public void write(String s) {
   }
 
   public class DataWriterKind2 extends DataWriter {
-    // sink=p;Sinks$DataWriter;true;write;(String);;Argument[0];test-sink2;df-generated
+    // sink=p;Sinks$DataWriterKind2;true;write;(String);;Argument[0];test-sink2;df-generated
     // neutral=p;Sinks$DataWriterKind2;write;(String);summary;df-generated
     @Override
     public void write(String s) {

diff --git a/java/ql/test/utils/modelgenerator/dataflow/p/Sources.java b/java/ql/test/utils/modelgenerator/dataflow/p/Sources.java
@@ -92,7 +92,7 @@ public abstract class DataReader {
   }
 
   public class DataReaderKind1 extends DataReader {
-    // source=p;Sources$DataReader;true;read;();;ReturnValue;test-source;df-generated
+    // source=p;Sources$DataReaderKind1;true;read;();;ReturnValue;test-source;df-generated
     // neutral=p;Sources$DataReaderKind1;read;();summary;df-generated
     @Override
     public String read() {
@@ -101,7 +101,7 @@ public String read() {
   }
 
   public class DataReaderKind2 extends DataReader {
-    // source=p;Sources$DataReader;true;read;();;ReturnValue;test-source2;df-generated
+    // source=p;Sources$DataReaderKind2;true;read;();;ReturnValue;test-source2;df-generated
     // neutral=p;Sources$DataReaderKind2;read;();summary;df-generated
     @Override
     public String read() {