| Package | Description |
|---|---|
| org.eclipse.ocl.pivot.library.map |
| Class and Description |
|---|
| MapAtOperation
MapAtOperation realises the Map::at(key) library operation.
|
| MapExcludesAllOperation
MapExcludesAllOperation realises the Map::excludesAll(keys) library operation.
|
| MapExcludesMapOperation
MapIncludesMapOperation realises the Map::excludesMap(map) library operation.
|
| MapExcludesOperation
MapExcludesOperation realises the Map::excludes(key) library operation.
|
| MapExcludesPairOperation
MapExcludesPairOperation realises the Map::excludes(key, value) library operation.
|
| MapExcludesValueOperation
MapExcludesValueOperation realises the Map::excludesValue(value) library operation.
|
| MapExcludingAllOperation
MapExcludingAllOperation realises the Map::excludingAll(keys) library operation.
|
| MapExcludingMapOperation
MapExcludingMapOperation realises the Map::excludingMap(map) library operation.
|
| MapExcludingOperation
MapExcludingOperation realises the Map::excluding(key) library operation.
|
| MapExcludingPairOperation
MapExcludingPairOperation realises the Map::excluding(key, value) library operation.
|
| MapIncludesAllOperation
MapIncludesAllOperation realises the Map::includesAll(keys) library operation.
|
| MapIncludesMapOperation
MapIncludesMapOperation realises the Map::includesMap(map) library operation.
|
| MapIncludesOperation
MapIncludesOperation realises the Map::includes(key) library operation.
|
| MapIncludesPairOperation
MapIncludesPairOperation realises the Map::includes(key, value) library operation.
|
| MapIncludesValueOperation
MapIncludesValueOperation realises the Map::includesValue(value) library operation.
|
| MapIncludingMapOperation
MapIncludingMapOperation realises the Map::includingMap(map) library operation.
|
| MapIncludingPairOperation
MapIncludingPairOperation realises the Map::including(key, value) library operation.
|
| MapIsEmptyOperation
MapAtOperation realises the Map::isEmpty() library operation.
|
| MapKeysOperation
MapKeysOperation realises the Map::keys() library operation.
|
| MapKeyTypeProperty
MapKeyTypeProperty realizes the Map::keyType library property.
|
| MapNotEmptyOperation
MapAtOperation realises the Map::notEmpty() library operation.
|
| MapSizeOperation
MapSizeOperation realises the Map::size() library operation.
|
| MapValuesOperation
MapValuesOperation realises the Map::values() library operation.
|
| MapValueTypeProperty
MapValueTypeProperty realizes the Map::valueType library property.
|