import java.util.*;
public class FlatPrefetchNode extends FlatNode {
+ public Integer siteid;
HashSet<PrefetchPair> hspp;
public FlatPrefetchNode() {
hspp = new HashSet<PrefetchPair>();
+ siteid = new Integer(1);
}
public String toString() {
- return "prefetchnode";
+ String st="prefetch(";
+ boolean first=true;
+ for(Iterator<PrefetchPair> it=hspp.iterator();it.hasNext();) {
+ PrefetchPair pp=it.next();
+ if (!first)
+ st+=", ";
+ first=false;
+ st+=pp;
+ }
+ return st+")";
}
public int kind() {