+
+ public void recordtagchange(TagWrapper tw, TaskDescriptor td) {
+ assert(tw.initts==null);
+ for(Iterator<TagState> tsit=tw.ts.iterator(); tsit.hasNext();) {
+ TagState ts=tsit.next();
+ ts.addSource(td);
+ addresult(ts.getTag(), ts);
+ if (!discovered.contains(ts)) {
+ discovered.add(ts);
+ toprocess.add(ts);
+ }
+ }
+ }
+