Changes between Version 6 and Version 7 of OmnibusChanges

Timestamp:

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

Author:

siegel

Comment:

--

OmnibusChanges

@@ -41 +41 @@
  * 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)
+* Evaluation of `InitialValue[v,d]` is as follows:
+ * for a primitive dynamic type, some undefined value (null expression)?
+ * if `d` is a tuple, create the concrete tuple of type `d` with each component obtained by evaluating `InitialValue[component, componentType]`
+  * XXX problem: maybe take address argument instead of variable, or LHS expression???. Or just `Initialize(LHSExpression, DynamicType)` statement.
+ * if `d` is an array type, create a unique symbolic constant name based on the LHS expression and a symbolic constant with that name and type `d` (no recursion in this case)