hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 19:26:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Update expected test output.

Browse Source
This commit is contained in:
Michael Nebel
2022-09-06 15:22:21 +02:00
parent 372a6107d6
commit d580a8a078
1 changed files with 14 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
csharp/ql/test/utils/model-generator/theorems/CaptureTheoremsForFreeSummaryModels.expected
View File

@@ -2,17 +2,17 @@
| Summaries;CollectionTheorems1<>;false;AddMany;(System.Collections.Generic.IEnumerable<T>);;Argument[0].Element;Argument[this].Element;value;generated |
| Summaries;CollectionTheorems1<>;false;First;();;Argument[this].Element;ReturnValue;value;generated |
| Summaries;CollectionTheorems1<>;false;GetMany;();;Argument[this].Element;ReturnValue.Element;value;generated |
| Summaries;CollectionTheorems2<>;false;Get;();;Argument[this].SyntheticField[ArgT];ReturnValue;value;generated |
| Summaries;CollectionTheorems2<>;false;Set;(T);;Argument[0];Argument[this].SyntheticField[ArgT];value;generated |
| Summaries;Theorems1<>;false;AddMany;(System.Collections.Generic.IEnumerable<T>);;Argument[0].Element;Argument[this].SyntheticField[ArgT];value;generated |
| Summaries;Theorems1<>;false;Apply;(System.Func<T,System.Int32>);;Argument[this].SyntheticField[ArgT];Argument[0].Parameter[0];value;generated |
| Summaries;Theorems1<>;false;Get;();;Argument[this].SyntheticField[ArgT];ReturnValue;value;generated |
| Summaries;Theorems1<>;false;Get;(System.Object);;Argument[this].SyntheticField[ArgT];ReturnValue;value;generated |
| Summaries;Theorems1<>;false;GetMany;();;Argument[this].SyntheticField[ArgT];ReturnValue.Element;value;generated |
| Summaries;Theorems1<>;false;Id;(T);;Argument[0];Argument[this].SyntheticField[ArgT];value;generated |
| Summaries;Theorems1<>;false;Id;(T);;Argument[this].SyntheticField[ArgT];ReturnValue;value;generated |
| Summaries;Theorems1<>;false;Set;(System.Int32,T);;Argument[1];Argument[this].SyntheticField[ArgT];value;generated |
| Summaries;Theorems1<>;false;Set;(T);;Argument[0];Argument[this].SyntheticField[ArgT];value;generated |
| Summaries;Theorems1<>;false;Theorems1;(T);;Argument[0];Argument[this].SyntheticField[ArgT];value;generated |
| Summaries;Theorems1<>;false;get_Prop;();;Argument[this].SyntheticField[ArgT];ReturnValue;value;generated |
| Summaries;Theorems1<>;false;set_Prop;(T);;Argument[0];Argument[this].SyntheticField[ArgT];value;generated |
| Summaries;CollectionTheorems2<>;false;Get;();;Argument[this].SyntheticField[ArgType0];ReturnValue;value;generated |
| Summaries;CollectionTheorems2<>;false;Set;(T);;Argument[0];Argument[this].SyntheticField[ArgType0];value;generated |
| Summaries;Theorems1<>;false;AddMany;(System.Collections.Generic.IEnumerable<T>);;Argument[0].Element;Argument[this].SyntheticField[ArgType0];value;generated |
| Summaries;Theorems1<>;false;Apply;(System.Func<T,System.Int32>);;Argument[this].SyntheticField[ArgType0];Argument[0].Parameter[0];value;generated |
| Summaries;Theorems1<>;false;Get;();;Argument[this].SyntheticField[ArgType0];ReturnValue;value;generated |
| Summaries;Theorems1<>;false;Get;(System.Object);;Argument[this].SyntheticField[ArgType0];ReturnValue;value;generated |
| Summaries;Theorems1<>;false;GetMany;();;Argument[this].SyntheticField[ArgType0];ReturnValue.Element;value;generated |
| Summaries;Theorems1<>;false;Id;(T);;Argument[0];Argument[this].SyntheticField[ArgType0];value;generated |
| Summaries;Theorems1<>;false;Id;(T);;Argument[this].SyntheticField[ArgType0];ReturnValue;value;generated |
| Summaries;Theorems1<>;false;Set;(System.Int32,T);;Argument[1];Argument[this].SyntheticField[ArgType0];value;generated |
| Summaries;Theorems1<>;false;Set;(T);;Argument[0];Argument[this].SyntheticField[ArgType0];value;generated |
| Summaries;Theorems1<>;false;Theorems1;(T);;Argument[0];Argument[this].SyntheticField[ArgType0];value;generated |
| Summaries;Theorems1<>;false;get_Prop;();;Argument[this].SyntheticField[ArgType0];ReturnValue;value;generated |
| Summaries;Theorems1<>;false;set_Prop;(T);;Argument[0];Argument[this].SyntheticField[ArgType0];value;generated |