protected void process(Call n) {
CEProcedureCallExt ext = (CEProcedureCallExt) CEExt_c.ext(n);
MethodInstance mi = n.methodInstance();
SetConditionsAbsVal scs = autil.call(mi, n);
this.setConds.addAll(scs.setConditions());
ext.recordSetConditionsResults(this.autil.currentContext(), scs.setConditions());
}
protected void process(New n) {
SetConditionsAbsVal scs = autil.call(n.constructorInstance(), n);
this.setConds.addAll(scs.setConditions());
CEProcedureCallExt ext = (CEProcedureCallExt) CEExt_c.ext(n);
ext.recordSetConditionsResults(this.autil.currentContext(), scs.setConditions());
}
