This method replace the oldOperator with the newOperator, make all connection to the new operator in the place of old operator @param oldOperator operator to be replaced @param newOperator operator to replace @throws FrontendException
(Operator oldOperator, Operator newOperator)
| 171 | * @throws FrontendException |
| 172 | */ |
| 173 | public void replace(Operator oldOperator, Operator newOperator) throws FrontendException; |
| 174 | |
| 175 | /** |
| 176 | * This method remove a node operatorToRemove. It also Connect all its successors to |
no outgoing calls