| 142 | } |
| 143 | |
| 144 | void array::wait() { |
| 145 | if (!is_available()) { |
| 146 | if (event().valid()) { |
| 147 | event().wait(); |
| 148 | detach_event(); |
| 149 | } |
| 150 | set_status(Status::available); |
| 151 | } |
| 152 | } |
| 153 | |
| 154 | void array::eval() { |
| 155 | // Ensure the array is ready to be read |
no test coverage detected