private static void appendSourceSinkInfos(StringBuilder buf, String key, Set<? extends SourceSinkInfo> sourceSinkInfoSet) { TreeSet<SourceSinkInfo> sortedLocSet = new TreeSet<>(); sortedLocSet.addAll(sourceSinkInfoSet); boolean first = true; buf.append(key); buf.append("("); for (SourceSinkInfo loc : sortedLocSet) { if (first) { first = false; } else { buf.append(","); } buf.append(loc.getLocation().toCompactString()); } buf.append(")"); } }
@Override public String toString() { return type.toString() + "@" + location.toCompactString() + "[vn=" + vn.getNumber() + ",when=" + when + "]"; } }
if (sourceSinkSet != null) { if (DEBUG_VERBOSE) { System.out.println("Modeling source/sink at " + location.toCompactString() + ": " + sourceSinkSet.toString());
checkLocation = "location " + loc.toCompactString();
System.out.println("Checking value source at " + location.toCompactString() + " for " + typeQualifierValue); System.out.println(" back=" + backwardsFact); System.out.println(" source=" + source);
FlowValue nextTQ = forwardsFact.getValue(next); if (DEBUG) { System.out.println("Comparing values at " + loc.toCompactString()); System.out.println(" Comparing " + topTQ + " and " + nextTQ);
private static void appendSourceSinkInfos(StringBuilder buf, String key, Set<? extends SourceSinkInfo> sourceSinkInfoSet) { TreeSet<SourceSinkInfo> sortedLocSet = new TreeSet<SourceSinkInfo>(); sortedLocSet.addAll(sourceSinkInfoSet); boolean first = true; buf.append(key); buf.append("("); for (SourceSinkInfo loc : sortedLocSet) { if (first) { first = false; } else { buf.append(","); } buf.append(loc.getLocation().toCompactString()); } buf.append(")"); } }
@Override public String toString() { return type.toString() + "@" + location.toCompactString() + "[vn=" + vn.getNumber() + ",when=" + when + "]"; } }
if (sourceSinkSet != null) { if (DEBUG_VERBOSE) { System.out.println("Modeling source/sink at " + location.toCompactString() + ": " + sourceSinkSet.toString());
checkLocation = "location " + loc.toCompactString();
System.out.println("Checking value source at " + location.toCompactString() + " for " + typeQualifierValue); System.out.println(" back=" + backwardsFact); System.out.println(" source=" + source);
FlowValue nextTQ = forwardsFact.getValue(next); if (DEBUG) { System.out.println("Comparing values at " + loc.toCompactString()); System.out.println(" Comparing " + topTQ + " and " + nextTQ);