Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
kazoo
Commits
8916a922
Commit
8916a922
authored
Jul 15, 2019
by
Maxime Perrotin
Browse files
Test case for async msg
parent
1694da45
Changes
3
Hide whitespace changes
Inline
Side-by-side
test/test-cv/InterfaceView.aadl
View file @
8916a922
...
...
@@ -70,6 +70,16 @@ END RI_get_pro_data;
SUBPROGRAM IMPLEMENTATION RI_get_pro_data.others
END RI_get_pro_data.others;
SUBPROGRAM RI_gnc_async
FEATURES
a : IN PARAMETER DataView::T_Int32 {
Taste::encoding => NATIVE;
};
END RI_gnc_async;
SUBPROGRAM IMPLEMENTATION RI_gnc_async.others
END RI_gnc_async.others;
SYSTEM obsw
FEATURES
PI_pulse : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::obsw::PI_pulse.others {
...
...
@@ -104,6 +114,12 @@ FEATURES
Taste::InterfaceName => "get_pro_data";
Taste::labelInheritance => "true";
};
RI_gnc_async : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::GNC::PI_gnc_async.others {
Taste::coordinates => "118422 66456";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "gnc_async";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (SDL);
Taste::Active_Interfaces => any;
...
...
@@ -142,6 +158,8 @@ FEATURES
outp : OUT PARAMETER DataView::T_Boolean {
Taste::encoding => UPER;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_get_pro_data;
SUBPROGRAM IMPLEMENTATION PI_get_pro_data.others
...
...
@@ -149,6 +167,18 @@ PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_get_pro_data.others;
SUBPROGRAM PI_gnc_async
FEATURES
a : IN PARAMETER DataView::T_Int32 {
Taste::encoding => NATIVE;
};
END PI_gnc_async;
SUBPROGRAM IMPLEMENTATION PI_gnc_async.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_gnc_async.others;
SYSTEM GNC
FEATURES
PI_guidance : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::GNC::PI_guidance.others {
...
...
@@ -161,8 +191,15 @@ FEATURES
PI_get_pro_data : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::GNC::PI_get_pro_data.others {
Taste::coordinates => "142673 63306";
Taste::RCMoperationKind => protected;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "get_pro_data";
};
PI_gnc_async : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::GNC::PI_gnc_async.others {
Taste::coordinates => "142673 68031";
Taste::RCMoperationKind => sporadic;
Taste::InterfaceName => "gnc_async";
};
PROPERTIES
Source_Language => (C);
Taste::Active_Interfaces => any;
...
...
@@ -268,6 +305,9 @@ CONNECTIONS
GNC_PI_get_pro_data_obsw_RI_get_pro_data : SUBPROGRAM ACCESS GNC.PI_get_pro_data -> obsw.RI_get_pro_data {
Taste::coordinates => "118422 63306 130547 63306 130547 63306 142673 63306";
};
GNC_PI_gnc_async_obsw_RI_gnc_async : SUBPROGRAM ACCESS GNC.PI_gnc_async -> obsw.RI_gnc_async {
Taste::coordinates => "118422 66456 130547 66456 130547 68031 142673 68031";
};
END interfaceview.others;
PROPERTIES
...
...
test/test-cv/input_data/gnc.c
View file @
8916a922
...
...
@@ -33,3 +33,7 @@ void gnc_PI_get_pro_data(asn1SccT_Boolean *OUT_outp)
*
OUT_outp
=
toggle
;
toggle
=
toggle
?
false
:
true
;
}
void
gnc_PI_gnc_async
(
const
asn1SccT_Int32
*
a
)
{
printf
(
"[GNC] ASync data call: %lld
\n
"
,
*
a
);
}
test/test-cv/input_data/obsw.pr
View file @
8916a922
...
...
@@ -37,7 +37,9 @@ process Obsw;
call writeln('[SDL] Protected call result: ', p2);
/* CIF output (355, 490), (98, 35) */
output Result(inp);
/* CIF NEXTSTATE (369, 540), (70, 35) */
/* CIF output (345, 545), (116, 35) */
output Gnc_Async (42);
/* CIF NEXTSTATE (369, 595), (70, 35) */
NEXTSTATE wait;
endstate;
/* CIF state (450, 10), (70, 35) */
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment