Rename

The Rename facility is available under the Tool Bar and provides a limited capability for the renaming of a configured construct.

It is not possible to rename the following constructs:

a library construct
a construct which has been generated
a construct which is currently open for editing
a machine/refinement/implementation which is currently analysed
a base/enumeration/interface which is currently generated
a document which is currently marked up

It is not possible to rename a construct to the same name as that of a currently committed construct (irrespective of the type of the construct).

In a successful rename, the construct name and filename are changed; it may be necessary to edit constructs containing references to the renamed construct.

A full on-line help listing is available in the Contents Page Also available in the form of a complete Index. Blogo