Skip to content
GitLab
Commit 837b50c4 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Complete complex case

parent a5b4acbe
Hide whitespace changes
Inline Side-by-side
templates/skeletons/cpp-header-instance/function.tmplt
View file @ 837b50c4
......@@ -41,7 +41,9 @@ extern "C" {
#include "dataview-uniq.h"
// External declaration of required interfaces
@@TABLE@@
@_Required_Interfaces_@
@@END_TABLE@@
void @_LOWER:Name_@_startup();
......
test/instances/InterfaceView.aadl
View file @ 837b50c4
......@@ -86,6 +86,8 @@ PROPERTIES
END PI_DoSomething.others;
SUBPROGRAM PI_pong
PROPERTIES
Taste::Associated_Queue_Size => 2;
END PI_pong;
SUBPROGRAM IMPLEMENTATION PI_pong.others
......@@ -125,6 +127,8 @@ FEATURES
PI_pong : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Worker::PI_pong.others {
Taste::coordinates => "180508 92281";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "pong";
};
RI_ping_daughter : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Daugther::PI_ping.others {
......@@ -222,6 +226,20 @@ PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_Pulse.others;
SUBPROGRAM PI_ping
FEATURES
a : IN PARAMETER DataView::T_Boolean {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_ping;
SUBPROGRAM IMPLEMENTATION PI_ping.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_ping.others;
SUBPROGRAM RI_DoSomething
FEATURES
a : IN PARAMETER DataView::T_Int32 {
......@@ -235,18 +253,6 @@ END RI_DoSomething;
SUBPROGRAM IMPLEMENTATION RI_DoSomething.others
END RI_DoSomething.others;
SUBPROGRAM PI_ping
FEATURES
a : IN PARAMETER DataView::T_Boolean {
Taste::encoding => NATIVE;
};
END PI_ping;
SUBPROGRAM IMPLEMENTATION PI_ping.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_ping.others;
SUBPROGRAM RI_pong
END RI_pong;
......@@ -262,17 +268,19 @@ FEATURES
Taste::Deadline => 0 ms;
Taste::InterfaceName => "Pulse";
};
PI_ping : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Father::PI_ping.others {
Taste::coordinates => "162515 65608";
Taste::RCMoperationKind => unprotected;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "ping";
};
RI_DoSomething : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Father::RI_DoSomething.others {
Taste::coordinates => "131020 65353";
Taste::RCMoperationKind => protected;
Taste::InterfaceName => "DoSomething";
Taste::labelInheritance => "false";
};
PI_ping : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Father::PI_ping.others {
Taste::coordinates => "162515 65608";
Taste::RCMoperationKind => unprotected;
Taste::InterfaceName => "ping";
};
RI_pong : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Father::RI_pong.others {
Taste::coordinates => "162515 59964";
Taste::RCMoperationKind => sporadic;
......@@ -307,6 +315,20 @@ PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_Pulse.others;
SUBPROGRAM PI_ping
FEATURES
a : IN PARAMETER DataView::T_Boolean {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_ping;
SUBPROGRAM IMPLEMENTATION PI_ping.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_ping.others;
SUBPROGRAM RI_DoSomething
FEATURES
a : IN PARAMETER DataView::T_Int32 {
......@@ -320,18 +342,6 @@ END RI_DoSomething;
SUBPROGRAM IMPLEMENTATION RI_DoSomething.others
END RI_DoSomething.others;
SUBPROGRAM PI_ping
FEATURES
a : IN PARAMETER DataView::T_Boolean {
Taste::encoding => NATIVE;
};
END PI_ping;
SUBPROGRAM IMPLEMENTATION PI_ping.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_ping.others;
SUBPROGRAM RI_pong
END RI_pong;
......@@ -347,17 +357,19 @@ FEATURES
Taste::Deadline => 0 ms;
Taste::InterfaceName => "Pulse";
};
PI_ping : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Daugther::PI_ping.others {
Taste::coordinates => "151650 83863.0";
Taste::RCMoperationKind => unprotected;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "ping";
};
RI_DoSomething : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Worker::PI_DoSomething.others {
Taste::coordinates => "132595 86298";
Taste::RCMoperationKind => protected;
Taste::InterfaceName => "DoSomething";
Taste::labelInheritance => "false";
};
PI_ping : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Daugther::PI_ping.others {
Taste::coordinates => "151650 83863.0";
Taste::RCMoperationKind => unprotected;
Taste::InterfaceName => "ping";
};
RI_pong : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Worker::PI_pong.others {
Taste::coordinates => "151650 80426.0";
Taste::RCMoperationKind => sporadic;
......@@ -393,6 +405,20 @@ PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_Pulse.others;
SUBPROGRAM PI_ping
FEATURES
a : IN PARAMETER DataView::T_Boolean {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_ping;
SUBPROGRAM IMPLEMENTATION PI_ping.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_ping.others;
SUBPROGRAM RI_DoSomething
FEATURES
a : IN PARAMETER DataView::T_Int32 {
......@@ -406,18 +432,6 @@ END RI_DoSomething;
SUBPROGRAM IMPLEMENTATION RI_DoSomething.others
END RI_DoSomething.others;
SUBPROGRAM PI_ping
FEATURES
a : IN PARAMETER DataView::T_Boolean {
Taste::encoding => NATIVE;
};
END PI_ping;
SUBPROGRAM IMPLEMENTATION PI_ping.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_ping.others;
SUBPROGRAM RI_pong
END RI_pong;
......@@ -433,17 +447,19 @@ FEATURES
Taste::Deadline => 0 ms;
Taste::InterfaceName => "Pulse";
};
PI_ping : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Twin::PI_ping.others {
Taste::coordinates => "129976 121738";
Taste::RCMoperationKind => unprotected;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "ping";
};
RI_DoSomething : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Worker::PI_DoSomething.others {
Taste::coordinates => "129976 113528";
Taste::RCMoperationKind => protected;
Taste::InterfaceName => "DoSomething";
Taste::labelInheritance => "false";
};
PI_ping : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Twin::PI_ping.others {
Taste::coordinates => "129976 121738";
Taste::RCMoperationKind => unprotected;
Taste::InterfaceName => "ping";
};
RI_pong : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Worker::PI_pong.others {
Taste::coordinates => "129976 124278";
Taste::RCMoperationKind => sporadic;
......
test/instances/work/father/CPP/src/father.cc
View file @ 837b50c4
......@@ -24,7 +24,7 @@ void father::Pulse(void)
RI_DoSomething(&ctxt.a, &ctxt.b);
printf("[C++] %lld\n",ctxt.b );
ctxt.a++;
RI_Pong();
RI_pong();
}
void father::ping(const asn1SccT_Boolean *val)
......
test/instances/work/worker/C/src/worker.c
View file @ 837b50c4
......@@ -32,7 +32,7 @@ void worker_PI_DoSomething
void worker_PI_pong(void)
{
static asnSccT_Boolean val = true;
static asn1SccT_Boolean val = true;
if (val) {
worker_RI_ping_daughter(&val);
val = false;
......
Supports Markdown
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