2 import java.util.Vector;
4 public class TaskExitNode extends BlockStatementNode {
7 public TaskExitNode(Vector vfe, Vector ccs) {
12 public String printNode(int indent) {
16 public Vector getFlagEffects() {
20 public Vector getChecks() {
25 return Kind.TaskExitNode;