78 |
return cac.value; |
return cac.value; |
79 |
} |
} |
80 |
|
|
81 |
|
|
82 |
|
// AAaarrgghh, tried to find a few hours to how to set nodes dirty |
83 |
|
// mudyc, XXX |
84 |
|
public void makeAllDirty(Object node) { |
85 |
|
CacheEntry cac = (CacheEntry)cache.get(node); |
86 |
|
if(cac == null) { |
87 |
|
cac = new CacheEntry(); |
88 |
|
cac.node = node; |
89 |
|
cache.put(node, cac); |
90 |
|
} |
91 |
|
|
92 |
|
Iterator it = cache.entrySet().iterator(); |
93 |
|
while(it.hasNext()) { |
94 |
|
Map.Entry entry = (Map.Entry) it.next(); |
95 |
|
Object o = cache.get(entry.getKey()); |
96 |
|
CacheEntry ce = (CacheEntry)o; |
97 |
|
ce.value = DIRTY; |
98 |
|
cache.put(ce.node, ce); |
99 |
|
} |
100 |
|
} |
101 |
} |
} |