The VDM C++ Library

The VDM C++ Library - CSKSYSTEMSCORPORATION VDMTools The...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CSKSYSTEMSCORPORATION VDMTools The VDM C++ Library ver.1.0 How to contact CSK SYSTEMS CORPORATION: http://www.csk.com/systems Web @ VDM.SP@csk.com General information The VDM C++ Library 1.0 Revised for VDMTools VDM-SL v8.2/VDM++ v8.2 c COPYRIGHT 2009 by CSK SYSTEMS CORPORATION The software described in this document is furnished under a license agreement. The software may be used or copied only under the terms of the license agreement. This document is subject to change without notice The VDM C++ Library Contents 1 Introduction 1 2 Notation Conventions 1 3 The general structure of a VDM value 2 4 General functions on VDM types 4 4.1 Printing values to ostreams . . . . . . . . . . . . . . . . . . . . . 8 5 Specific functions on the VDM types 9 5.1 Int . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 5.2 Real . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 5.3 Bool . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 5.4 Nil . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 5.5 Quote . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 5.6 Char . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 5.7 Text . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 5.8 Token . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 5.9 Map . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 5.10 Sequence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 5.11 Set . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 5.12 Record . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 5.12.1 The Record Information Map . . . . . . . . . . . . . . . . 29 5.13 Tuple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 5.14 ObjectRef . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 5.14.1 CGBase . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 5.15 Generic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 6 SETs, SEQuences and MAPs 37 6.1 SETs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 6.2 SEQuences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 6.3 MAPs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 7 Error messages 39 A Files 41 i The VDM C++ Library ii The VDM C++ Library 1 Introduction This document contains a description of the classes and methods which consti- tute the VDM C++ library. Some knowledge of C++ is a prerequisite in order to read this document. For each VDM type a corresponding C++ class exists imple- menting this type. In addition for the compound types sets, maps and sequences templates exist in the VDM C++ library that makes it possible to declare types with better type information....
View Full Document

This note was uploaded on 03/31/2010 for the course CAS 707 taught by Professor Ridhakhedri during the Spring '10 term at McMaster University.

Page1 / 45

The VDM C++ Library - CSKSYSTEMSCORPORATION VDMTools The...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online