bug fix in toString()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@509 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
b42017bd37
commit
7ecacb4662
|
@ -508,14 +508,14 @@ public class BasicHeapGraph extends HeapGraph {
|
||||||
public String toString() {
|
public String toString() {
|
||||||
StringBuffer result = new StringBuffer();
|
StringBuffer result = new StringBuffer();
|
||||||
result.append("Nodes:\n");
|
result.append("Nodes:\n");
|
||||||
for (int i = 0; i < getMaxNumber(); i++) {
|
for (int i = 0; i <= getMaxNumber(); i++) {
|
||||||
Object node = getNode(i);
|
Object node = getNode(i);
|
||||||
if (node != null) {
|
if (node != null) {
|
||||||
result.append(i).append(" ").append(node).append("\n");
|
result.append(i).append(" ").append(node).append("\n");
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
result.append("Edges:\n");
|
result.append("Edges:\n");
|
||||||
for (int i = 0; i < getMaxNumber(); i++) {
|
for (int i = 0; i <= getMaxNumber(); i++) {
|
||||||
Object node = getNode(i);
|
Object node = getNode(i);
|
||||||
if (node != null) {
|
if (node != null) {
|
||||||
result.append(i).append(" -> ");
|
result.append(i).append(" -> ");
|
||||||
|
|
Loading…
Reference in New Issue