From: bdemsky <bdemsky>
Date: Thu, 18 May 2006 20:35:00 +0000 (+0000)
Subject: notes
X-Git-Tag: preEdgeChange~878
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=508a1075901c39184a846ca1b1b6353d38098b8e;p=IRC.git

notes
---

diff --git a/Robust/src/designnotes b/Robust/src/designnotes
index fa036757..968817c7 100644
--- 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