Java: Update model generator test expected output.

github · Jun 24, 2024 · 24685a0 · 24685a0
1 parent c687dcb
commit 24685a0
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/java/ql/test/utils/modelgenerator/dataflow/p/Sinks.java b/java/ql/test/utils/modelgenerator/dataflow/p/Sinks.java
@@ -73,7 +73,6 @@ public void wrapSinkSimpleType(String s) {
  }
 
  // Not a new sink as this callable already has a manual sink.
- // SPURIOUS-sink=p;Sinks;true;manualSinkAlreadyDefined;(Object);;Argument[0];test-sink;df-generated
  // neutral=p;Sinks;manualSinkAlreadyDefined;(Object);summary;df-generated
  public void manualSinkAlreadyDefined(Object o) {
  sink(o);

diff --git a/java/ql/test/utils/modelgenerator/dataflow/p/Sources.java b/java/ql/test/utils/modelgenerator/dataflow/p/Sources.java
@@ -69,14 +69,12 @@ public String read() {
 
  // Not a new source as this callable has been manually modelled
  // as source neutral.
- // SPURIOUS-source=p;Sources;true;manualNeutralSource;();;ReturnValue;test-source;df-generated
  // neutral=p;Sources;manualNeutralSource;();summary;df-generated
  public String manualNeutralSource() {
  return source();
  }
 
  // Not a new source as this callable already has a manual source.
- // SPURIOUS-source=p;Sources;true;manualSourceAlreadyDefined;();;ReturnValue;test-source;df-generated
  // neutral=p;Sources;manualSourceAlreadyDefined;();summary;df-generated
  public String manualSourceAlreadyDefined() {
  return source();