Skip to content

Commit ed72cdc

Browse files
committed
C#: Add model generator test cases with in/out parameters.
1 parent 9d3d3de commit ed72cdc

File tree

3 files changed

+28
-0
lines changed

3 files changed

+28
-0
lines changed
Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,4 @@
11
unexpectedModel
2+
| Unexpected contentbased-summary found: Models;ParameterModifiers;false;Copy;(System.Object,System.Object);;Argument[0];ReturnValue;value;dfc-generated |
23
expectedModel
4+
| Expected contentbased-summary missing: Models;ParameterModifiers;false;Copy;(System.Object,System.Object);;Argument[0];Argument[1];value;dfc-generated |
Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,4 @@
11
unexpectedModel
2+
| Unexpected summary found: Models;ParameterModifiers;false;Copy;(System.Object,System.Object);;Argument[0];ReturnValue;taint;df-generated |
23
expectedModel
4+
| Expected summary missing: Models;ParameterModifiers;false;Copy;(System.Object,System.Object);;Argument[0];Argument[1];taint;df-generated |

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

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1034,3 +1034,27 @@ public override object GetValue()
10341034
}
10351035
}
10361036
}
1037+
1038+
public class ParameterModifiers
1039+
{
1040+
// contentbased-summary=Models;ParameterModifiers;false;Copy;(System.Object,System.Object);;Argument[0];Argument[1];value;dfc-generated
1041+
// summary=Models;ParameterModifiers;false;Copy;(System.Object,System.Object);;Argument[0];Argument[1];taint;df-generated
1042+
public void Copy(object key, out object value)
1043+
{
1044+
value = key;
1045+
}
1046+
1047+
// contentbased-summary=Models;ParameterModifiers;false;CopyToRef;(System.Object,System.Object);;Argument[0];Argument[1];value;dfc-generated
1048+
// summary=Models;ParameterModifiers;false;CopyToRef;(System.Object,System.Object);;Argument[0];Argument[1];taint;df-generated
1049+
public void CopyToRef(object key, ref object value)
1050+
{
1051+
value = key;
1052+
}
1053+
1054+
// contentbased-summary=Models;ParameterModifiers;false;InReturn;(System.Object);;Argument[0];ReturnValue;value;dfc-generated
1055+
// summary=Models;ParameterModifiers;false;InReturn;(System.Object);;Argument[0];ReturnValue;taint;df-generated
1056+
public object InReturn(in object v)
1057+
{
1058+
return v;
1059+
}
1060+
}

0 commit comments

Comments
 (0)