diff options
Diffstat (limited to 'src/spiglet/spiglet2kanga/SpgGoal.java')
-rw-r--r-- | src/spiglet/spiglet2kanga/SpgGoal.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/spiglet/spiglet2kanga/SpgGoal.java b/src/spiglet/spiglet2kanga/SpgGoal.java index c7dd464..9490743 100644 --- a/src/spiglet/spiglet2kanga/SpgGoal.java +++ b/src/spiglet/spiglet2kanga/SpgGoal.java @@ -12,4 +12,10 @@ public class SpgGoal extends SpgSym { public void addProc(SpgProc p) { procs.addElement(p); } + + public void printGoal() { + for (int i=0; i<procs.size(); i++) { + procs.elementAt(i).printProc(); + } + } } |