Trim everything below a given operator. The specified operator will NOT be removed. @param op Operator to trim everything after.
(E op)
| 273 | * @param op Operator to trim everything after. |
| 274 | */ |
| 275 | public void trimBelow(E op) { |
| 276 | trimBelow(getSuccessors(op)); |
| 277 | } |
| 278 | |
| 279 | private void trimBelow(List<E> ops) { |
| 280 | if (ops != null) { |
no test coverage detected