Envision
A visual programming IDE for object-oriented languages
|
Public Member Functions | |
TypeArgumentBindings ()=default | |
TypeArgumentBindings (const TypeArgumentBindings &other) | |
~TypeArgumentBindings () | |
std::unique_ptr< Type > | bindingFor (FormalTypeArgument *argument) |
void | insert (FormalTypeArgument *argument, std::unique_ptr< Type > type) |
Private Attributes | |
std::map< FormalTypeArgument *, std::unique_ptr< Type > > | bindings_ |
This map is typically going to contain only very few elements, that's why we don't use unordered_map. More... | |
|
default |
OOModel::TypeArgumentBindings::~TypeArgumentBindings | ( | ) |
OOModel::TypeArgumentBindings::TypeArgumentBindings | ( | const TypeArgumentBindings & | other | ) |
std::unique_ptr< Type > OOModel::TypeArgumentBindings::bindingFor | ( | FormalTypeArgument * | argument | ) |
void OOModel::TypeArgumentBindings::insert | ( | FormalTypeArgument * | argument, |
std::unique_ptr< Type > | type | ||
) |
|
private |
This map is typically going to contain only very few elements, that's why we don't use unordered_map.