__iv_1_3.aadl 3.55 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
---------------------------------------------------
-- AADL2.1
-- TASTE type interfaceview
-- 
-- generated code: do not edit
---------------------------------------------------

PACKAGE interfaceview::FV::Function1
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 RI_doSomething
FEATURES
  sss : IN PARAMETER DataView::T_Int32 {
    Taste::encoding => UPER;
  };
END RI_doSomething;

SUBPROGRAM IMPLEMENTATION RI_doSomething.others
END RI_doSomething.others;

END interfaceview::FV::Function1;

PACKAGE interfaceview::FV::Function2
PUBLIC

WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_doSomething
FEATURES
  sss : IN PARAMETER DataView::T_Int32 {
    Taste::encoding => UPER;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_doSomething;

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

END interfaceview::FV::Function2;

PACKAGE interfaceview::IV
PUBLIC

WITH interfaceview::FV::Function2;
WITH interfaceview::FV::Function1;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SYSTEM Function1
FEATURES
  PI_pulse : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::Function1::PI_pulse.others {
    Taste::coordinates => "109607 52755";
    Taste::RCMoperationKind => cyclic;
    Taste::RCMperiod => 1000 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "pulse";
  };
  RI_doSomething : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::Function2::PI_doSomething.others {
    Taste::coordinates => "128501 65355";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "doSomething";
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (C);
  Taste::Active_Interfaces => any;
END Function1;

SYSTEM IMPLEMENTATION Function1.others
SUBCOMPONENTS
  pulse_impl : SUBPROGRAM interfaceview::FV::Function1::PI_pulse.others;
CONNECTIONS
  OpToPICnx_pulse_impl : SUBPROGRAM ACCESS pulse_impl -> PI_pulse;
END Function1.others;

SYSTEM Function2
FEATURES
  PI_doSomething : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::Function2::PI_doSomething.others {
    Taste::coordinates => "147240 68188";
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "doSomething";
  };
PROPERTIES
  Source_Language => (C);
  Taste::Active_Interfaces => any;
END Function2;

SYSTEM IMPLEMENTATION Function2.others
SUBCOMPONENTS
  doSomething_impl : SUBPROGRAM interfaceview::FV::Function2::PI_doSomething.others;
CONNECTIONS
  OpToPICnx_doSomething_impl : SUBPROGRAM ACCESS doSomething_impl -> PI_doSomething;
END Function2.others;

SYSTEM interfaceview
END interfaceview;

SYSTEM IMPLEMENTATION interfaceview.others
SUBCOMPONENTS
  Function1 : SYSTEM interfaceview::IV::Function1.others {
    Taste::coordinates => "87557 52755 128501 102517";
  };
  Function2 : SYSTEM interfaceview::IV::Function2.others {
    Taste::coordinates => "147240 52755 187869 103777";
  };
CONNECTIONS
  Function2_PI_doSomething_Function1_RI_doSomething : SUBPROGRAM ACCESS Function2.PI_doSomething -> Function1.RI_doSomething {
    Taste::coordinates => "128501 65355 137870 65355 137870 68188 147240 68188";
  };
END interfaceview.others;

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