(BasicBlock source, BasicBlock destination, Object type)
| 233 | } |
| 234 | |
| 235 | public void addEdge(BasicBlock source, BasicBlock destination, Object type) { |
| 236 | graph.findOrCreateVertexFor(source).addEdgeTo(destination, type); |
| 237 | } |
| 238 | |
| 239 | private void addEdge(BasicBlock src, Label targetLabel, Map<Label, List<BasicBlock>> forwardRefs) { |
| 240 | BasicBlock target = bbMap.get(targetLabel); |