X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FBuildLattice.java;fp=Robust%2Fsrc%2FAnalysis%2FSSJava%2FBuildLattice.java;h=adce54e507835d538961940090168271e27847a0;hb=d06acf1c0be1fa63f5505cbcc7943676c4c0f008;hp=9db197469bc40e6b89f7593d7dd10e11b3b637da;hpb=b059650b69831891064d96da7b9c86a0ffaa6c39;p=IRC.git diff --git a/Robust/src/Analysis/SSJava/BuildLattice.java b/Robust/src/Analysis/SSJava/BuildLattice.java index 9db19746..adce54e5 100644 --- a/Robust/src/Analysis/SSJava/BuildLattice.java +++ b/Robust/src/Analysis/SSJava/BuildLattice.java @@ -351,7 +351,7 @@ public class BuildLattice { + trace); } - // 3) convert the node m into a chain of nodes with the last node in the chain having m’s + // 3) convert the node m into a chain of nodes with the last node in the chain having m's // outgoing edges. Set outgoingSCNodeSet = scGraph.getOutgoingNodeSet(SCNode); System.out.println(" outgoing scnode set from " + SCNode + "=" + outgoingSCNodeSet);