return new VariableBinding[] { vb2, vb3 };
}
private SwitchEdge getOrCreateCaseGroup(Node header, Map<Integer, SwitchEdge> switchEdges, int startPc)
{
SwitchEdge switchEdge= switchEdges.get(startPc);
if (switchEdge == null)
{
Node caseGroupNode= graph.createNode(startPc);
switchEdge= (SwitchEdge) graph.addEdge(header, caseGroupNode, SwitchEdge.class);
switchEdges.put(startPc, switchEdge);