Delete unused show() methods in choice point and trail
Change-Id: Ie0204e6bf367dddfa27cc36437edf1af763ad6f5
diff --git a/src/lang/ChoicePointStack.java b/src/lang/ChoicePointStack.java
index d11b813..1b72074 100644
--- a/src/lang/ChoicePointStack.java
+++ b/src/lang/ChoicePointStack.java
@@ -85,15 +85,4 @@
// Since the stack is represented as a linked list, there is no limit.
return Integer.MAX_VALUE;
}
-
- /** Shows the contents of this <code>CPFStack</code>. */
- public void show() {
- if (top == null) {
- System.out.println("{choice point stack is empty!}");
- return;
- }
- for (ChoicePointFrame e = top; e != null; e = e.prior) {
- System.out.println(e);
- }
- }
}
diff --git a/src/lang/Trail.java b/src/lang/Trail.java
index 686d750..a782781 100644
--- a/src/lang/Trail.java
+++ b/src/lang/Trail.java
@@ -81,17 +81,5 @@
t.undo();
}
}
-
- /** Shows the contents of this <code>Trail</code>. */
- public void show() {
- if (empty()) {
- System.out.println("{trail stack is empty!}");
- return;
- }
- for (int i=0; i<=top; i++) {
- System.out.print("trail[" + i + "]: ");
- System.out.println(buffer[i]);
- }
- }
}
