Skip to content

Commit 02ca7e4

Browse files
committed
Add (mostly empty) stratego file for transforming CSPAlts into C
1 parent 43f4ea5 commit 02ca7e4

File tree

1 file changed

+12
-0
lines changed
  • metac-csp/trans/MetaC-CSP/generate-c

1 file changed

+12
-0
lines changed
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
module MetaC-CSP/generate-c/alts
2+
3+
imports
4+
5+
signatures/MetaC-CSP-sig
6+
signatures/BaseC-sig
7+
8+
9+
rules
10+
11+
generate02: CSPAlts(alts) -> CompoundStatement([
12+
])

0 commit comments

Comments
 (0)