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;