void (Statement stat) { if (stat.type == StatementType.SWITCH) { SwitchStatement swst = (SwitchStatement)stat; int last = swst.getCaseStatements().size() - 1; if (last >= 0) { // empty switch possible Statement stlast = swst.getCaseStatements().get(last); if (stlast.getExprents() != null && stlast.getExprents().isEmpty()) { if (!stlast.getAllSuccessorEdges().get(0).explicit) { List<StatEdge> lstEdges = swst.getCaseEdges().get(last); lstEdges.remove(swst.getDefaultEdge()); if (lstEdges.isEmpty()) { swst.getCaseStatements().remove(last); swst.getCaseEdges().remove(last); } } } } } for (Statement st : stat.getStats()) { hideDefaultSwitchEdges(st); } }