Java methods invoking operations in the VDM models+ How to import in eclipse

Java methods invoking operations in the VDM models+ How to import in eclipse

[Mr.Spark]

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.

Re: Java methods invoking operations in the VDM models+ How to import in eclipse

[John B. Matthews]

In article 
<0fade4c6-36f6-495f-909a-b5853f217d8e@d37g2000yqm.googlegroups.com>,
 "Mr.Spark" <malmanea@gmail.com> wrote:

> 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.

In Eclipse, right click on the target project in the Navigator pane and 
choose Import. In the resulting dialog, choose General > File System > 
Next. In the subsequent pane, choose "Create complete folder structure," 
along with whatever other options seem appropriate.

If you're trying to programatically traverse the directories in a 
recursive manner, consider these:

<http://rosettacode.org/wiki/Walk_a_directory/Recursively#Ada>
<http://rosettacode.org/wiki/Walk_a_directory/Recursively#Java>

-- 
John B. Matthews
trashgod at gmail dot com
<http://sites.google.com/site/drjohnbmatthews>