import java.util.Vector;
public class TaskExitNode extends BlockStatementNode {
- Vector vfe;
- Vector ccs;
- public TaskExitNode(Vector vfe, Vector ccs) {
- this.vfe=vfe;
- this.ccs=ccs;
- }
+ Vector vfe;
+ Vector ccs;
+ public TaskExitNode(Vector vfe, Vector ccs) {
+ this.vfe=vfe;
+ this.ccs=ccs;
+ }
- public String printNode(int indent) {
- return "taskexit";
- }
+ public String printNode(int indent) {
+ return "taskexit";
+ }
- public Vector getFlagEffects() {
- return vfe;
- }
+ public Vector getFlagEffects() {
+ return vfe;
+ }
- public Vector getChecks() {
- return ccs;
- }
+ public Vector getChecks() {
+ return ccs;
+ }
- public int kind() {
- return Kind.TaskExitNode;
- }
+ public int kind() {
+ return Kind.TaskExitNode;
+ }
}