The VDM Toolbox API

The VDM Toolbox API - VDMTools The VDM Toolbox API ver.1.0 How to contact CSK SYSTEMS CORPORATION http/www.csk.com/systems Web [email protected]

Info iconThis preview shows pages 1–5. 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
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CSKSYSTEMSCORPORATION VDMTools The VDM Toolbox API ver.1.0 How to contact CSK SYSTEMS CORPORATION: http://www.csk.com/systems Web @ [email protected] General information The VDM Toolbox API 1.0 — Revised for VDMTools VDM-SL v8.2 and 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 Toolbox API Contents 1 Introduction 1 2 CORBA - The Basics 2 2.1 IDL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 3 The VDM Toolbox API 3 3.1 IDL Description of The Tool API . . . . . . . . . . . . . . . 3 3.1.1 VDMProject . . . . . . . . . . . . . . . . . . . . . . . 4 3.1.2 VDMModuleRepos . . . . . . . . . . . . . . . . . . . . 4 3.1.3 VDMParser . . . . . . . . . . . . . . . . . . . . . . . . 5 3.1.4 VDMInterpreter . . . . . . . . . . . . . . . . . . . . . . 6 3.1.5 VDMErrors . . . . . . . . . . . . . . . . . . . . . . . . 8 3.2 IDL Description of VDM Values . . . . . . . . . . . . . . . . 9 3.2.1 VDM Values as Distributed Objects . . . . . . . . . . . 11 3.2.2 Using Values Returned from the Interpreter . . . . . . 12 3.2.3 Constructing VDM Values in the Client . . . . . . . . 13 3.2.4 Converting Distributed VDM Values to “real” VDM C++ Values . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 3.3 Handling of Exceptions . . . . . . . . . . . . . . . . . . . . . 15 4 Writing a C++ Client 16 4.1 Choosing a CORBA Implementation . . . . . . . . . . . . . . 16 4.2 Implementing a Client . . . . . . . . . . . . . . . . . . . . . . 17 4.2.1 Initializing the CORBA Services . . . . . . . . . . . . . 17 4.2.2 Acquiring the Application Object . . . . . . . . . . . . 18 4.2.3 Object References in C++ . . . . . . . . . . . . . . . . 20 4.2.4 Configuring the Current Project . . . . . . . . . . . . . 20 4.2.5 Using the Parser . . . . . . . . . . . . . . . . . . . . . 21 4.2.6 Using the Type Checker . . . . . . . . . . . . . . . . . 22 4.2.7 Using the Interpreter . . . . . . . . . . . . . . . . . . . 22 4.2.8 Additional Aspects of the Example . . . . . . . . . . . 24 4.3 Compiling the Client . . . . . . . . . . . . . . . . . . . . . . 24 4.3.1 Supported Compilers . . . . . . . . . . . . . . . . . . . 25 4.4 Running the Client . . . . . . . . . . . . . . . . . . . . . . . 25 5 Writing a Java Client 26 5.1 Choosing a CORBA Implementation . . . . . . . . . . . . . . 26 5.2 Implementing a Client . . . . . . . . . . . . . . . . . . . . . . 27 5.2.1 Importing CORBA Services . . . . . . . . . . . . . . . 27 5.2.2 Acquiring the Application Object . . . . . . . . . . . . 27 i The VDM Toolbox API 5.2.3 Configuring the Current Project . . . . . . . . . . . . . 30 5.2.4 Using the Parser . . . . . . . . . . . . . . . . . . . . . 30 5.2.5 Using the Type Checker . . . . . . . . . . . . . . . . . 31 5.2.6 Using the Interpreter . . . . . . . . . . . . . . . . . . .....
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 / 85

The VDM Toolbox API - VDMTools The VDM Toolbox API ver.1.0 How to contact CSK SYSTEMS CORPORATION http/www.csk.com/systems Web [email protected]

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

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