Trim everything below a given operator. The specified operator will NOT be removed. @param op Operator to trim everything after. @throws FrontendException
(Operator op)
| 517 | * @throws FrontendException |
| 518 | */ |
| 519 | public void trimBelow(Operator op) throws FrontendException { |
| 520 | if (getSuccessors(op) != null) { |
| 521 | List<Operator> succs = new ArrayList<Operator>(); |
| 522 | succs.addAll(getSuccessors(op)); |
| 523 | for (Operator succ : succs) { |
| 524 | disconnect(op, succ); |
| 525 | trimBelow(succ); |
| 526 | remove(succ); |
| 527 | } |
| 528 | } |
| 529 | } |
| 530 | } |
no test coverage detected