Skip to content

Commit 0b39c5b

Browse files
committed
C#/Java: Update model generator expected output.
1 parent 80497f5 commit 0b39c5b

File tree

2 files changed

+0
-5
lines changed

2 files changed

+0
-5
lines changed

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

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -651,14 +651,12 @@ private class Content1 : BaseContent
651651
private object field;
652652

653653
// summary=Models;Inheritance+BaseContent;true;GetValue;();;Argument[this];ReturnValue;taint;df-generated
654-
// SPURIOUS-contentbased-summary=Models;Inheritance+Content1;true;GetValue;();;Argument[this].SyntheticField[Models.Inheritance+Content1.field];ReturnValue;value;dfc-generated
655654
public override object GetValue()
656655
{
657656
return field;
658657
}
659658

660659
// summary=Models;Inheritance+BaseContent;true;SetValue;(System.Object);;Argument[0];Argument[this];taint;df-generated
661-
// SPURIOUS-contentbased-summary=Models;Inheritance+Content1;true;SetValue;(System.Object);;Argument[0];Argument[this].SyntheticField[Models.Inheritance+Content1.field];value;dfc-generated
662660
public override void SetValue(object o)
663661
{
664662
field = o;

java/ql/test/utils/modelgenerator/dataflow/p/PrivateFlowViaPublicInterface.java

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -29,9 +29,6 @@ public PrivateImplWithSink(File file) {
2929
}
3030

3131
// summary=p;PrivateFlowViaPublicInterface$SPI;true;openStream;();;Argument[this];ReturnValue;taint;df-generated
32-
// This summary shouldn't be created because the method is private.
33-
// This is most likely because the lifting logic hasn't been properly adapted.
34-
// SPURIOUS-contentbased-summary=p;PrivateFlowViaPublicInterface$PrivateImplWithSink;false;openStream;();;Argument[this].SyntheticField[p.PrivateFlowViaPublicInterface$PrivateImplWithSink.file];ReturnValue;taint;dfc-generated
3532
@Override
3633
public OutputStream openStream() throws IOException {
3734
return new FileOutputStream(file);

0 commit comments

Comments
 (0)