3738394041424344454647
else fv = fv.addVar(Constraint.RECEIVER, thisType); } if (paramNames != null) { fv = fv.addVars(paramNames, paramTypes); } return fv; } public ConsList<Binding> matches(TypeHierarchy types, Method method, TACInstruction instr) {
4041424344454647484950
if (resType != null) fv = fv.addVar(Constraint.RESULT, resType); if (paramTypes != null) fv = fv.addVars(paramNames, paramTypes); return fv; } public ConsList<Binding> matches(TypeHierarchy types, Method method,