Dynamic Link Facility for VDM++

Dynamic Link Facility for VDM++ - CSKSYSTEMSCORPORATION...

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 Dynamic Link Facility for VDM++ ver.1.0 How to contact CSK SYSTEMS CORPORATION: http://www.csk.com/systems Web @ VDM.SP@csk.com General information The Dynamic Link Facility for VDM++ 1.0 Revised for VDMTools 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 Dynamic Link Facility for VDM++ Contents 1 Introduction 1 2 Overview 1 2.1 Specifying a DL Class in VDM++ . . . . . . . . . . . . . . . . . 3 2.2 Interfacing with a DL Class . . . . . . . . . . . . . . . . . . . . . 3 2.3 Creating a Shared Library . . . . . . . . . . . . . . . . . . . . . . 4 3 Example 4 3.1 The VDM++ Model . . . . . . . . . . . . . . . . . . . . . . . . . 4 3.2 Interface Layer . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 4 Using DL Classes in combination with the C++ Code Generator 8 4.1 Using Generated Code . . . . . . . . . . . . . . . . . . . . . . . . 8 4.2 Supplying a User Implementation . . . . . . . . . . . . . . . . . . 10 5 Reference Guide 11 5.1 DL Class Definitions . . . . . . . . . . . . . . . . . . . . . . . . . 11 5.2 The uselib Path Environment . . . . . . . . . . . . . . . . . . . 11 5.3 The Function DlClass call . . . . . . . . . . . . . . . . . . . . . 12 5.4 The Function DlClass delete . . . . . . . . . . . . . . . . . . . . 12 5.5 The Function DlClass new . . . . . . . . . . . . . . . . . . . . . . 12 5.6 The Class DlClass . . . . . . . . . . . . . . . . . . . . . . . . . . 13 5.7 The DLObject Class . . . . . . . . . . . . . . . . . . . . . . . . . 13 5.8 Opening Libraries . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 5.9 Closing Libraries . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 5.10 Creating a Shared Library . . . . . . . . . . . . . . . . . . . . . . 14 A System Requirements 17 B dlclass.h 18 C Example Files 20 C.1 VDM++ Layer . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 C.2 bigint dl.h . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 C.3 bigint dl.cc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 D Unix Makefile 27 E Windows Makefile 30 i The Dynamic Link Facility for VDM++ ii The Dynamic Link Facility for VDM++ 1 Introduction This document is an extension to the User Manual for the VDM++ Toolbox [ SYSd ]. Knowledge about C++ [ Str91 ] and The VDM C++ Library [ SYSa ] is also assumed. Throughout the document we use the term DL Classes (dy- namic link classes) to mean VDM++ classes for which external code is to be executed....
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 / 36

Dynamic Link Facility for VDM++ - CSKSYSTEMSCORPORATION...

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