4 import java.util.Vector;
6 public class ConstraintCheck {
11 public ConstraintCheck(String specname) {
12 this.specname=specname;
17 public void addVariable(String var) {
21 public void addArgument(ExpressionNode en) {
25 public String getSpec() {
29 public int numArgs() {
33 public ExpressionNode getArg(int i) {
34 return (ExpressionNode) args.get(i);
37 public String getVar(int i) {
38 return (String) vars.get(i);
41 public String printNode(int indent) {
42 String str="assert("+specname+"(";
43 for(int i=0; i<numArgs(); i++) {
47 str+=getArg(i).printNode(0);