Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit f6e9013

Browse files
michaelnebelmichaelnebel
committed
C#: Update expected output of tests.
1 parent e66dce1 commit f6e9013

1 file changed

Lines changed: 18 additions & 14 deletions

File tree

‎csharp/ql/test/utils/model-generator/theorems/CaptureTheoremsForFreeSummaryModels.expected‎

Lines changed: 18 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,18 @@
1-
| Summaries;CollectionTheorems1<>;false;Add;(T);;Argument[0];Argument[this].SyntheticField[ArgT].Element;taint;generated |
2-
| Summaries;CollectionTheorems1<>;false;First;();;Argument[this].SyntheticField[ArgT].Element;ReturnValue;taint;generated |
3-
| Summaries;Theorems1<>;false;Apply;(System.Func<T,System.Int32>);;Argument[this].SyntheticField[ArgT];Argument[0].Parameter[0];taint;generated |
4-
| Summaries;Theorems1<>;false;Get;();;Argument[this].SyntheticField[ArgT];ReturnValue;taint;generated |
5-
| Summaries;Theorems1<>;false;Get;(System.Object);;Argument[this].SyntheticField[ArgT];ReturnValue;taint;generated |
6-
| Summaries;Theorems1<>;false;Id;(T);;Argument[0];ReturnValue;taint;generated |
7-
| Summaries;Theorems1<>;false;Set;(System.Int32,T);;Argument[1];Argument[this].SyntheticField[ArgT];taint;generated |
8-
| Summaries;Theorems1<>;false;Set;(T);;Argument[0];Argument[this].SyntheticField[ArgT];taint;generated |
9-
| Summaries;Theorems1<>;false;Theorems1;(T);;Argument[0];Argument[this].SyntheticField[ArgT];taint;generated |
10-
| Summaries;Theorems1<>;false;Transform;(System.Int32,T);;Argument[1];ReturnValue;taint;generated |
11-
| Summaries;Theorems1<>;false;Transform<>;(S);;Argument[0];ReturnValue;taint;generated |
12-
| Summaries;Theorems1<>;false;get_Prop;();;Argument[this].SyntheticField[ArgT];ReturnValue;taint;generated |
13-
| Summaries;Theorems1<>;false;set_Prop;(T);;Argument[0];Argument[this].SyntheticField[ArgT];taint;generated |
14-
| Summaries;Theorems2;false;Transform<>;(T);;Argument[0];ReturnValue;taint;generated |
1+
| Summaries;CollectionTheorems1<>;false;Add;(T);;Argument[0];Argument[this].Element;value;generated |
2+
| Summaries;CollectionTheorems1<>;false;AddMany;(System.Collections.Generic.IEnumerable<T>);;Argument[0].Element;Argument[this].Element;value;generated |
3+
| Summaries;CollectionTheorems1<>;false;First;();;Argument[this].Element;ReturnValue;value;generated |
4+
| Summaries;CollectionTheorems1<>;false;GetMany;();;Argument[this].Element;ReturnValue.Element;value;generated |
5+
| Summaries;CollectionTheorems2<>;false;Get;();;Argument[this].SyntheticField[ArgT];ReturnValue;value;generated |
6+
| Summaries;CollectionTheorems2<>;false;Set;(T);;Argument[0];Argument[this].SyntheticField[ArgT];value;generated |
7+
| Summaries;Theorems1<>;false;AddMany;(System.Collections.Generic.IEnumerable<T>);;Argument[0].Element;Argument[this].SyntheticField[ArgT];value;generated |
8+
| Summaries;Theorems1<>;false;Apply;(System.Func<T,System.Int32>);;Argument[this].SyntheticField[ArgT];Argument[0].Parameter[0];value;generated |
9+
| Summaries;Theorems1<>;false;Get;();;Argument[this].SyntheticField[ArgT];ReturnValue;value;generated |
10+
| Summaries;Theorems1<>;false;Get;(System.Object);;Argument[this].SyntheticField[ArgT];ReturnValue;value;generated |
11+
| Summaries;Theorems1<>;false;GetMany;();;Argument[this].SyntheticField[ArgT];ReturnValue.Element;value;generated |
12+
| Summaries;Theorems1<>;false;Id;(T);;Argument[0];Argument[this].SyntheticField[ArgT];value;generated |
13+
| Summaries;Theorems1<>;false;Id;(T);;Argument[this].SyntheticField[ArgT];ReturnValue;value;generated |
14+
| Summaries;Theorems1<>;false;Set;(System.Int32,T);;Argument[1];Argument[this].SyntheticField[ArgT];value;generated |
15+
| Summaries;Theorems1<>;false;Set;(T);;Argument[0];Argument[this].SyntheticField[ArgT];value;generated |
16+
| Summaries;Theorems1<>;false;Theorems1;(T);;Argument[0];Argument[this].SyntheticField[ArgT];value;generated |
17+
| Summaries;Theorems1<>;false;get_Prop;();;Argument[this].SyntheticField[ArgT];ReturnValue;value;generated |
18+
| Summaries;Theorems1<>;false;set_Prop;(T);;Argument[0];Argument[this].SyntheticField[ArgT];value;generated |

0 commit comments

Comments
 (0)