()
| 38 | assert invariant(); |
| 39 | } |
| 40 | public Object get() { |
| 41 | precondition(!empty(), |
| 42 | "get() from empty CircularQueue"); |
| 43 | assert invariant(); |
| 44 | Object returnVal = data[out]; |
| 45 | data[out] = null; |
| 46 | out++; |
| 47 | if(out >= data.length) { |
| 48 | out = 0; |
| 49 | wrapped = false; |
| 50 | } |
| 51 | assert postcondition( |
| 52 | returnVal != null, |
| 53 | "Null item in CircularQueue"); |
| 54 | assert invariant(); |
| 55 | return returnVal; |
| 56 | } |
| 57 | // Design-by-contract support methods: |
| 58 | private static void |
| 59 | precondition(boolean cond, String msg) { |
nothing calls this directly
no test coverage detected