Skip to content

GitLab

kazoo
kazoo
Commit 9cd32554 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files
Options

Add Demo_RI_Names

parent 9a9245ba
Hide whitespace changes
Inline Side-by-side
Showing with 817 additions and 0 deletions
test/Demo_RI_Names/DataView.aadl 0 → 100644
View file @ 9cd32554
--------------------------------------------------------
--! File generated by asn2aadl v2.1.41: DO NOT EDIT !
--------------------------------------------------------
--! InputASN1FileChecksum:87c9df1ceed3846ca6ce7dd84dc4af26:/home/taste/tool-src/kazoo/test/Demo_RI_Names/TPOS_Dataview.asn:
--! InputASN1FileChecksum:ee8a7e01f29874c0d50f437d5abb9599:/home/taste/tool-inst/share/taste-types/taste-types.asn:
--------------------------------------------------------
package DataView
public
with Data_Model;
with Taste;
with Base_Types;
with Deployment;
DATA Simulink_Tunable_Parameter
PROPERTIES
TASTE::Ada_Package_Name => "TASTE_Directives";
Type_Source_Name => "Simulink-Tunable-Parameter";
Deployment::ASN1_Module_Name => "TASTE-Directives";
TASTE::Forbid_in_PI => true;
END Simulink_Tunable_Parameter;
DATA Timer
PROPERTIES
TASTE::Ada_Package_Name => "TASTE_Directives";
Type_Source_Name => "Timer";
Deployment::ASN1_Module_Name => "TASTE-Directives";
TASTE::Forbid_in_PI => true;
END Timer;
DATA Taste_directive
PROPERTIES
TASTE::Ada_Package_Name => "TASTE_Directives";
Type_Source_Name => "Taste-directive";
Deployment::ASN1_Module_Name => "TASTE-Directives";
TASTE::Forbid_in_PI => true;
END Taste_directive;
data Stream_Element_Buffer
-- Root type for buffer elements
properties
Data_Model::Data_Representation => Character;
end Stream_Element_Buffer;
DATA T_Boolean
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/tool-inst/share/taste-types/taste-types.asn");
TASTE::Ada_Package_Name => "TASTE_BasicTypes";
Deployment::ASN1_Module_Name => "TASTE-BasicTypes";
Source_Language => (ASN1);
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 1; suggested aligned message buffer is...
Source_Data_Size => 8 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "T-Boolean";
TASTE::Position_In_File => [ line => 14 ; column => 1 ; ];
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aBOOLEAN;
END T_Boolean;
DATA IMPLEMENTATION T_Boolean.impl
END T_Boolean.impl;
DATA T_Boolean_Buffer_Max
END T_Boolean_Buffer_Max;
DATA IMPLEMENTATION T_Boolean_Buffer_Max.impl
-- Buffer to hold a marshalled data of type T_Boolean
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (8); -- Size of the buffer
Source_Data_Size => 8 Bytes; -- Size of the buffer in bytes
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END T_Boolean_Buffer_Max.impl;
DATA T_Boolean_Buffer
END T_Boolean_Buffer;
DATA IMPLEMENTATION T_Boolean_Buffer.impl
-- Buffer to hold a marshalled data of type T_Boolean
SUBCOMPONENTS
Buffer : data T_Boolean_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
Source_Data_Size => 24 Bytes; -- Size of the buffer in bytes
END T_Boolean_Buffer.impl;
DATA T_Int32
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/tool-inst/share/taste-types/taste-types.asn");
TASTE::Ada_Package_Name => "TASTE_BasicTypes";
Deployment::ASN1_Module_Name => "TASTE-BasicTypes";
Source_Language => (ASN1);
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 8; suggested aligned message buffer is...
Source_Data_Size => 8 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "T-Int32";
TASTE::Position_In_File => [ line => 6 ; column => 1 ; ];
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aINTEGER;
END T_Int32;
DATA IMPLEMENTATION T_Int32.impl
END T_Int32.impl;
DATA T_Int32_Buffer_Max
END T_Int32_Buffer_Max;
DATA IMPLEMENTATION T_Int32_Buffer_Max.impl
-- Buffer to hold a marshalled data of type T_Int32
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (8); -- Size of the buffer
Source_Data_Size => 8 Bytes; -- Size of the buffer in bytes
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END T_Int32_Buffer_Max.impl;
DATA T_Int32_Buffer
END T_Int32_Buffer;
DATA IMPLEMENTATION T_Int32_Buffer.impl
-- Buffer to hold a marshalled data of type T_Int32
SUBCOMPONENTS
Buffer : data T_Int32_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
Source_Data_Size => 24 Bytes; -- Size of the buffer in bytes
END T_Int32_Buffer.impl;
DATA T_Int8
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/tool-inst/share/taste-types/taste-types.asn");
TASTE::Ada_Package_Name => "TASTE_BasicTypes";
Deployment::ASN1_Module_Name => "TASTE-BasicTypes";
Source_Language => (ASN1);
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 8; suggested aligned message buffer is...
Source_Data_Size => 8 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "T-Int8";
TASTE::Position_In_File => [ line => 10 ; column => 1 ; ];
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aINTEGER;
END T_Int8;
DATA IMPLEMENTATION T_Int8.impl
END T_Int8.impl;
DATA T_Int8_Buffer_Max
END T_Int8_Buffer_Max;
DATA IMPLEMENTATION T_Int8_Buffer_Max.impl
-- Buffer to hold a marshalled data of type T_Int8
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (8); -- Size of the buffer
Source_Data_Size => 8 Bytes; -- Size of the buffer in bytes
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END T_Int8_Buffer_Max.impl;
DATA T_Int8_Buffer
END T_Int8_Buffer;
DATA IMPLEMENTATION T_Int8_Buffer.impl
-- Buffer to hold a marshalled data of type T_Int8
SUBCOMPONENTS
Buffer : data T_Int8_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
Source_Data_Size => 24 Bytes; -- Size of the buffer in bytes
END T_Int8_Buffer.impl;
DATA T_POS
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/tool-src/kazoo/test/Demo_RI_Names/TPOS_Dataview.asn");
TASTE::Ada_Package_Name => "MY_MODULE";
Deployment::ASN1_Module_Name => "MY-MODULE";
Source_Language => (ASN1);
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 1008; suggested aligned message buffer is...
Source_Data_Size => 1008 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "T-POS";
TASTE::Position_In_File => [ line => 3 ; column => 1 ; ];
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aCHOICE;
END T_POS;
DATA IMPLEMENTATION T_POS.impl
END T_POS.impl;
DATA T_POS_Buffer_Max
END T_POS_Buffer_Max;
DATA IMPLEMENTATION T_POS_Buffer_Max.impl
-- Buffer to hold a marshalled data of type T_POS
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (1008); -- Size of the buffer
Source_Data_Size => 1008 Bytes; -- Size of the buffer in bytes
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END T_POS_Buffer_Max.impl;
DATA T_POS_Buffer
END T_POS_Buffer;
DATA IMPLEMENTATION T_POS_Buffer.impl
-- Buffer to hold a marshalled data of type T_POS
SUBCOMPONENTS
Buffer : data T_POS_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
Source_Data_Size => 1024 Bytes; -- Size of the buffer in bytes
END T_POS_Buffer.impl;
DATA T_UInt32
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/tool-inst/share/taste-types/taste-types.asn");
TASTE::Ada_Package_Name => "TASTE_BasicTypes";
Deployment::ASN1_Module_Name => "TASTE-BasicTypes";
Source_Language => (ASN1);
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 8; suggested aligned message buffer is...
Source_Data_Size => 8 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "T-UInt32";
TASTE::Position_In_File => [ line => 8 ; column => 1 ; ];
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aINTEGER;
END T_UInt32;
DATA IMPLEMENTATION T_UInt32.impl
END T_UInt32.impl;
DATA T_UInt32_Buffer_Max
END T_UInt32_Buffer_Max;
DATA IMPLEMENTATION T_UInt32_Buffer_Max.impl
-- Buffer to hold a marshalled data of type T_UInt32
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (8); -- Size of the buffer
Source_Data_Size => 8 Bytes; -- Size of the buffer in bytes
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END T_UInt32_Buffer_Max.impl;
DATA T_UInt32_Buffer
END T_UInt32_Buffer;
DATA IMPLEMENTATION T_UInt32_Buffer.impl
-- Buffer to hold a marshalled data of type T_UInt32
SUBCOMPONENTS
Buffer : data T_UInt32_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
Source_Data_Size => 24 Bytes; -- Size of the buffer in bytes
END T_UInt32_Buffer.impl;
DATA T_UInt8
PROPERTIES
-- name of the ASN.1 source file:
Source_Text => ("/home/taste/tool-inst/share/taste-types/taste-types.asn");
TASTE::Ada_Package_Name => "TASTE_BasicTypes";
Deployment::ASN1_Module_Name => "TASTE-BasicTypes";
Source_Language => (ASN1);
-- Size of a buffer to cover all forms of message representation:
-- Real message size is 8; suggested aligned message buffer is...
Source_Data_Size => 8 Bytes;
-- name of the corresponding data type in the source file:
Type_Source_Name => "T-UInt8";
TASTE::Position_In_File => [ line => 12 ; column => 1 ; ];
-- what kind of type is this?
TASTE::ASN1_Basic_Type =>aINTEGER;
END T_UInt8;
DATA IMPLEMENTATION T_UInt8.impl
END T_UInt8.impl;
DATA T_UInt8_Buffer_Max
END T_UInt8_Buffer_Max;
DATA IMPLEMENTATION T_UInt8_Buffer_Max.impl
-- Buffer to hold a marshalled data of type T_UInt8
PROPERTIES
Data_Model::Data_Representation => array;
Data_Model::Dimension => (8); -- Size of the buffer
Source_Data_Size => 8 Bytes; -- Size of the buffer in bytes
Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
END T_UInt8_Buffer_Max.impl;
DATA T_UInt8_Buffer
END T_UInt8_Buffer;
DATA IMPLEMENTATION T_UInt8_Buffer.impl
-- Buffer to hold a marshalled data of type T_UInt8
SUBCOMPONENTS
Buffer : data T_UInt8_Buffer_Max.impl;
Length : data Base_Types::Unsigned_32;
PROPERTIES
Data_Model::Data_Representation => Struct;
Source_Data_Size => 24 Bytes; -- Size of the buffer in bytes
END T_UInt8_Buffer.impl;
SYSTEM Taste_DataView
END Taste_DataView;
SYSTEM IMPLEMENTATION Taste_DataView.others
SUBCOMPONENTS
T_Boolean : DATA T_Boolean.impl;
T_Int32 : DATA T_Int32.impl;
T_Int8 : DATA T_Int8.impl;
T_POS : DATA T_POS.impl;
T_UInt32 : DATA T_UInt32.impl;
T_UInt8 : DATA T_UInt8.impl;
END Taste_DataView.others;
end DataView;
test/Demo_RI_Names/DeploymentView.aadl 0 → 100644
View file @ 9cd32554
---------------------------------------------------
-- AADL2.2
-- TASTE type deploymentview
--
-- generated code: do not edit
---------------------------------------------------
PACKAGE deploymentview::DV::Node1
PUBLIC
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
PROCESS demo
END demo;
PROCESS IMPLEMENTATION demo.others
END demo.others;
END deploymentview::DV::Node1;
PACKAGE deploymentview::DV
PUBLIC
WITH interfaceview::IV::A;
WITH interfaceview::IV::B;
WITH interfaceview::IV::C;
WITH ocarina_processors_x86;
WITH deploymentview::DV::Node1;
WITH Taste;
WITH Deployment;
WITH interfaceview::IV;
WITH TASTE_DV_Properties;
SYSTEM Node1
END Node1;
SYSTEM IMPLEMENTATION Node1.others
SUBCOMPONENTS
IV_A : SYSTEM interfaceview::IV::A::A.others {
Taste::FunctionName => "A";
};
IV_B : SYSTEM interfaceview::IV::B::B.others {
Taste::FunctionName => "B";
};
IV_C : SYSTEM interfaceview::IV::C::C.others {
Taste::FunctionName => "C";
};
demo : PROCESS deploymentview::DV::Node1::demo.others {
Taste::coordinates => "104703 68940 141589 89543";
Deployment::Port_Number => 0;
};
x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
Taste::coordinates => "100092 63211 146200 92643";
};
PROPERTIES
Taste::APLC_Binding => (reference (demo)) APPLIES TO IV_A;
Taste::APLC_Binding => (reference (demo)) APPLIES TO IV_B;
Taste::APLC_Binding => (reference (demo)) APPLIES TO IV_C;
Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO demo;
END Node1.others;
SYSTEM deploymentview
END deploymentview;
SYSTEM IMPLEMENTATION deploymentview.others
SUBCOMPONENTS
Node1 : SYSTEM Node1.others {
Taste::coordinates => "94328 54802 151964 96848";
};
interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
END deploymentview.others;
PROPERTIES
Taste::coordinates => "0 0 297000 210000";
Taste::version => "2.2";
Taste::interfaceView => "InterfaceView.aadl";
Taste::HWLibraries => ("../../../../tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
END deploymentview::DV;
test/Demo_RI_Names/InterfaceView.aadl 0 → 100644
View file @ 9cd32554
---------------------------------------------------
-- AADL2.2
-- TASTE type interfaceview
--
-- generated code: do not edit
---------------------------------------------------
PACKAGE interfaceview::IV::A
PUBLIC
WITH interfaceview::IV::B;
WITH interfaceview::IV::C;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_cyclic_activation
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_cyclic_activation;
SUBPROGRAM IMPLEMENTATION PI_cyclic_activation.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_cyclic_activation.others;
SUBPROGRAM RI_caller
END RI_caller;
SUBPROGRAM IMPLEMENTATION RI_caller.others
END RI_caller.others;
SUBPROGRAM RI_call_c
END RI_call_c;
SUBPROGRAM IMPLEMENTATION RI_call_c.others
END RI_call_c.others;
SYSTEM A
FEATURES
PI_cyclic_activation : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::A::PI_cyclic_activation.others {
Taste::coordinates => "551 529";
Taste::RCMoperationKind => cyclic;
Taste::RCMperiod => 2000 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "cyclic_activation";
};
RI_caller : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::B::PI_callee.others {
Taste::coordinates => "1146 606";
Taste::RCMoperationKind => sporadic;
Taste::InterfaceName => "caller";
Taste::labelInheritance => "true";
};
RI_call_c : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::C::PI_callee.others {
Taste::coordinates => "1146 760";
Taste::RCMoperationKind => sporadic;
Taste::InterfaceName => "call_c";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (C);
Taste::Active_Interfaces => enabled;
END A;
SYSTEM IMPLEMENTATION A.others
END A.others;
END interfaceview::IV::A;
PACKAGE interfaceview::IV::B
PUBLIC
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_callee
PROPERTIES
Taste::Associated_Queue_Size => 2;
END PI_callee;
SUBPROGRAM IMPLEMENTATION PI_callee.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_callee.others;
SUBPROGRAM PI_second_callee
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_second_callee;
SUBPROGRAM IMPLEMENTATION PI_second_callee.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_second_callee.others;
SYSTEM B
FEATURES
PI_callee : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::B::PI_callee.others {
Taste::coordinates => "1814 606";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "callee";
};
PI_second_callee : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::B::PI_second_callee.others {
Taste::coordinates => "1974 907";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "second_callee";
};
PROPERTIES
Source_Language => (C);
Taste::Active_Interfaces => enabled;
END B;
SYSTEM IMPLEMENTATION B.others
END B.others;
END interfaceview::IV::B;
PACKAGE interfaceview::IV::C
PUBLIC
WITH interfaceview::IV::B;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_cyclic_activation
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_cyclic_activation;
SUBPROGRAM IMPLEMENTATION PI_cyclic_activation.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_cyclic_activation.others;
SUBPROGRAM PI_callee
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_callee;
SUBPROGRAM IMPLEMENTATION PI_callee.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_callee.others;
SUBPROGRAM RI_second_callee
END RI_second_callee;
SUBPROGRAM IMPLEMENTATION RI_second_callee.others
END RI_second_callee.others;
SUBPROGRAM RI_callee
END RI_callee;
SUBPROGRAM IMPLEMENTATION RI_callee.others
END RI_callee.others;
SYSTEM C
FEATURES
PI_cyclic_activation : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::C::PI_cyclic_activation.others {
Taste::coordinates => "1666 1310";
Taste::RCMoperationKind => cyclic;
Taste::RCMperiod => 5000 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "cyclic_activation";
};
PI_callee : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::C::PI_callee.others {
Taste::coordinates => "1666 1362";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "callee";
};
RI_second_callee : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::B::PI_second_callee.others {
Taste::coordinates => "1973 1219";
Taste::RCMoperationKind => sporadic;
Taste::InterfaceName => "second_callee";
Taste::labelInheritance => "true";
};
RI_callee : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::B::PI_callee.others {
Taste::coordinates => "1751 1219";
Taste::RCMoperationKind => sporadic;
Taste::InterfaceName => "callee";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (C);
Taste::Active_Interfaces => enabled;
END C;
SYSTEM IMPLEMENTATION C.others
END C.others;
END interfaceview::IV::C;
PACKAGE interfaceview::IV
PUBLIC
WITH interfaceview::IV::A;
WITH interfaceview::IV::B;
WITH interfaceview::IV::C;
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
A : SYSTEM interfaceview::IV::A::A.others {
Taste::coordinates => "551 435 1146 885";
};
B : SYSTEM interfaceview::IV::B::B.others {
Taste::coordinates => "1814 424 2423 907";
};
C : SYSTEM interfaceview::IV::C::C.others {
Taste::coordinates => "1666 1219 2202 1436";
};
CONNECTIONS
B_PI_callee_A_RI_caller : SUBPROGRAM ACCESS B.PI_callee -> A.RI_caller {
Taste::coordinates => "1146 606 1480 606 1480 606 1814 606";
};
C_PI_callee_A_RI_call_c : SUBPROGRAM ACCESS C.PI_callee -> A.RI_call_c {
Taste::coordinates => "1146 760 1406 760 1406 1362 1666 1362";
};
B_PI_callee_C_RI_callee : SUBPROGRAM ACCESS B.PI_callee -> C.RI_callee {
Taste::coordinates => "1751 1219 1751 606 1814 606";
};
B_PI_second_callee_C_RI_second_callee : SUBPROGRAM ACCESS B.PI_second_callee -> C.RI_second_callee {
Taste::coordinates => "1973 1219 1973 1064 1974 1064 1974 907";
};
END interfaceview.others;
PROPERTIES