InterfaceView.aadl 3.22 KB
Newer Older
1
---------------------------------------------------
2 3
-- AADL2.1
-- TASTE type interfaceview
4
-- 
5
-- generated code: do not edit
6 7
---------------------------------------------------

8
PACKAGE interfaceview::IV::Function1
9 10
PUBLIC

11
WITH interfaceview::IV::Function2;
12 13 14 15 16 17 18 19 20
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_pulse
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_pulse;

SUBPROGRAM IMPLEMENTATION PI_pulse.others
21 22
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
23 24 25 26 27 28 29 30 31 32 33 34 35 36
END PI_pulse.others;

SUBPROGRAM RI_Blink
FEATURES
  EnableDisable : IN PARAMETER DataView::MyBool {
    Taste::encoding => NATIVE;
  };
END RI_Blink;

SUBPROGRAM IMPLEMENTATION RI_Blink.others
END RI_Blink.others;

SYSTEM Function1
FEATURES
37 38
  PI_pulse : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Function1::PI_pulse.others {
    Taste::coordinates => "314 577";
39 40 41 42 43
    Taste::RCMoperationKind => cyclic;
    Taste::RCMperiod => 1000 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "pulse";
  };
44 45
  RI_Blink : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Function2::PI_Blink.others {
    Taste::coordinates => "1171 613";
46 47 48 49 50 51
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "Blink";
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (SDL);
52
  Taste::Active_Interfaces => enabled;
53 54 55 56 57
END Function1;

SYSTEM IMPLEMENTATION Function1.others
END Function1.others;

58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79
END interfaceview::IV::Function1;

PACKAGE interfaceview::IV::Function2
PUBLIC

WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_Blink
FEATURES
  EnableDisable : IN PARAMETER DataView::MyBool {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_Blink;

SUBPROGRAM IMPLEMENTATION PI_Blink.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_Blink.others;

80 81
SYSTEM Function2
FEATURES
82
  PI_Blink : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Function2::PI_Blink.others {
83 84 85 86 87 88 89 90
    Taste::coordinates => "1534 616";
    Taste::RCMoperationKind => unprotected;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "Blink";
  };
PROPERTIES
  Source_Language => (Ada);
91
  Taste::Active_Interfaces => enabled;
92 93 94 95 96
END Function2;

SYSTEM IMPLEMENTATION Function2.others
END Function2.others;

97 98 99 100 101 102 103 104 105 106
END interfaceview::IV::Function2;

PACKAGE interfaceview::IV
PUBLIC

WITH interfaceview::IV::Function1;
WITH interfaceview::IV::Function2;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
107
SYSTEM interfaceview
108 109 110
PROPERTIES
  Taste::dataView => ("DataView");
  Taste::dataViewPath => ("DataView.aadl");
111 112 113 114
END interfaceview;

SYSTEM IMPLEMENTATION interfaceview.others
SUBCOMPONENTS
115 116
  Function1 : SYSTEM interfaceview::IV::Function1::Function1.others {
    Taste::coordinates => "314 439 1171 1265";
117
  };
118
  Function2 : SYSTEM interfaceview::IV::Function2::Function2.others {
119 120 121
    Taste::coordinates => "1534 415 2334 1205";
  };
CONNECTIONS
122 123
  Function2_PI_Blink_Function1_RI_Blink : SUBPROGRAM ACCESS Function2.PI_Blink -> Function1.RI_Blink {
    Taste::coordinates => "1171 613 1347 613 1347 616 1534 616";
124 125 126 127 128 129 130
  };
END interfaceview.others;

PROPERTIES
  Taste::dataView => ("DataView");
  Taste::dataViewPath => ("DataView.aadl");
  Taste::coordinates => "0 0 2970 2100";
131
  Taste::version => "2.0";
132 133
END interfaceview::IV;