From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM,T_HK_NAME_FM_MR_MRS autolearn=no autolearn_force=no
	version=3.4.4
X-Google-Thread: 103376,e615d0303caad1ac,start
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!d37g2000yqm.googlegroups.com!not-for-mail
From: "Mr.Spark" <malmanea@gmail.com>
Newsgroups: comp.lang.ada
Subject: Java methods invoking operations in the VDM models+ How to import in
	eclipse
Date: Fri, 25 Jun 2010 14:47:35 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <0fade4c6-36f6-495f-909a-b5853f217d8e@d37g2000yqm.googlegroups.com>
NNTP-Posting-Host: 91.105.98.143
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1277502455 23197 127.0.0.1 (25 Jun 2010 21:47:35
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 25 Jun 2010 21:47:35 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: d37g2000yqm.googlegroups.com; posting-host=91.105.98.143;
	posting-account=9cnuMgoAAACVm1EM80Y3k6mYMNXtvlB3
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-US; rv:1.9.2.4)
	Gecko/20100611 Firefox/3.6.4 GTB7.0 (.NET CLR 3.5.30729) GTBA,gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:12902
Date: 2010-06-25T14:47:35-07:00
List-Id: <comp.lang.ada>


Hi Guys,

I would like to create a scenario script in Java and to define some
methods which can invoke operations that
have been developed already in an existing VDM models.

There is a GUI interface (stands between the Scenario and the VDM
models) that has been developed in order to present the information
from the scenario to the user. The scenario script have some methods
which could call the operations that have been developed in the models
like Join/Leave/Create and other operations.

I would like to import the folder which contains all sub folders that
contains the classes in the eclipse to be able to work on them later.

I know it may sounds easy, but I could not import the folder. If there
is a way to do it , it would a great help for me and to carry on with
my project.

Thanks a lot.