Outils pour utilisateurs

Outils du site


costo:userguide:load_a_specification

Load a specification

Mode // executing inside Eclipse

(currently used by PA, MM)

  • program : costo.Loader.java
    Run>As Java Application
  • you need to provide an environment file Costolib.userprefs
    in the root directory of CostoData
    • used to select the directories
    • used to select the component and service files
      ✘NB: every body drives his own and particular files so that you need to put these files with flag CVS-IGNORE ✘

      Fortunately you have examples in the repository :

    • SampleCostolib.userprefs
    • SampleMec.userprefs You may copy or rename these files.

Example : ATM

Run loader with those declarations in Costolib.userprefs

costo.specdir=spec/kmelia/ATM/
costo.basecomp=ATM_SYSTEM.cmp
costo.mainserv=behaviour

les spec au 23/02/09

Résultat de l'analyse

(encore des erreurs)

resspec.zip

Mode // AntTask

build.xml

not implemented yet

Mode // Plugin

  • Version draft : no more usable (see the jar files)
  • Project IR 2009 : we hope a new version until june
costo/userguide/load_a_specification.txt · Dernière modification: 2018/04/03 16:59 (modification externe)