Changeset 162 for trunk/src/org/expeditee/simple/ExpediteeJEP.java

Timestamp:

07/28/08 15:08:13 (16 years ago)

Author:

ra33

Message:

Added faster versions of search frameset

File:

• trunk/src/org/expeditee/simple/ExpediteeJEP.java (modified) (4 diffs)

trunk/src/org/expeditee/simple/ExpediteeJEP.java

@@ -13 +13 @@
 
 public class ExpediteeJEP extends JEP {
-        Observer observer = new Observer() {
-                private String _attribute = "";
-
-                public void update(Observable ob, Object o) {
-                        _attribute = ((Variable) o).getName() + ": ";
-                }
-
-                @Override
-                public String toString() {
-                        return _attribute;
-                }
-        };
+        Observer observer = null;
         
         public ExpediteeJEP() {
@@ -33 +22 @@
                 setAllowAssignment(true);
                 setAllowUndeclared(true);
+                resetObserver();
         }
         
-        public void addObserver() {
+        public void resetObserver() {
+                observer = new Observer() {
+                        private String _attribute = "";
+
+                        public void update(Observable ob, Object o) {
+                                _attribute = ((Variable) o).getName();
+                        }
+
+                        @Override
+                        public String toString() {
+                                return _attribute;
+                        }
+                };
                 getSymbolTable().addObserver(observer);
                 getSymbolTable().addObserverToExistingVariables(observer);
@@ -48 +50 @@
                 nf.setMinimumFractionDigits(0);
                 nf.setMaximumFractionDigits(15);
-                return observer.toString() + nf.format(result);
+                return observer.toString()+ ": " + nf.format(result);
         }
 
@@ -63 +65 @@
                 }
         }
+
+        public String getNewVariable() {
+                return observer.toString();
+        }
 }