This image has the Eclipse Mars 2 (version 4.5) with Goal-Oriented Dependability Analysis (GODA).
269
This image has the Eclipse Mars 2 (version 4.5) with Goal-Oriented Dependability Analysis (GODA).
The GODA is a extension for Eclipse Mars. Read more in: https://github.com/lesunb/CRGMToPRISM
How to start the application:
1 - Go to terminal (CMD or Power Shell on windows); 2 - Select one page to share with the container running (on linux for example): $ cd /home/shareit 3 - Running the GUI application on your OS:
3.1 - Linux - tested on Ubuntu Mate 17.04
$ docker run -it --rm -e DISPLAY -v /tmp/.X11-unix:/tmp/.X11-unix -v PWD":/usr/src/arquivos -w /usr/src/arquivos asbmails2/eclipse_mars_goda_conf^C
3.1.1 If you receive the message "could not open the X display" try it:
$ xhost local:root
3.2 - Mac OSX - tested on El Capitan Version - found the solution here: https://gist.github.com/stonehippo/2c2b0972b7d199c78fb94fa9b1be1f5d
First time:
$ brew install socat <--- assuming you don't already have socat installed some other way
$ brew cask install xquartz <--- assuming you don't already have XQuartz installed some other way
All times:
$ open -a XQuarts <--- start an XQuartz session
$ socat TCP-LISTEN:6000,reuseaddr,fork UNIX-CLIENT:\"$DISPLAY\"
Check your docker is using Brigde mode, check
$ ifconfig en0 <--- if you are using a cable conection
or
$ ifconfig en1 <--- if you are using wi-fi conectiong
if you ar using other type of net on docker (vboxnet0) check the ip of that interface.
This ip value is needed for the GUI app on docker send your image to your monitor.
Open other terminal and put it inside of the ... and run the docker start script below:
$ docker run -it --rm -e DISPLAY=<IP>:0 -v "$PWD":/usr/src/arquivos -w /usr/src/arquivos asbmails2/eclipse_mars_goda_conf
Click on Browse workspace
A new window will pop-up
Click on Arquivos Directory on the left bar of the window, there will apear all your files of the selected directory, chose on of them to put your workspace.
OBS - Save your workspace in that directory because the container will be erased when the eclipse will close, and if you don't use a workspace out of the container, all your work will be lost.
3.3 - Windows - not tested
4 - When it starts, it shows a box to select the workspace Please, select /home/shareit ,because when you create some archive inside there, it create out of the container and you can access the data out of the docker and it won't be erased when the eclipse closed.
5 - Run as application the project CRGMToPRISM. How do it: 5.1 Click with the mouse's right button; 5.2 Run as > 1 Application Wait open another eclipse window - but do not close the first one - it's a problem with the docker image construction.
OBS: If you have any problems, make a comment bellow. OBS: I tested only on Ubuntu Mate 17.4
Content type
Image
Digest
Size
1 GB
Last updated
almost 9 years ago
docker pull asbmails2/eclipse_mars_goda_conf