}
- if( fsenDoingTracking.getPrettyIdentifier().equals( "workLoop" ) ) {
- System.out.println( "\n\nWriteDyn for "+fsenDoingTracking+" at "+fn );
- }
-
-
VarSrcTokTable thisVstTable = variableResults.get(fn);
for (int i = 0; i < fn.numNext(); i++) {
FlatNode nn = fn.getNext(i);
if (!readyOrStatic2dynamicSet.isEmpty()) {
-
-
- if( fsenDoingTracking.getPrettyIdentifier().equals( "workLoop" ) ) {
- System.out.println( " found newly dyn vars: "+readyOrStatic2dynamicSet );
- }
-
-
// either add these results to partial fixed-point result
// or make a new one if we haven't made any here yet
FlatEdge fe = new FlatEdge(fn, nn);
}
}
}
-
- if( fsenDoingTracking.getPrettyIdentifier().equals( "workLoop" ) ) {
- System.out.println( "WriteDyn for "+fsenDoingTracking+" at "+fn+" is done\n\n" );
- }
}
private void addDynamicVar( FlatSESEEnterNode fsen,