4 import java.util.Vector;
6 public class ConstraintCheck {
10 public ConstraintCheck(String specname) {
11 this.specname=specname;
15 public void addArgument(ExpressionNode en) {
19 public String getSpec() {
23 public int numArgs() {
27 public ExpressionNode getArg(int i) {
28 return (ExpressionNode) args.get(i);
31 public String printNode(int indent) {
32 String str="assert("+specname+"(";
33 for(int i=0;i<numArgs();i++) {
36 str+=getArg(i).printNode(0);