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(ConstructorCall n) {
SetConditionsAbsVal scs = autil.constructorCall(n.constructorInstance(), n);
Set<AbstractLocation> setConds = scs.setConditions();
if (n.kind().equals(ConstructorCall.SUPER)) {
SetConditionsAbsVal t = null;
try {
// Add in the results from all of the initializers
for (SetConditionsAbsVal v :
autil.analyzeInitializers(SetConditionsAbsVal.EMPTY).allItems()) {
t = (t == null) ? v : t.upperBound(v);
}
} catch (SemanticException e) {
throw new InternalCompilerError(e);
}
if (!t.setConditions().isEmpty()) {
setConds = new LinkedHashSet<AbstractLocation>();
setConds.addAll(scs.setConditions());
setConds.addAll(t.setConditions());
}
}
this.setConds.addAll(setConds);
CEProcedureCallExt ext = (CEProcedureCallExt) CEExt_c.ext(n);
ext.recordSetConditionsResults(this.autil.currentContext(), setConds);
}
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());
}
