| 1066 | } |
| 1067 | |
| 1068 | void mark_protect() const |
| 1069 | { |
| 1070 | if (this->mDat != nullptr) |
| 1071 | { |
| 1072 | if (this->mDat->protect_level > 1) |
| 1073 | throw cs::runtime_error("Constant tagged objects can not be copied"); |
| 1074 | this->mDat->protect_level = 1; |
| 1075 | } |
| 1076 | } |
| 1077 | |
| 1078 | void mark_constant() const |
| 1079 | { |
no test coverage detected