(Operator pred, Operator operatorToInsert, Operator succ)
| 455 | } |
| 456 | |
| 457 | @Override |
| 458 | public void insertBetween(Operator pred, Operator operatorToInsert, Operator succ) throws FrontendException { |
| 459 | add(operatorToInsert); |
| 460 | Pair<Integer, Integer> pos = disconnect(pred, succ); |
| 461 | connect(pred, pos.first, operatorToInsert, 0); |
| 462 | connect(operatorToInsert, 0, succ, pos.second); |
| 463 | } |
| 464 | |
| 465 | /** |
| 466 | * A method to check if there is a path from a given node to another node |
nothing calls this directly
no test coverage detected