| 1056 | } |
| 1057 | |
| 1058 | void mark_trivial() const |
| 1059 | { |
| 1060 | if (this->mDat != nullptr) |
| 1061 | { |
| 1062 | if (this->mDat->protect_level > 0) |
| 1063 | throw cs::runtime_error("Constant tagged objects can not be copied"); |
| 1064 | this->mDat->protect_level = 0; |
| 1065 | } |
| 1066 | } |
| 1067 | |
| 1068 | void mark_protect() const |
| 1069 | { |
no test coverage detected