notes

diff --git a/Robust/src/designnotes b/Robust/src/designnotes
index fa0367576da9893ca26c929c3dae54f8f54fa794..968817c743691b408f0479f9b18dce0eaed6c67d 100644 (file)
--- a/Robust/src/designnotes
+++ b/Robust/src/designnotes
@@ -2,6 +2,23 @@ Objects have:
 Collection of Flags
    Flags have type/name associated with them
    Are either present or not present
+
+Assumptions:
+Task parameters can't be modified
+
+How do we handle new object allocation?
+Idea #1: Simply lose precision -- don't even attempt analysis
+         Improvement - let set flags at allocation
+
+Non parameter variables: 
+1) Type must contain flags
+2) Apply flag additions to all states
+
+------------------------------------------------------------------------------
+
+
+
+
 Collection of Tags
    Tags have type/name associated with them   
    Also have UID associated with them