From 508a1075901c39184a846ca1b1b6353d38098b8e Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 18 May 2006 20:35:00 +0000
Subject: [PATCH] notes

---
 Robust/src/designnotes | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

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
-- 
2.34.1