Commit 518fba8c authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Cleanup.

parent 1d7f1729
...@@ -123,3 +123,11 @@ Demo_Crazyflie_IMU/control_laws.zip ...@@ -123,3 +123,11 @@ Demo_Crazyflie_IMU/control_laws.zip
Demo_Crazyflie_IMU/copter_imu.zip Demo_Crazyflie_IMU/copter_imu.zip
Demo_Crazyflie_IMU_Height/control_laws.zip Demo_Crazyflie_IMU_Height/control_laws.zip
Demo_Crazyflie_IMU_Height/copter_imu.zip Demo_Crazyflie_IMU_Height/copter_imu.zip
*/__dv_1_3.aadl
*/__iv_1_3.aadl
*/deployment.pro
*/interfaceview.pro
Demo_ContextParams/cyclic_function.zip
Demo_ContextParams/passive_function.zip
Demo_SpaceWire_N2X/function1.zip
Demo_SpaceWire_N2X/function2.zip
This diff is collapsed.
This diff is collapsed.
---------------------------------------------------
-- 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;
isComponentType('interfaceview::FV::Function1','PUBLIC','PI_pulse','SUBPROGRAM','NIL','').
isComponentImplementation('interfaceview::FV::Function1','PUBLIC','PI_pulse','others','SUBPROGRAM','NIL','others','').
isFeature('ACCESS','interfaceview::IV','Function1','PI_pulse','PROVIDES','SUBPROGRAM','interfaceview::FV::Function1::PI_pulse.others','NIL','NIL','').
isProperty('NIL','=>','interfaceview::FV::Function1','PI_pulse','NIL','NIL','Taste::Associated_Queue_Size','1','').
isProperty('NIL','=>','interfaceview::IV','Function1','NIL','PI_pulse','Taste::coordinates','"109607 52755"','').
isProperty('NIL','=>','interfaceview::IV','Function1','NIL','PI_pulse','Taste::RCMoperationKind','cyclic','').
isProperty('NIL','=>','interfaceview::IV','Function1','NIL','PI_pulse','Taste::RCMperiod','1000 ms','').
isProperty('NIL','=>','interfaceview::IV','Function1','NIL','PI_pulse','Taste::Deadline','0 ms','').
isProperty('NIL','=>','interfaceview::IV','Function1','NIL','PI_pulse','Taste::InterfaceName','"pulse"','').
isProperty('NIL','=>','interfaceview::FV::Function1','PI_pulse','others','NIL','Compute_Execution_Time','0 ms .. 0 ms','').
isSubcomponent('interfaceview::IV','Function1','others','pulse_impl','SUBPROGRAM','interfaceview::FV::Function1::PI_pulse.others','NIL','NIL','').
isConnection('SUBPROGRAM ACCESS','interfaceview::IV','Function1','others','OpToPICnx_pulse_impl','pulse_impl','->','PI_pulse','NIL','').
isConnection('SUBPROGRAM ACCESS','interfaceview::IV','interfaceview','others','Function2_PI_doSomething_Function1_RI_doSomething','Function2.PI_doSomething','->','Function1.RI_doSomething','NIL','').
isProperty('NIL','=>','interfaceview::IV','interfaceview','others','Function2_PI_doSomething_Function1_RI_doSomething','Taste::coordinates','"128501 65355 137870 65355 137870 68188 147240 68188"','').
isComponentType('interfaceview::FV::Function1','PUBLIC','RI_doSomething','SUBPROGRAM','NIL','').
isComponentImplementation('interfaceview::FV::Function1','PUBLIC','RI_doSomething','others','SUBPROGRAM','NIL','others','').
isImportDeclaration('interfaceview::IV','PUBLIC','interfaceview::FV::Function2','').
isFeature('ACCESS','interfaceview::IV','Function1','RI_doSomething','REQUIRES','SUBPROGRAM','interfaceview::FV::Function2::PI_doSomething.others','NIL','NIL','').
isProperty('NIL','=>','interfaceview::IV','Function1','NIL','RI_doSomething','Taste::coordinates','"128501 65355"','').
isProperty('NIL','=>','interfaceview::IV','Function1','NIL','RI_doSomething','Taste::RCMoperationKind','any','').
isProperty('NIL','=>','interfaceview::IV','Function1','NIL','RI_doSomething','Taste::InterfaceName','"doSomething"','').
isProperty('NIL','=>','interfaceview::IV','Function1','NIL','RI_doSomething','Taste::labelInheritance','"true"','').
isFeature('PARAMETER','interfaceview::FV::Function1','RI_doSomething','sss','IN','NIL','DataView::T_Int32','NIL','NIL','').
isProperty('NIL','=>','interfaceview::FV::Function1','RI_doSomething','NIL','sss','Taste::encoding','UPER','').
isPackage('interfaceview::FV::Function1','PUBLIC','').
isComponentType('interfaceview::IV','PUBLIC','Function1','SYSTEM','NIL','').
isComponentImplementation('interfaceview::IV','PUBLIC','Function1','others','SYSTEM','NIL','others','').
isProperty('NIL','=>','interfaceview::IV','Function1','NIL','NIL','Source_Language','(C)','').
isProperty('NIL','=>','interfaceview::IV','Function1','NIL','NIL','Taste::Active_Interfaces','any','').
isProperty('NIL','=>','interfaceview::IV','interfaceview','others','Function1','Taste::coordinates','"87557 52755 128501 102517"','').
isSubcomponent('interfaceview::IV','interfaceview','others','Function1','SYSTEM','interfaceview::IV::Function1.others','NIL','NIL','').
isImportDeclaration('interfaceview::IV','PUBLIC','interfaceview::FV::Function1','').
isImportDeclaration('interfaceview::IV','PUBLIC','Taste','').
isImportDeclaration('interfaceview::FV::Function1','PUBLIC','Taste','').
isImportDeclaration('interfaceview::IV','PUBLIC','DataView','').
isImportDeclaration('interfaceview::FV::Function1','PUBLIC','DataView','').
isImportDeclaration('interfaceview::FV::Function1','PUBLIC','TASTE_IV_Properties','').
isImportDeclaration('interfaceview::IV','PUBLIC','TASTE_IV_Properties','').
isComponentType('interfaceview::FV::Function2','PUBLIC','PI_doSomething','SUBPROGRAM','NIL','').
isComponentImplementation('interfaceview::FV::Function2','PUBLIC','PI_doSomething','others','SUBPROGRAM','NIL','others','').
isFeature('ACCESS','interfaceview::IV','Function2','PI_doSomething','PROVIDES','SUBPROGRAM','interfaceview::FV::Function2::PI_doSomething.others','NIL','NIL','').
isProperty('NIL','=>','interfaceview::FV::Function2','PI_doSomething','NIL','NIL','Taste::Associated_Queue_Size','1','').
isProperty('NIL','=>','interfaceview::IV','Function2','NIL','PI_doSomething','Taste::coordinates','"147240 68188"','').
isProperty('NIL','=>','interfaceview::IV','Function2','NIL','PI_doSomething','Taste::RCMoperationKind','sporadic','').
isProperty('NIL','=>','interfaceview::IV','Function2','NIL','PI_doSomething','Taste::RCMperiod','0 ms','').
isProperty('NIL','=>','interfaceview::IV','Function2','NIL','PI_doSomething','Taste::Deadline','0 ms','').
isProperty('NIL','=>','interfaceview::IV','Function2','NIL','PI_doSomething','Taste::InterfaceName','"doSomething"','').
isFeature('PARAMETER','interfaceview::FV::Function2','PI_doSomething','sss','IN','NIL','DataView::T_Int32','NIL','NIL','').
isProperty('NIL','=>','interfaceview::FV::Function2','PI_doSomething','NIL','sss','Taste::encoding','UPER','').
isProperty('NIL','=>','interfaceview::FV::Function2','PI_doSomething','others','NIL','Compute_Execution_Time','0 ms .. 1000 ms','').
isSubcomponent('interfaceview::IV','Function2','others','doSomething_impl','SUBPROGRAM','interfaceview::FV::Function2::PI_doSomething.others','NIL','NIL','').
isConnection('SUBPROGRAM ACCESS','interfaceview::IV','Function2','others','OpToPICnx_doSomething_impl','doSomething_impl','->','PI_doSomething','NIL','').
isPackage('interfaceview::FV::Function2','PUBLIC','').
isComponentType('interfaceview::IV','PUBLIC','Function2','SYSTEM','NIL','').
isComponentImplementation('interfaceview::IV','PUBLIC','Function2','others','SYSTEM','NIL','others','').
isProperty('NIL','=>','interfaceview::IV','Function2','NIL','NIL','Source_Language','(C)','').
isProperty('NIL','=>','interfaceview::IV','Function2','NIL','NIL','Taste::Active_Interfaces','any','').
isProperty('NIL','=>','interfaceview::IV','interfaceview','others','Function2','Taste::coordinates','"147240 52755 187869 103777"','').
isSubcomponent('interfaceview::IV','interfaceview','others','Function2','SYSTEM','interfaceview::IV::Function2.others','NIL','NIL','').
isImportDeclaration('interfaceview::FV::Function2','PUBLIC','Taste','').
isImportDeclaration('interfaceview::FV::Function2','PUBLIC','DataView','').
isImportDeclaration('interfaceview::FV::Function2','PUBLIC','TASTE_IV_Properties','').
isProperty('_','_','_','_','_','_','LMP::Unparser_ID_Case','AsIs','').
isProperty('_','_','_','_','_','_','LMP::Unparser_Insert_Header','Yes','').
isPackage('interfaceview::IV','PUBLIC','').
isProperty('NIL','=>','interfaceview::IV','NIL','NIL','NIL','Taste::dataView','("DataView")','').
isProperty('NIL','=>','interfaceview::IV','NIL','NIL','NIL','Taste::dataViewPath','("DataView.aadl")','').
isVersion('AADL2.1','TASTE type interfaceview','','generated code: do not edit').
isProperty('NIL','=>','interfaceview::IV','NIL','NIL','NIL','Taste::coordinates','"0 0 297000 210000"','').
isProperty('NIL','=>','interfaceview::IV','NIL','NIL','NIL','Taste::version','"1.3"','').
isComponentType('interfaceview::IV','PUBLIC','interfaceview','SYSTEM','NIL','').
isComponentImplementation('interfaceview::IV','PUBLIC','interfaceview','others','SYSTEM','NIL','others','').
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment