Changes between Version 7 and Version 8 of OmnibusChanges

Timestamp:

08/03/13 14:58:07 (13 years ago)

Author:

siegel

Comment:

--

OmnibusChanges

@@ -43 +43 @@
 * 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)
+ * define a method in the `Evaluator`, `SymbolicExpression computeInitialValue(LHSExpression expr, SymbolicType dynamicType);`
+ * if `dynamicType` is a tuple type, create the concrete tuple of type of that type with each component obtained by evaluating `computeInitialValue(dotExpression(…), componentType)`
+ * if `dynamicType` is an array type, create a unique symbolic constant name based on the LHS expression and a symbolic constant with that name and type `dynamicType` (no recursion in this case)
 
 
-