Skip to content

Commit 6259ecf

Browse files
committed
C#: Add copy of shared functionality.
1 parent dadc143 commit 6259ecf

File tree

1 file changed

+29
-0
lines changed

1 file changed

+29
-0
lines changed
Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
import ModelGeneratorUtilsSpecific
2+
3+
bindingset[input, output, kind]
4+
string asSummaryModel(TargetAPI api, string input, string output, string kind) {
5+
result =
6+
asPartialModel(api) + input + ";" //
7+
+ output + ";" //
8+
+ kind
9+
}
10+
11+
bindingset[input, output]
12+
string asValueModel(TargetAPI api, string input, string output) {
13+
result = asSummaryModel(api, input, output, "value")
14+
}
15+
16+
bindingset[input, output]
17+
string asTaintModel(TargetAPI api, string input, string output) {
18+
result = asSummaryModel(api, input, output, "taint")
19+
}
20+
21+
bindingset[input, kind]
22+
string asSinkModel(TargetAPI api, string input, string kind) {
23+
result = asPartialModel(api) + input + ";" + kind
24+
}
25+
26+
bindingset[output, kind]
27+
string asSourceModel(TargetAPI api, string output, string kind) {
28+
result = asPartialModel(api) + output + ";" + kind
29+
}

0 commit comments

Comments
 (0)