The Dynamic Link Facility

The Dynamic Link Facility - VDMTools The Dynamic Link...

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 @ [email protected] 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

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 / 35

The Dynamic Link Facility - VDMTools The Dynamic Link...

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