__iv_1_3.aadl 4.98 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153
---------------------------------------------------
-- AADL2.1
-- TASTE type interfaceview
-- 
-- generated code: do not edit
---------------------------------------------------

PACKAGE interfaceview::FV::LivesInX86
PUBLIC

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
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_pulse.others;

SUBPROGRAM PI_report
FEATURES
  inputData : IN PARAMETER DataView::T_SEQ {
    Taste::encoding => UPER;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_report;

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

SUBPROGRAM RI_something
FEATURES
  inputData : IN PARAMETER DataView::T_SEQ {
    Taste::encoding => UPER;
  };
END RI_something;

SUBPROGRAM IMPLEMENTATION RI_something.others
END RI_something.others;

END interfaceview::FV::LivesInX86;

PACKAGE interfaceview::FV::LivesInGR740
PUBLIC

WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_something
FEATURES
  inputData : IN PARAMETER DataView::T_SEQ {
    Taste::encoding => UPER;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_something;

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

SUBPROGRAM RI_report
FEATURES
  inputData : IN PARAMETER DataView::T_SEQ {
    Taste::encoding => UPER;
  };
END RI_report;

SUBPROGRAM IMPLEMENTATION RI_report.others
END RI_report.others;

END interfaceview::FV::LivesInGR740;

PACKAGE interfaceview::IV
PUBLIC

WITH interfaceview::FV::LivesInGR740;
WITH interfaceview::FV::LivesInX86;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SYSTEM LivesInX86
FEATURES
  PI_pulse : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::LivesInX86::PI_pulse.others {
    Taste::coordinates => "118268 50077";
    Taste::RCMoperationKind => cyclic;
    Taste::RCMperiod => 1000 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "pulse";
  };
  PI_report : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::LivesInX86::PI_report.others {
    Taste::coordinates => "134642 78427";
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "report";
  };
  RI_something : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::LivesInGR740::PI_something.others {
    Taste::coordinates => "134642 56377";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "something";
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (C);
  Taste::Active_Interfaces => any;
END LivesInX86;

SYSTEM IMPLEMENTATION LivesInX86.others
SUBCOMPONENTS
  pulse_impl : SUBPROGRAM interfaceview::FV::LivesInX86::PI_pulse.others;
  report_impl : SUBPROGRAM interfaceview::FV::LivesInX86::PI_report.others;
CONNECTIONS
  OpToPICnx_pulse_impl : SUBPROGRAM ACCESS pulse_impl -> PI_pulse;
  OpToPICnx_report_impl : SUBPROGRAM ACCESS report_impl -> PI_report;
END LivesInX86.others;

SYSTEM LivesInGR740
FEATURES
  PI_something : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::LivesInGR740::PI_something.others {
    Taste::coordinates => "159523 62205";
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "something";
  };
  RI_report : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::LivesInX86::PI_report.others {
    Taste::coordinates => "159523 73230";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "report";
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (C);
  Taste::Active_Interfaces => any;
END LivesInGR740;

SYSTEM IMPLEMENTATION LivesInGR740.others
SUBCOMPONENTS
  something_impl : SUBPROGRAM interfaceview::FV::LivesInGR740::PI_something.others;
CONNECTIONS
  OpToPICnx_something_impl : SUBPROGRAM ACCESS something_impl -> PI_something;
END LivesInGR740.others;

SYSTEM interfaceview
154 155 156
PROPERTIES
  Taste::dataView => ("DataView");
  Taste::dataViewPath => ("DataView.aadl");
157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182
END interfaceview;

SYSTEM IMPLEMENTATION interfaceview.others
SUBCOMPONENTS
  LivesInX86 : SYSTEM interfaceview::IV::LivesInX86.others {
    Taste::coordinates => "93068 50077 134642 99525";
  };
  LivesInGR740 : SYSTEM interfaceview::IV::LivesInGR740.others {
    Taste::coordinates => "159523 49605 202829 99210";
  };
CONNECTIONS
  LivesInX86_PI_report_LivesInGR740_RI_report : SUBPROGRAM ACCESS LivesInX86.PI_report -> LivesInGR740.RI_report {
    Taste::coordinates => "159523 73230 147082 73230 147082 78427 134642 78427";
  };
  LivesInGR740_PI_something_LivesInX86_RI_something : SUBPROGRAM ACCESS LivesInGR740.PI_something -> LivesInX86.RI_something {
    Taste::coordinates => "134642 56377 147082 56377 147082 62205 159523 62205";
  };
END interfaceview.others;

PROPERTIES
  Taste::dataView => ("DataView");
  Taste::dataViewPath => ("DataView.aadl");
  Taste::coordinates => "0 0 297000 210000";
  Taste::version => "1.3";
END interfaceview::IV;