source: tests/raii/ctor-autogen.cfa @ fd54fef

arm-ehjacob/cs343-translationnew-ast-unique-expr
Last change on this file since fd54fef was fd54fef, checked in by Michael Brooks <mlbrooks@…>, 9 months ago

Converting the project to use the new syntax for otype, dtype and ttytpe.

Changed prelude (gen), libcfa and test suite to use it. Added a simple deprecation rule of the old syntax to the parser; we might wish to support both syntaxes "officially," like with an extra CLI switch, but this measure should serve as a simple reminder for our team to try the new syntax.

  • Property mode set to 100644
File size: 2.9 KB
Line 
1// TODO: add error cases (e.g., use of field constructors for managed types, etc.)
2
3enum Color { R, G, B };
4
5// empty struct/union should have generated ctor/dtors
6union U {};
7struct S {};
8
9struct SimpleUnion {
10        int x;
11        double y;
12        char z;
13};
14
15struct SimpleStruct {
16        int x;
17        double y;
18        char z;
19};
20
21// struct/union with members with generated ctor/dtors should themselves have generated ctor/dtors
22union PopulatedUnion {
23        Color c;
24        U u;
25        S s;
26};
27
28struct PopulatedStruct {
29        Color c;
30        U u;
31        S s;
32};
33
34// dtype-static generic type is otype
35forall(T &)
36struct DtypeStaticStruct {
37  T * data;
38  short size;
39};
40
41forall(T &)
42union DtypeStaticUnion {
43  T * data;
44  short size;
45};
46
47// dynamic generic type is otype
48forall(T)
49struct DynamicStruct {
50        T x;
51};
52
53forall(T)
54union DynamicUnion {
55        T x;
56};
57
58// struct/union that contains a generic type is
59struct GenericContainingStruct {
60        DynamicStruct(int) dsi;
61        DynamicStruct(double) dsd;
62        DynamicUnion(int) dui;
63        DynamicUnion(double) dud;
64        DtypeStaticStruct(int) dssi;
65        DtypeStaticStruct(float) dssf;
66        DtypeStaticUnion(int) dsui;
67        DtypeStaticUnion(float) dsuf;
68};
69
70union GenericContainingUnion {
71        DynamicStruct(int) dsi;
72        DynamicStruct(double) dsd;
73        DynamicUnion(int) dui;
74        DynamicUnion(double) dud;
75        DtypeStaticStruct(int) dssi;
76        DtypeStaticStruct(float) dssf;
77        DtypeStaticUnion(int) dsui;
78        DtypeStaticUnion(float) dsuf;
79};
80
81
82forall(T)
83T identity(T x) { return x; }
84
85// can identity e if only sized or only the assertion, but the combination breaks...
86// forall(dtype T | sized(T) | { void ?{}(T &); })
87// void identity(T x) {  }
88
89#if ERR1
90// managed type - defines a constructor - can't use field constructors
91struct Managed {
92        int x;
93};
94
95void ?{}(Managed & m) { m.x = 0; }
96
97// managed type since it contains a managed type - can't use field constructors
98struct InheritManaged {
99        Managed m;
100};
101
102Managed x = { 123 }; // error
103Managed y;           // okay
104
105InheritManaged z = { y };  // error?
106#endif
107
108int main() {
109        S s;
110        U u;
111        Color e;
112
113        // identity(R);  Color constant should be Color which is otype
114        identity(e);  // Color should be an otype
115        identity(u);  // U should be an otype
116        identity(s);  // S should be an otype
117
118        SimpleStruct ss;
119        SimpleUnion su;
120
121        identity(ss);
122        identity(su);
123
124        PopulatedStruct ps;
125        PopulatedUnion pu;
126
127        identity(ps); // should recursively be an otype
128        identity(pu); // should recursively be an otype
129
130        DynamicStruct(int) dsi;
131        DynamicStruct(double) dsd;
132        DynamicUnion(int) dui;
133        DynamicUnion(double) dud;
134        DtypeStaticStruct(int) dssi;
135        DtypeStaticStruct(float) dssf;
136        DtypeStaticUnion(int) dsui;
137        DtypeStaticUnion(float) dsuf;
138
139        identity(dsi);
140        identity(dsd);
141        // identity(dui); // xxx - codegen errors in generated thunk _temp3 (Box-pass-generated assignment return-temporary)
142        // identity(dud);
143        identity(dssi);
144        identity(dssf);
145        identity(dsui);
146        identity(dsuf);
147
148        GenericContainingStruct gcs;
149        GenericContainingUnion gcu;
150
151        identity(gcs);
152        identity(gcu);
153        printf( "done\n" );                             // non-empty .expect file
154}
Note: See TracBrowser for help on using the repository browser.