src/spiglet/spiglet2kanga/SpgGoal.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

package spiglet.spiglet2kanga;

import java.util.Vector;

public class SpgGoal extends SpgSym {
	Vector<SpgProc> procs;
	
	public SpgGoal() {
		procs = new Vector<SpgProc>();
	}
	
	public void addProc(SpgProc p) {
		procs.addElement(p);
	}
	
	public void printGoal() {
		for (int i=0; i<procs.size(); i++) {
			procs.elementAt(i).printProc();
		}
	}
}