is a submodule of |
| ||||||||||||||||||||
has modular siblings |
| ||||||||||||||||||||
inherits from |
| ||||||||||||||||||||
has class siblings |
| ||||||||||||||||||||
has properties |
| ||||||||||||||||||||
is defined at |
|
<Toplevel Module>
TmDoc
Model
Abstraction
class: |
Location
|
Module
Logical
module: |
Path
| |||||
module: |
Abstraction
| |||||
module: |
Leaf
| |||||
module: |
Node
| |||||
✗ | class: |
Location
| ||||
class: |
SetOfLocation
|
Object
Object
(
Builtin-Module
)
Abstract
(
TmStd::Lsm
)
Abstract
(
TmStd::Lsm::Product
)
Location
(
TmDoc::Model::Abstraction
)
includes |
| ||||||||||||||||||||||||||||||||||||
has properties |
|
Location
(
TmDoc::Model::Module::Logical
)
has properties |
|
Location
(
TmDoc::Model::Object::Logical
)
Abstract
(
TmStd::Lsm::Collection
)