Changes between Version 8 and Version 9 of OmnibusChanges

Timestamp:

08/03/13 15:06:08 (13 years ago)

Author:

siegel

Comment:

--

OmnibusChanges

@@ -37 +37 @@
 * 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:
+ * add an assignment statement at the current location: `v=InitialValue[v, DynamicTypeOf(t)]`
+* Evaluation of `DynamicTypeOf(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)