Commit 038dc835 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

Merge branch 'feature_stack_checks' of...

Merge branch 'feature_stack_checks' of https://gitrepos.estec.esa.int/taste/kazoo into feature_stack_checks
parents b3bd203e 19349df0
......@@ -8,6 +8,7 @@
@@TABLE'ALIGN_ON("use ")@@
with @_REPLACE_ALL(-/_):CAPITALIZE:ASN1_Modules_@; use @_REPLACE_ALL(-/_):CAPITALIZE:ASN1_Modules_@;
@@END_TABLE@@
with adaasn1rtl;
package @_CAPITALIZE:Name_@_RI is
......@@ -20,4 +21,6 @@ package @_CAPITALIZE:Name_@_RI is
procedure Reset_@_CAPITALIZE:Timers_@;
@@END_TABLE@@
procedure Check_Queue (Res : out adaasn1rtl.Asn1Boolean)
with Import, Convention => C, Link_Name => "@_LOWER:Name_@_check_queue";
end @_CAPITALIZE:Name_@_RI;
......@@ -224,8 +224,8 @@ dataview/C/built: ${DATAVIEW_UNIQ} ${DATAVIEW_ACN} ${CP_FILES}
@@END_IF@@ @@-- End of PeekPoke-specifics
@@-- Add symbolic link to the SQL Database interface for the GUIs, if needed
if [ -f sql_db/db.info ]; then cd binaries/@_LOWER:Function_Names_@_GUI && ln -fs ../../sql_db; fi
@@-- Copy User-defined widgets file to the binary folder
cp -f -u @_LOWER:Function_Names_@/GUI/src/UserWidgets.py binaries/@_LOWER:Function_Names_@_GUI
@@-- Copy User-defined widgets file to the binary folder (UserWidgets.py + any other files)
cp -f -u @_LOWER:Function_Names_@/GUI/src/* binaries/@_LOWER:Function_Names_@_GUI
@@-- Copy InterfaceView.aadl, it is needed to replay MSC scenarios
# Interface view must be placed in the gui folder to allow replaying MSCs
cp -u ../InterfaceView.aadl binaries/@_LOWER:Function_Names_@_GUI
......
/* CIF PROCESS (250, 150), (150, 75) */
process type Mother;
/* CIF TEXT (703, 66), (267, 176) */
/* CIF TEXT (828, 66), (267, 176) */
-- Text area for declarations and comments
dcl a T_Int32 := 1,
......@@ -10,18 +10,26 @@ process type Mother;
START;
/* CIF NEXTSTATE (320, 65), (70, 35) */
NEXTSTATE Wait;
/* CIF state (541, 15), (71, 35) */
/* CIF state (540, 15), (71, 35) */
state Running;
/* CIF input (546, 70), (62, 35) */
/* CIF input (461, 70), (62, 35) */
input Pulse;
/* CIF PROCEDURECALL (509, 125), (135, 35) */
/* CIF PROCEDURECALL (424, 125), (135, 35) */
call DoSomething (a, b);
/* CIF task (540, 180), (73, 35) */
/* CIF task (456, 180), (73, 35) */
task a := b;
/* CIF PROCEDURECALL (526, 235), (101, 35) */
/* CIF PROCEDURECALL (441, 235), (101, 35) */
call writeln (b, ' ');
/* CIF NEXTSTATE (541, 285), (71, 35) */
/* CIF NEXTSTATE (456, 285), (71, 35) */
NEXTSTATE Running;
/* CIF provided (571, 70), (93, 35) */
provided true = false
/* CIF comment (684, 70), (132, 56) */
comment 'test continuous
signals when using
instances';
/* CIF NEXTSTATE (583, 125), (70, 35) */
NEXTSTATE -;
endstate;
/* CIF state (320, 65), (70, 35) */
state Wait;
......
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