Changes between Version 5 and Version 6 of OmnibusChanges

Timestamp:

08/03/13 13:33:13 (13 years ago)

Author:

siegel

Comment:

--

OmnibusChanges

@@ -26 +26 @@
 * construct and set the heap type in the constructor for `Evaluator`, just like the other special types
 
+== Translation ==
+
+Thoughts on processing struct definitions:
+
+* transform the AST to factor out all struct definitions embedded in declarations.  This is really part of "side-effect-removal".
+* translate a struct definition `struct foo { … } ` as follows.
+ * Let `t` be the `CIVLType` resulting from translating the ABC type.
+ * Create a new `Variable` of type `CIVLDynamicType` and add it to the current scope. Call the variable `__struct_foo__`.
+ * Create as assignment statement at the current location: `__struct_foo__ = DynamicTypeOf(t)`
+* any variable declaration with a compound type (struct, union, array) should be translated as follows:
+ * add the variable `v` to the current scope with the translated type `t` as usual
+ * add an assignment statement at the current location: `v=InitialValue[v, CIVLDynamicType(t)]`
+* Evaluation of `CIVLDynamicType(t)` in a state `s` is defined as follows:
+ * if `t` is a struct type, say with tag `foo`, then the result is the result of evaluating the variable (in s) `__struct_foo__`
+ * if `t` is an array type with element type `E` and length expression `l`, the result is obtained by evaluating `CIVLDynamicType(E)`, call the result `de`; evaluating `l`, call the result `dl`; and return `completeArrayType(de,dl)` (eliding the wrapping and unwrapping of the symbolic type into a symbolic expression value)
+
+
+