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

["Mr.Spark" <malmanea@gmail.com>]

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.