Skip to content

Commit 3fca673

Browse files
committed
C#: Update model generator expected test output.
1 parent 541cde9 commit 3fca673

1 file changed

Lines changed: 8 additions & 13 deletions

File tree

csharp/ql/test/utils/modelgenerator/dataflow/Summaries.cs

Lines changed: 8 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -287,8 +287,6 @@ public virtual T ReturnParam(T input)
287287
return input;
288288
}
289289

290-
// Missing model. Should have been lifted.
291-
// SPURIOUS-neutral=Models;GenericWithVirtual1<T>;StubImplementation;(T);summary;df-generated
292290
public virtual T StubImplementation(T input)
293291
{
294292
throw null;
@@ -297,15 +295,15 @@ public virtual T StubImplementation(T input)
297295

298296
public class DerivedGenericWithVirtual : GenericWithVirtual1<string>
299297
{
300-
// SPURIOUS-heuristic-summary=Models;DerivedGenericWithVirtual;true;ReturnParam;(System.String);;Argument[0];ReturnValue;value;df-generated
301-
// SPURIOUS-contentbased-summary=Models;DerivedGenericWithVirtual;true;ReturnParam;(System.String);;Argument[0];ReturnValue;value;dfc-generated
298+
// heuristic-summary=Models;GenericWithVirtual1<T>;true;ReturnParam;(T);;Argument[0];ReturnValue;value;df-generated
299+
// contentbased-summary=Models;GenericWithVirtual1<T>;true;ReturnParam;(T);;Argument[0];ReturnValue;value;dfc-generated
302300
public override string ReturnParam(string input)
303301
{
304302
return input;
305303
}
306304

307-
// SPURIOUS-heuristic-summary=Models;DerivedGenericWithVirtual;true;StubImplementation;(System.String);;Argument[0];ReturnValue;value;df-generated
308-
// SPURIOUS-contentbased-summary=Models;DerivedGenericWithVirtual;true;StubImplementation;(System.String);;Argument[0];ReturnValue;value;dfc-generated
305+
// heuristic-summary=Models;GenericWithVirtual1<T>;true;StubImplementation;(T);;Argument[0];ReturnValue;value;df-generated
306+
// contentbased-summary=Models;GenericWithVirtual1<T>;true;StubImplementation;(T);;Argument[0];ReturnValue;value;dfc-generated
309307
public override string StubImplementation(string input)
310308
{
311309
return input;
@@ -321,9 +319,6 @@ public virtual T ReturnParam(T input)
321319
return input;
322320
}
323321

324-
// Missing model. Should have been lifted.
325-
// SPURIOUS-neutral=Models;GenericWithVirtual2<T>;StubImplementation;(T);summary;df-generated
326-
327322
public virtual T StubImplementation(T input)
328323
{
329324
throw null;
@@ -334,15 +329,15 @@ public class NestedGenericWithVirtual<T> : GenericWithVirtual2<string> { }
334329

335330
public class DerivedNestedGenericWithVirtual : NestedGenericWithVirtual<int>
336331
{
337-
// SPURIOUS-heuristic-summary=Models;DerivedNestedGenericWithVirtual;true;ReturnParam;(System.String);;Argument[0];ReturnValue;value;df-generated
338-
// SPURIOUS-contentbased-summary=Models;DerivedNestedGenericWithVirtual;true;ReturnParam;(System.String);;Argument[0];ReturnValue;value;dfc-generated
332+
// heuristic-summary=Models;GenericWithVirtual2<T>;true;ReturnParam;(T);;Argument[0];ReturnValue;value;df-generated
333+
// contentbased-summary=Models;GenericWithVirtual2<T>;true;ReturnParam;(T);;Argument[0];ReturnValue;value;dfc-generated
339334
public override string ReturnParam(string input)
340335
{
341336
return input;
342337
}
343338

344-
// SPURIOUS-heuristic-summary=Models;DerivedNestedGenericWithVirtual;true;StubImplementation;(System.String);;Argument[0];ReturnValue;value;df-generated
345-
// SPURIOUS-contentbased-summary=Models;DerivedNestedGenericWithVirtual;true;StubImplementation;(System.String);;Argument[0];ReturnValue;value;dfc-generated
339+
// heuristic-summary=Models;GenericWithVirtual2<T>;true;StubImplementation;(T);;Argument[0];ReturnValue;value;df-generated
340+
// contentbased-summary=Models;GenericWithVirtual2<T>;true;StubImplementation;(T);;Argument[0];ReturnValue;value;dfc-generated
346341
public override string StubImplementation(string input)
347342
{
348343
return input;

0 commit comments

Comments
 (0)