@Override public String toString() { StringBuilder str = new StringBuilder(); str.append("InitialReceiverFlow").append("<").append(getState()).append(">"); return str.toString(); }
public void setInitialReceiverFlow(BigBang bb, AnalysisType declaringType) { TypeFlow<?> declaringTypeFlow = declaringType.getTypeFlow(bb, false); InitialReceiverTypeFlow initialReceiverFlow = new InitialReceiverTypeFlow(method, declaringType); declaringTypeFlow.addUse(bb, initialReceiverFlow); originalMethodFlows.setInitialParameterFlow(initialReceiverFlow, 0); }