Download Tutorial for Overture/VDM-SL

CHAPTER 3. AN INTRODUCTION TO OVERTURE TOOL SUPPORT FOR VDM-SL
Figure 3.3: Properties for the AlarmSL Project
Figure 3.4: The Outline View connected to the Editor view
In the standard Overture perspective there is a VDM Quick Interpreter view in a pane in the
same area as the problems view. This can be used for evaluation of standard VDM expressions
independent of all VDM projects incorporated in your Overture IDE. This can be very convenient
to gain understanding of the different VDM operators. In Figure 3.5 it is possible to see how a
couple of expressions (typed in at the box at the botton of the view) are evaluated6 . Note that in
order to get a console where you are able to make use of definitions you need to use the console
launch mode as described in Section 3.5.1 below.
Most of the other features of the workbench, such as the menus and toolbars, are similar to those
6
If errors appear in this evaluation the current version of the Overture IDE simply yield a Fatal error where it is
anticipated that later releases will provide more helpful run-time errors to the users.
5