(Protocol oldTop, Protocol newTop)
| 550 | } |
| 551 | |
| 552 | private void checkAndSwitchTop(Protocol oldTop, Protocol newTop){ |
| 553 | if(oldTop == top_prot) { |
| 554 | top_prot = newTop; |
| 555 | top_prot.setUpProtocol(this); |
| 556 | } |
| 557 | } |
| 558 | |
| 559 | public void insertProtocol(Protocol prot, Position position, Class<? extends Protocol> neighbor_prot) throws Exception { |
| 560 | if(neighbor_prot == null) throw new IllegalArgumentException("neighbor_prot is null"); |
no test coverage detected