Main WebInterpreter with Debugging Functionality for VDM++
The current objectives of this subproject are the development of a tool for debug VDM++ models. This tool will be deployed as an Eclipse debug plugin, extending the built-in debugging features in the Eclipse Framework. After the 5th Overture workshop we tried to use the VDMTools CORBA API to enable debugging from Eclipse. We came to the conclusion that some of the CORBA functionality namely the EvalCmd? method needs to return the result that is usually displayed in the interpreter window. -- HugoMacedo - 09 Out 2008
Show attachments
Hide attachments
| I | Attachment | Action | Size | Date | Who | Comment |
|---|---|---|---|---|---|---|
 pdf | LabMFReport.pdf | manage | 651.7 K | 22 Apr 2008 - 09:50 | HugoMacedo | Report on the first steps towards the Overture Interpreter |
 txt | project_goals.txt | manage | 0.3 K | 09 Nov 2008 - 17:23 | HugoMacedo | Workshop 5 Objectives From The Interpreter Group |
 zip | VDMConnect.zip | manage | 4.0 K | 09 Nov 2008 - 17:25 | HugoMacedo | Eclipse Project With Java VDMTools Communication Via CORBA |
| zip | org.overturetool.interpreter.zip | manage | 24.3 K | 09 Nov 2008 - 17:26 | HugoMacedo | Eclipse Project With Eclipse Debug Plugin Extension |
Log In
Main Web
Users
Groups
Index
Search
Changes
Notifications
Statistics
Preferences
Main |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding Overture? Send feedback