InterfaceView.aadl 4.17 KB
Newer Older
Maxime Perrotin's avatar
Maxime Perrotin committed
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 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173
---------------------------------------------------
-- AADL2.1
-- TASTE type interfaceview
-- 
-- generated code: do not edit
---------------------------------------------------

PACKAGE interfaceview::IV::Function1
PUBLIC

WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_f1
FEATURES
  a : IN PARAMETER DataView::TASTE_Boolean {
    Taste::encoding => NATIVE;
  };
END PI_f1;

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

SYSTEM Function1
FEATURES
  PI_f1 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Function1::PI_f1.others {
    Taste::coordinates => "117107 54673";
    Taste::RCMoperationKind => sporadic;
    Taste::InterfaceName => "f1";
  };
PROPERTIES
  Source_Language => (C);
  Taste::Active_Interfaces => any;
END Function1;

SYSTEM IMPLEMENTATION Function1.others
END Function1.others;

END interfaceview::IV::Function1;

PACKAGE interfaceview::IV::Function2
PUBLIC

WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_f2
FEATURES
  a : IN PARAMETER DataView::TASTE_Boolean {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_f2;

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

SYSTEM Function2
FEATURES
  PI_f2 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Function2::PI_f2.others {
    Taste::coordinates => "117224 83715";
    Taste::RCMoperationKind => sporadic;
    Taste::InterfaceName => "f2";
  };
PROPERTIES
  Source_Language => (C);
  Taste::Active_Interfaces => any;
END Function2;

SYSTEM IMPLEMENTATION Function2.others
END Function2.others;

END interfaceview::IV::Function2;

PACKAGE interfaceview::IV::Function3
PUBLIC

WITH interfaceview::IV::Function1;
WITH interfaceview::IV::Function2;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM RI_f1
FEATURES
  a : IN PARAMETER DataView::TASTE_Boolean {
    Taste::encoding => NATIVE;
  };
END RI_f1;

SUBPROGRAM IMPLEMENTATION RI_f1.others
END RI_f1.others;

SUBPROGRAM RI_f2
FEATURES
  a : IN PARAMETER DataView::TASTE_Boolean {
    Taste::encoding => NATIVE;
  };
END RI_f2;

SUBPROGRAM IMPLEMENTATION RI_f2.others
END RI_f2.others;

SYSTEM Function3
FEATURES
  RI_f1 : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Function1::PI_f1.others {
    Taste::coordinates => "144855 68078";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "f1";
    Taste::labelInheritance => "true";
  };
  RI_f2 : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Function2::PI_f2.others {
    Taste::coordinates => "144855 76310";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "f2";
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (GUI);
  Taste::Active_Interfaces => any;
END Function3;

SYSTEM IMPLEMENTATION Function3.others
END Function3.others;

END interfaceview::IV::Function3;

PACKAGE interfaceview::IV
PUBLIC

WITH interfaceview::IV::Function1;
WITH interfaceview::IV::Function2;
WITH interfaceview::IV::Function3;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SYSTEM interfaceview
PROPERTIES
  Taste::dataView => ("DataView");
  Taste::dataViewPath => ("DataView.aadl");
END interfaceview;

SYSTEM IMPLEMENTATION interfaceview.others
SUBCOMPONENTS
  Function1 : SYSTEM interfaceview::IV::Function1::Function1.others {
    Taste::coordinates => "93591 51616 117107 67489";
  };
  Function2 : SYSTEM interfaceview::IV::Function2::Function2.others {
    Taste::coordinates => "92886 80187 117224 98294";
  };
  Function3 : SYSTEM interfaceview::IV::Function3::Function3.others {
    Taste::coordinates => "144855 64550 166607 83480";
  };
CONNECTIONS
  Function1_PI_f1_Function3_RI_f1 : SUBPROGRAM ACCESS Function1.PI_f1 -> Function3.RI_f1 {
    Taste::coordinates => "144855 68078 130981 68078 130981 54673 117107 54673";
  };
  Function2_PI_f2_Function3_RI_f2 : SUBPROGRAM ACCESS Function2.PI_f2 -> Function3.RI_f2 {
    Taste::coordinates => "144855 76310 131039 76310 131039 83715 117224 83715";
  };
END interfaceview.others;

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