Beispiel #1
0
 public CWCCompound(CWCond cond1, CWCond cond2)
 {
     this.cond1 = cond1;
     this.cond2 = cond2;
 }
Beispiel #2
0
 public CWEIf(CWCond condition, CWExpr thenBody, CWExpr elseBody)
 {
     this.condition = condition;
     this.thenBody  = thenBody;
     this.elseBody  = elseBody;
 }
Beispiel #3
0
 public CWCSign(CWCond condition)
 {
     this.condition = condition;
 }
Beispiel #4
0
 public CWEWhile(CWCond condition, CWExpr body)
 {
     this.condition = condition;
     this.body      = body;
 }