* @brief Inserts new pointerType with specific name to context. * * @par Preconditions * - @a pointerType is not null */
| 186 | * - @a pointerType is not null |
| 187 | */ |
| 188 | void Context::addPointerType(const std::shared_ptr<PointerType> &pointerType) |
| 189 | { |
| 190 | assert(pointerType && "violated precondition - pointerType cannot be null"); |
| 191 | |
| 192 | pointerTypes.emplace(pointerType->getPointedType(), pointerType); |
| 193 | } |
| 194 | |
| 195 | /** |
| 196 | * @brief Checks if context contains reference type. |