diff org.eclipse.jface.databinding/src/org/eclipse/jface/internal/databinding/provisional/viewers/TreeNode.d @ 85:6be48cf9f95c

Work on databinding
author Frank Benoit <benoit@tionex.de>
date Sat, 18 Apr 2009 13:54:50 +0200
parents 0a55d2d5a946
children
line wrap: on
line diff
--- a/org.eclipse.jface.databinding/src/org/eclipse/jface/internal/databinding/provisional/viewers/TreeNode.d	Sat Apr 18 09:25:29 2009 +0200
+++ b/org.eclipse.jface.databinding/src/org/eclipse/jface/internal/databinding/provisional/viewers/TreeNode.d	Sat Apr 18 13:54:50 2009 +0200
@@ -10,6 +10,7 @@
  *     Stefan Xenos, IBM - initial API and implementation
  *******************************************************************************/
 module org.eclipse.jface.internal.databinding.provisional.viewers.TreeNode;
+import org.eclipse.jface.internal.databinding.provisional.viewers.UnorderedTreeContentProvider;
 
 import java.lang.all;
 
@@ -52,7 +53,7 @@
     private IObservableSet children;
     
     private bool hasPendingNode = false;
-    private bool isStale;
+    private bool isStale_;
     private bool listeningToChildren = false;
     private bool prefetchEnqueued = false;
     
@@ -78,7 +79,7 @@
         if (this.parent is null) {
             this.parent = parent;
         } else {
-            if (parent.equals(this.parent)) {
+            if (parent.opEquals(this.parent)) {
                 return;
             }
             if (parents is null) {
@@ -142,10 +143,10 @@
     
     private void updateStale() {
         bool willBeStale = children.isStale();
-        if (willBeStale !is isStale) {
-            isStale = willBeStale;
+        if (willBeStale !is isStale_) {
+            isStale_ = willBeStale;
             
-            contentProvider.changeStale(isStale? 1 : -1);
+            contentProvider.changeStale(isStale_? 1 : -1);
         }
     }
     
@@ -153,7 +154,7 @@
      * @return TODO
      */
     public bool isStale() {
-        return isStale;
+        return isStale_;
     }
 
     /**
@@ -190,7 +191,7 @@
             children.dispose();
             children = null;
             
-            if (listeningToChildren && isStale) {
+            if (listeningToChildren && isStale_) {
                 contentProvider.changeStale(-1);
             }
         }