Download B-Toolkit User`s Manual - Computer Science and Engineering

4.9
Hypertext View of a Development
The Hypertext Tool is invoked from the Tool Bar in any environment, and produces a selection of currently-analysed constructs together with a summary page of those constructs.
Each represents a hypertext version of the corresponding file in the CFG directory, and is
automatically created (in the HTX directory) for each of the following:
• on analysis of a user-introduced machine, refinement or implementation
• on analysis of a base-generated machine or implementation
• on analysis of an interface-generated machine or implementation
• on introduction of an SLIB construct
• on introduction of a TLIB construct
• on enumeration
4.9.1
Referencing constructs
In each referencing construct, a hypertext link is created to the relevant subsidiary construct for the appearance of each of the following:
• a machine, refinement or implementation name
• a set name
• a constant name
• a variable name
• an operation name
4.9.2
Referenced constructs
Every construct construct_name.ext in the HTX directory has the filename construct_name.ext.html;
destination hypertext links are constructed using the following convention:
• for the construct itself:
– <A NAME="MACHINE">MACHINE</A>
– <A NAME="REFINEMENT">REFINEMENT</A>
B-Toolkit User’s Manual, Version 3.2
c
1996
B-Core (UK) Ltd.