Post on 19-Jan-2016
description
OVERTURETOOL
Modeling VDM using Eclipse
Christian ThillemannDavid Holst Møller
OVERTURETOOL
2
Agenda
Part I Introduction to Eclipse
Part II Installing Overture Plug-in
Part III Using Overture Plug-in
OVERTURETOOL
Part 1
Introduction to Eclipse
OVERTURETOOL
4
Eclipse
An Integrated Development Environment(IDE) Platform independent Plug-in framework
OVERTURETOOL
5
Features in Java environment
Language Outline (√) Error (√) Syntax (√) Debugging (in progress) Code Completion (planned) Refactoring (planned)
Eclipse environment Team development (CVS - integrated) Etc.
OVERTURETOOL
6
Terms
The workspace contains a collection of resources.
The platform workbench is a tool that allows the user to navigate and manipulate the workspace.
A workspace's resources are organized into a tree structure, with projects at the top, and folders and files underneath.
There are three different types of resources: projects, folders, and files.
OVERTURETOOL
7
Workbench
OVERTURETOOL
8
Terms
The Eclipse Platform user interfaces are based on editors, views, and perspectives. From the user's standpoint, a Workbench window visually consists of several views and editors.
A perspective defines an appropriate collection of views, their layout, and applicable actions for a given user task.
A view is a workbench part that can navigate a hierarchy of information or display properties for an object.
OVERTURETOOL
9
Views
What's in a view???
OVERTURETOOL
10
Editors
OVERTURETOOL
11
Perspectives
OVERTURETOOL
12
Part 2
Installing the Overture Plug-in
OVERTURETOOL
13
Download
Download Eclipse IDE from http://www.eclipse.org/downloads/
We are using the plug-in Dynamic Development ToolKit DLTK 1.0 which is obtained from this update-site http://download.eclipse.org/technology/dltk/updates-dev/1.0
Note only the core is needed here And lastly install our plug-in
http://overtureeditor.googlecode.com/svn/trunk/Workspace/org.overturetool.update-site/
OVERTURETOOL
14
How to install a update-site
Open Eclipse. Help → Software Updates
(Setup proxy if necessary – see next slide) Choose the tab Available Software Add site... Paste the given update-site Mark the check-box next to the update-site
OVERTURETOOL
Proxy Settings in Eclipse
Open Eclipse. Window → Preferences
General → Network Connection
OVERTURETOOL
OVERTURETOOL
17
Part 3
Using the Plug-in
OVERTURETOOL
18
Creating new Project
OVERTURETOOL
19
Select a project
OVERTURETOOL
20
Select a project
OVERTURETOOL
21
Overture Perspective
OVERTURETOOL
22
Resources
http://www.eclipse.org/downloads/ http://download.eclipse.org/technology/dltk/updates-dev/1.0 http://overtureeditor.googlecode.com/svn/trunk/Workspace/org.overturetool.update-site/http://code.google.com/p/overtureeditor/