8182838485868788899091
static private Op createAssign(Op op, VarExprList exprs) { // Create, copying the var-expr list VarExprList x = new VarExprList() ; x.addAll(exprs) ; return new OpAssign(op, x) ; } private OpAssign(Op subOp) {
8485868788899091929394
static private Op createExtend(Op op, VarExprList exprs) { // Create, copying the var-expr list VarExprList x = new VarExprList() ; x.addAll(exprs) ; return new OpExtend(op, x) ; } private OpExtend(Op subOp) {
7273747576777879808182
} static private Op createAssign(Op op, VarExprList exprs) { // Create, copying the var-expr list VarExprList x = new VarExprList() ; x.addAll(exprs) ; return new OpAssign(op, x) ; } private OpAssign(Op subOp) { super(subOp) ;
7677787980818283848586
} static private Op createExtend(Op op, VarExprList exprs) { // Create, copying the var-expr list VarExprList x = new VarExprList() ; x.addAll(exprs) ; return new OpExtend(op, x) ; } private OpExtend(Op subOp) { super(subOp) ;