1.23
2.0
main
test-branch
| Line | |
|---|
| 1 | #include<stdio.h>
|
|---|
| 2 | #include<civlc.cvh>
|
|---|
| 3 | #include<bundle.cvh>
|
|---|
| 4 |
|
|---|
| 5 | typedef enum INIT {zero, one} Init;
|
|---|
| 6 | typedef union{
|
|---|
| 7 | int a;
|
|---|
| 8 | float b;
|
|---|
| 9 | } MyUnion;
|
|---|
| 10 |
|
|---|
| 11 | $domain dom0;
|
|---|
| 12 | $domain(2) dom2;
|
|---|
| 13 | $bundle bun;
|
|---|
| 14 | Init enumVar;
|
|---|
| 15 | int * ptr;
|
|---|
| 16 | MyUnion myunion;
|
|---|
| 17 | int main() {
|
|---|
| 18 | int a;
|
|---|
| 19 |
|
|---|
| 20 | $elaborate_domain(dom0);
|
|---|
| 21 | $elaborate_domain(dom2);
|
|---|
| 22 | a = enumVar;
|
|---|
| 23 | a = myunion.a;
|
|---|
| 24 | ptr = &a;
|
|---|
| 25 | $bundle_unpack(bun, &a);
|
|---|
| 26 | return 0;
|
|---|
| 27 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
