spacer
spacer search


Software Model Checking Framework

Search
spacer
header
Main Menu
Home
Team
Downloads
Papers
Documentation
API
Examples
Repository
Bug Reports
Licenses
Forums
Bogor Users Map
Site Map
Contact Us
Search
Login Form





Lost Password?
 
Home arrow Documentation arrow Getting Started arrow Setting Up Eclipse for Bogor Extension Development

Setting Up Eclipse for Bogor Extension Development

1. Introduction

This document describes how you can setup Eclipse for Bogor extension development. There are two ways: setting up using the Bogor source distribution, or downloading the source directly from the Bogor Subversion Repository. Note that access to Bogor Core (i.e., non-extensions) using Subversion is restricted. If you would like to have access, please email and give a description about the project that you are working on with Bogor. In addition, non-core source code can only be accessed through the Subversion repository (publicly available).

2. Requirements

The recommended development setup for developing Bogor extension is by using Eclipse version 3.1 or above (along with Eclipse GEF) running on Java 5.0. You need to install the Subclipse plugin for accessing the Bogor Subversion Repository directly using Eclipse. Please follow the instruction in the Subclipse website on how to install the plugin

3. Setting Up Using Bogor Source Distribution

First, you need to download the Bogor source distribution (bogor-src-X.zip) from projects.cis.ksu.edu. In Eclipse, select the "File -> Import" menu item.

Select "General -> Existing Projects" into Workspace.

Select "Select archive file" and click "Browse" to select the Bogor source zip file. Make sure "bogor-core" is checked, and then click finish.

4. Setting Up from Bogor Subversion Repository

Bogor core and its other project files are hosted in the https://robby.user.cis.ksu.edu/bogor Subversion repository. To access the repository, add the Bogor Subversion repository in Subclipse perspective in Eclipse: "Window->Open Perspective->Other" and select "SVN Repository Exploring", then click the "OK" button.

Right click inside the "SVN Repository" view and select "New->Repository Location..."

Type "https://robby.user.cis.ksu.edu/bogor" in the URL combo box and then click "Finish".

First, we need to check out the library that Bogor uses. Expand the Bogor Subversion root tree up to "libraries" and highlight both "jaxb" and "trove" and then right clik and then select "Check Out".

Similarly, check out the following projects:

  • essentials/trove-generics

  • core

  • gui/core

  • gui/session

  • gui/stub-generator

Once you are done, switch to the Eclipse Java Perspective: "Window->Open Perspective->Other" and select "Java (default)". The "Package Explorer" view should look like the following:

If you have errors in your "Problems" view, then you can try to ask Eclipse to rebuild the all the projects. To do this, open "Project->Clean...". Select "Clean all projects" and then click "OK". If the errors persist then please contact us at . Please specify your OS and Java, Eclipse, and Eclipse GEF version numbers.

5. Running Bogor using Its Command-line Interface (CLI)

To run Bogor in CLI mode inside Eclipse, open the Eclipse launcher dialog "Run->Run...".

Right click on "Java Application" and select "New". Name the configuration, e.g., Bogor. Put "bogor-core" in the "Project:" textbox, and "edu.ksu.cis.projects.bogor.Bogor" in the "Main class:" textbox.

Click on the "Arguments" Tab handler. Put "-ea" in the text box for "VM Arguments" to enable assertions (useful for debugging), and put the config file name and bir file name that you are interested. If you do not have an example, you use the dining philosophers example in the Bogor website (the default Bogor configuration can be found in the "bogor-core" project).

Click "Run", you should see the following text in your "Console" view.

6. Running Bogor as an Eclipse Application inside Eclipse

Open the Eclipse launcher dialog ("Run->Run..."). This time, create a new configuration under "Eclipse Application". Name the configuration, e.g., "Bogor GUI", and then click "Run".

You should get a new Eclipse instance running. To run examples in Bogor GUI, please consult the Running Bogor documentation.

 
< Prev
spacer
Popular
Newsflash

 
(c) SAnToS Laboratory, Kansas State University, 2002-2006
spacer