public CWCCompound(CWCond cond1, CWCond cond2) { this.cond1 = cond1; this.cond2 = cond2; }
public CWEIf(CWCond condition, CWExpr thenBody, CWExpr elseBody) { this.condition = condition; this.thenBody = thenBody; this.elseBody = elseBody; }
public CWCSign(CWCond condition) { this.condition = condition; }
public CWEWhile(CWCond condition, CWExpr body) { this.condition = condition; this.body = body; }