C#: Update expected test output.

michaelnebel · michaelnebel · commit 854674a71c51 · 2024-06-24T13:07:30.000+02:00
diff --git a/csharp/ql/test/utils/modelgenerator/dataflow/Sinks.cs b/csharp/ql/test/utils/modelgenerator/dataflow/Sinks.cs
@@ -101,7 +101,6 @@ public void ManualSinkNeutral(object o)
 
     // Not a new sink as this callable already has a manual sink.
     // neutral=Sinks;NewSinks;ManualSinkAlreadyDefined;(System.Object);summary;df-generated
-    // SPURIOUS-sink=Sinks;NewSinks;false;ManualSinkAlreadyDefined;(System.Object);;Argument[0];test-sink;df-generated
     public void ManualSinkAlreadyDefined(object o)
     {
         Sink(o);
diff --git a/csharp/ql/test/utils/modelgenerator/dataflow/Sources.cs b/csharp/ql/test/utils/modelgenerator/dataflow/Sources.cs
@@ -68,14 +68,12 @@ public string Read()
     // Not a new source as this callable has been manually modelled
     // as source neutral.
     // neutral=Sources;NewSources;ManualNeutralSource;();summary;df-generated
-    // SPURIOUS-source=Sources;NewSources;false;ManualNeutralSource;();;ReturnValue;local;df-generated
     public string ManualNeutralSource()
     {
         return Console.ReadLine();
     }
 
     // Not a new source as this callable already has a manual source.
-    // SPURIOUS-source=Sources;NewSources;false;ManualSourceAlreadyDefined;();;ReturnValue;local;df-generated
     // neutral=Sources;NewSources;ManualSourceAlreadyDefined;();summary;df-generated
     public string ManualSourceAlreadyDefined()
     {

Original file line number	Diff line number	Diff line change
`@@ -101,7 +101,6 @@ public void ManualSinkNeutral(object o)`
`101`	`101`
`102`	`102`	`// Not a new sink as this callable already has a manual sink.`
`103`	`103`	`// neutral=Sinks;NewSinks;ManualSinkAlreadyDefined;(System.Object);summary;df-generated`
`104`		`- // SPURIOUS-sink=Sinks;NewSinks;false;ManualSinkAlreadyDefined;(System.Object);;Argument[0];test-sink;df-generated`
`105`	`104`	`public void ManualSinkAlreadyDefined(object o)`
`106`	`105`	`{`
`107`	`106`	`Sink(o);`
Original file line number	Diff line number	Diff line change
`@@ -68,14 +68,12 @@ public string Read()`
`68`	`68`	`// Not a new source as this callable has been manually modelled`
`69`	`69`	`// as source neutral.`
`70`	`70`	`// neutral=Sources;NewSources;ManualNeutralSource;();summary;df-generated`
`71`		`- // SPURIOUS-source=Sources;NewSources;false;ManualNeutralSource;();;ReturnValue;local;df-generated`
`72`	`71`	`public string ManualNeutralSource()`
`73`	`72`	`{`
`74`	`73`	`return Console.ReadLine();`
`75`	`74`	`}`
`76`	`75`
`77`	`76`	`// Not a new source as this callable already has a manual source.`
`78`		`- // SPURIOUS-source=Sources;NewSources;false;ManualSourceAlreadyDefined;();;ReturnValue;local;df-generated`
`79`	`77`	`// neutral=Sources;NewSources;ManualSourceAlreadyDefined;();summary;df-generated`
`80`	`78`	`public string ManualSourceAlreadyDefined()`
`81`	`79`	`{`