+\r
+ public String toStringPretty() {\r
+ String tokHighlighter = "o";\r
+\r
+ String str = "VarSrcTokTable\n";\r
+\r
+ Set s;\r
+ Iterator itr; \r
+ Iterator<VariableSourceToken> vstItr;\r
+\r
+ str += " trueSet\n";\r
+ vstItr = trueSet.iterator(); \r
+ while( vstItr.hasNext() ) {\r
+ str += " "+tokHighlighter+" "+vstItr.next()+"\n";\r
+ }\r
+\r
+ str += " sese2vst\n";\r
+ itr = sese2vst.entrySet().iterator();\r
+ while( itr.hasNext() ) {\r
+ Map.Entry me = (Map.Entry) itr.next();\r
+ FlatSESEEnterNode sese = (FlatSESEEnterNode) me.getKey();\r
+ HashSet<VariableSourceToken> s1 = (HashSet<VariableSourceToken>) me.getValue(); \r
+ assert s1 != null;\r
+\r
+ str += " "+sese.getPrettyIdentifier()+" -> \n";\r
+\r
+ vstItr = s1.iterator();\r
+ while( vstItr.hasNext() ) {\r
+ str += " "+tokHighlighter+" "+vstItr.next()+"\n";\r
+ }\r
+ }\r
+\r
+ str += " var2vst\n";\r
+ itr = var2vst.entrySet().iterator();\r
+ while( itr.hasNext() ) {\r
+ Map.Entry me = (Map.Entry) itr.next();\r
+ TempDescriptor var = (TempDescriptor) me.getKey();\r
+ Set<VariableSourceToken> s1 = (Set<VariableSourceToken>) me.getValue();\r
+ assert s1 != null;\r
+\r
+ str += " "+var+" -> \n";\r
+\r
+ vstItr = s1.iterator();\r
+ while( vstItr.hasNext() ) {\r
+ str += " "+tokHighlighter+" "+vstItr.next()+"\n";\r
+ }\r
+ }\r
+\r
+ str += " sv2vst\n";\r
+ itr = sv2vst.entrySet().iterator();\r
+ while( itr.hasNext() ) {\r
+ Map.Entry me = (Map.Entry) itr.next();\r
+ SVKey key = (SVKey) me.getKey();\r
+ Set<VariableSourceToken> s1 = (Set<VariableSourceToken>) me.getValue();\r
+ assert s1 != null;\r
+\r
+ str += " "+key+" -> \n";\r
+\r
+ vstItr = s1.iterator();\r
+ while( vstItr.hasNext() ) {\r
+ str += " "+tokHighlighter+" "+vstItr.next()+"\n";\r
+ }\r
+ }\r
+\r
+ return str;\r
+ }\r