@Override public TypeFlow<ValueNode> copy(BigBang bb, MethodFlowsGraph methodFlows) { return new ArrayCopyTypeFlow(bb, this, methodFlows); }
@Override public String toString() { StringBuilder str = new StringBuilder(); str.append("ArrayCopyTypeFlow<").append(getState()).append(">"); return str.toString(); } }
@Override public void onObservedUpdate(BigBang bb) { assert this.isClone(); processStates(bb, srcArrayState, dstArrayState); processStates(bb, srcArrayState, addedDstState); } else if (addedDstSize == 0) { processStates(bb, addedSrcState, dstArrayState); processStates(bb, srcArrayState, addedDstState); processStates(bb, addedSrcState, dstArrayState); } else { processStates(bb, srcArrayState, dstArrayState);
ArrayCopyTypeFlow arrayCopyFlow = new ArrayCopyTypeFlow(node, type, srcBuilder.get(), dstBuilder.get()); methodFlow.addMiscEntry(arrayCopyFlow); return arrayCopyFlow; ArrayCopyTypeFlow arrayCopyFlow = new ArrayCopyTypeFlow(node, null, originalArrayBuilder.get(), newArrayBuilder.get()); methodFlow.addMiscEntry(arrayCopyFlow); return arrayCopyFlow;