Skip to content

Commit 0cd4ccb

Browse files
committed
C#/Java: Update model generator expected test output.
1 parent b041829 commit 0cd4ccb

File tree

2 files changed

+4
-0
lines changed

2 files changed

+4
-0
lines changed

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

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -844,12 +844,14 @@ public class SyntheticCollections
844844
private object[] array;
845845

846846
// summary=Models;SyntheticCollections;false;SyntheticCollections;(System.Object[]);;Argument[0].Element;Argument[this];taint;df-generated
847+
// contentbased-summary=Models;SyntheticCollections;false;SyntheticCollections;(System.Object[]);;Argument[0];Argument[this].SyntheticField[Models.SyntheticCollections.array];value;df-generated
847848
public SyntheticCollections(object[] array)
848849
{
849850
this.array = array;
850851
}
851852

852853
// summary=Models;SyntheticCollections;false;GetElement;(System.Int32);;Argument[this];ReturnValue;taint;df-generated
854+
// contentbased-summary=Models;SyntheticCollections;false;GetElement;(System.Int32);;Argument[this].SyntheticField[Models.SyntheticCollections.array].Element;ReturnValue;value;df-generated
853855
public object GetElement(int index)
854856
{
855857
return array[index];

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

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,11 +4,13 @@ public class SyntheticCollections {
44
private String[] array;
55

66
// summary=p;SyntheticCollections;true;SyntheticCollections;(String[]);;Argument[0].ArrayElement;Argument[this];taint;df-generated
7+
// contentbased-summary=p;SyntheticCollections;true;SyntheticCollections;(String[]);;Argument[0];Argument[this].SyntheticField[p.SyntheticCollections.array];value;df-generated
78
public SyntheticCollections(String[] array) {
89
this.array = array;
910
}
1011

1112
// summary=p;SyntheticCollections;true;getElement;(Integer);;Argument[this];ReturnValue;taint;df-generated
13+
// contentbased-summary=p;SyntheticCollections;true;getElement;(Integer);;Argument[this].SyntheticField[p.SyntheticCollections.array].ArrayElement;ReturnValue;value;df-generated
1214
public String getElement(Integer index) {
1315
return array[index];
1416
}

0 commit comments

Comments
 (0)