ocarina_config.aadl 3.05 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12
--  Property set containing the configuration properties of Ocarina.
--  This property set is not intended to be used by the AADL model of
--  an application, but, by the AADL model of its scenario.

property set Ocarina_Config is

  Generator_Type : type enumeration
   (PolyORB_QoS_Ada,
    PolyORB_HI_Ada,
    PolyORB_HI_C,
    PolyORB_HI_RTSJ,
    POK_C,
13
    Xtratum_Configuration,
14 15 16 17 18
    Petri_Nets);

  Generator : Ocarina_Config::Generator_Type applies to (system);
  --  The code generator that will be used for the current application

19 20 21 22 23 24 25
  Generator_Options_Type : type enumeration
   (gprof,
    ASN1);

  Generator_Options : list of Ocarina_Config::Generator_Options_Type applies to (system);
  --  Code generation options.

26 27 28
  AADL_Files : list of aadlstring applies to (system);
  --  List of the AADL source files used by the current application

29
  Cheddar_Properties  : constant aadlstring => "Cheddar_Properties";
30 31 32
  Data_Model          : constant aadlstring => "Data_Model";
  Deployment          : constant aadlstring => "Deployment";
  POK_Properties      : constant aadlstring => "pok_properties";
33
  ARINC653_Properties : constant aadlstring => "arinc653";
34
  ASSERT_Properties   : constant aadlstring => "ASSERT_Properties";
35
  TASTE_Properties    : constant aadlstring => "taste_properties";
36 37 38
  --  List of the predefined NON STANDARD property sets that can be used
  --  by an AADL application.

39
  Needed_Property_Sets : list of aadlstring applies to (system);
40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57
  --  The actual property sets needed by one particular application.
  --  This avoid to parse systematically all the predefined non
  --  standard property sets. The user can also give the name of a
  --  custom property set (which may be used by many AADL models),
  --  provided that the value of the string matches exactly the base
  --  name (without the .aadl suffix and in a case-sensitive manner)
  --  the user property sey file name and provided that this property
  --  set file is located in the same directory as the Ocarina
  --  non-standard property sets.

  Root_System_Name : aadlstring applies to (system);
  --  If present, indicates the name of the root of the instance tree

  AADL_Version_Type : type enumeration (AADLv1, AADLv2);

  AADL_Version : Ocarina_Config::AADL_Version_Type applies to (system);
  --  AADL version of the model

julien.delange's avatar
julien.delange committed
58 59
  Use_Components_Library : aadlboolean applies to (system);

60 61 62 63 64
  Referencial_Files : list of aadlstring applies to (system);
  --  The list of referencial files used to compute the regression test

  Timeout_Property : Time applies to (system);
  --  The timeout used to stop an execution
65 66 67 68 69 70 71 72 73 74 75 76 77 78

  Annex_Type : type enumeration
   (annex_all,
    annex_none,
    behavior_specification,
    real_specification,
    emv2);
    --  Designates the list of annexes supported in ocarina. annex_all
    --  and annex_none designate respectively all supported annexes
    --  and none of them for properties that accept this kind of
    --  designation.

  Enable_Annexes : list of Ocarina_Config::Annex_Type applies to (system);
  --  List of annexes to be enabled in the parsed model
79
end Ocarina_Config;