Checks whether `ptr` has been activated this run, i.e., whether we can find it in `unwind_stack`.
| 31 | /// Checks whether `ptr` has been activated this run, i.e., whether we can |
| 32 | /// find it in `unwind_stack`. |
| 33 | bool context::activated(block* ptr) const noexcept { |
| 34 | return std::find(path.begin(), path.end(), ptr) != path.end(); |
| 35 | } |
| 36 | |
| 37 | /// Tries to find `name` in `parameters` and otherwise raises an exception. |
| 38 | const std::string& context::parameter(const std::string& name) const { |