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()); }