The Dynamic Link Facility

The Dynamic Link Facility - CSKSYSTEMSCORPORATION VDMTools...

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 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 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 Contents 1 Introduction 1 1.1 Using This Manual . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 Getting Started 2 2.1 The Basic Idea . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2.2 An Example with Trigonometric Functions . . . . . . . . . . . . . 4 3 Dynamic Link Components 9 3.1 Dynamic Link Modules . . . . . . . . . . . . . . . . . . . . . . . . 10 3.2 Type Conversion Functions . . . . . . . . . . . . . . . . . . . . . 10 3.3 Converting Records . . . . . . . . . . . . . . . . . . . . . . . . . . 11 3.3.1 Using Records in combination with the Code Generator . . 14 3.4 Converting Tokens . . . . . . . . . . . . . . . . . . . . . . . . . . 14 3.5 The uselib Path Environment . . . . . . . . . . . . . . . . . . . 14 3.6 DL Module Initialisation . . . . . . . . . . . . . . . . . . . . . . . 14 3.6.1 Module Loading . . . . . . . . . . . . . . . . . . . . . . . . 15 3.6.2 Module Unloading . . . . . . . . . . . . . . . . . . . . . . 15 3.7 Creating a Shared Library . . . . . . . . . . . . . . . . . . . . . . 15 A System Requirements 17 B Overview of the Trignometric Example 17 B.1 The Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 B.1.1 The Module CYLINDER . . . . . . . . . . . . . . . . . . . 19 B.1.2 The Dynamic Link Modules MATHLIB and CYLIO . . . 20 B.2 The Shared Libraries . . . . . . . . . . . . . . . . . . . . . . . . . 21 B.2.1 The MATHLIB shared library . . . . . . . . . . . . . . . . 21 B.2.2 The CYLIO shared library . . . . . . . . . . . . . . . . . . 23 B.3 Makefiles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 B.3.1 Linux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 B.3.2 Solaris 2.6 . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 B.3.3 Windows . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 C Trouble Shooting 29 C.1 Segmentation Fault . . . . . . . . . . . . . . . . . . . . . . . . . . 30 C.2 Using Tcl/Tk . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 C.3 Global Objects and initialisation of Global Values . . . . . . . . . 31 C.4 Standard input and output under Microsoft Windows . . . . . . . 31 i The Dynamic Link Facility ii The Dynamic Link Facility 1 Introduction This manual describes a feature of the VDMTools called the Dynamic Link facil- ity. This feature enables that VDM-SL specifications can be combined with code written in C++. This combination enables that a VDM-SL specification during interpretation can use and execute parts that are written in C++. It is calledinterpretation can use and execute parts that are written in C++....
View Full Document

Page1 / 35

The Dynamic Link Facility - CSKSYSTEMSCORPORATION VDMTools...

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