/** * Return a new instance of a label for the newly cloned scope. Maps are maintained * because Labels expect to share the same instance across a CFG. * * @param label to be renamed. * @return the new Label */ public Label getRenamedLabel(Label label) { if (Label.UNRESCUED_REGION_LABEL.equals(label)) return label; // Special case -- is there a way to avoid this? Label newLabel = this.labelRenameMap.get(label); if (newLabel == null) { newLabel = getRenamedLabelSimple(label); this.labelRenameMap.put(label, newLabel); } return newLabel; }
/** * Return a new instance of a label for the newly cloned scope. Maps are maintained * because Labels expect to share the same instance across a CFG. * * @param label to be renamed. * @return the new Label */ public Label getRenamedLabel(Label label) { if (Label.UNRESCUED_REGION_LABEL.equals(label)) return label; // Special case -- is there a way to avoid this? Label newLabel = this.labelRenameMap.get(label); if (newLabel == null) { newLabel = getRenamedLabelSimple(label); this.labelRenameMap.put(label, newLabel); } return newLabel; }