Download Model Editor

20
Model Editor—User Manual
Cross-References
The dictionary type object is used to include in the project document model, the
project’s cross references.
For example, the project cross references for the simple document project are translated
in the project document by:
... B ...
BASIC ARITHMETIC
machine
used in main ltx 1 (IMPORTS)
BASIC IO
machine
used in main ltx 1 (IMPORTS)
.
.
.
... Z ...
zz
variable
defined in little example 1
used in little example 1 (INVARIANT)
used in little example 1 (enter)
used in little example 1 (maximum)
used in little example 3 (INVARIANT)
modified in little example 1 (INITIALISATION)
modified in little example 1 (enter)
Reminder: The cross-references list in alphabetical order the identifiers (variable, operation, machine, ...) for all project components. For each identifier, the tool shows:
• components that define it
• components that use it
• components that modify it
In the latter two cases, the tool shows:
• in which clause the identifier is used or modified
• in which operation the identifier is used or modified