Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
kazoo
Commits
d05d1599
Commit
d05d1599
authored
Apr 27, 2019
by
Maxime Perrotin
Browse files
minor update
parent
b9af9dd5
Changes
2
Hide whitespace changes
Inline
Side-by-side
templates/concurrency_view/aadl_2_threads/partition.tmplt
View file @
d05d1599
...
...
@@ -30,6 +30,6 @@ subcomponents
@@END_TABLE@@
connections
@@TABLE@@
port @_LOWER:Thread_Src_Name_@.@_LOWER:Thread_Src_Port_@ -> @_LOWER:Thread_Dst_Name_@.@_LOWER:Thread_Dst_Port_@;
port @_LOWER:Thread_Src_Name_@.
OUTPORT_
@_LOWER:Thread_Src_Port_@ -> @_LOWER:Thread_Dst_Name_@.
INPORT_
@_LOWER:Thread_Dst_Port_@;
@@END_TABLE@@
end @_Name_@.final;
test/test-cv/InterfaceView.aadl
View file @
d05d1599
---------------------------------------------------
-- AADL2.
1
-- AADL2.
2
-- TASTE type interfaceview
--
-- generated code: do not edit
...
...
@@ -161,15 +161,15 @@ PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_result.others;
SUBPROGRAM RI_run
SUBPROGRAM RI_run
_forrest
FEATURES
a : IN PARAMETER DataView::T_Boolean {
Taste::encoding => UPER;
};
END RI_run;
END RI_run
_forrest
;
SUBPROGRAM IMPLEMENTATION RI_run.others
END RI_run.others;
SUBPROGRAM IMPLEMENTATION RI_run
_forrest
.others
END RI_run
_forrest
.others;
SYSTEM ground
FEATURES
...
...
@@ -180,10 +180,10 @@ FEATURES
Taste::Deadline => 0 ms;
Taste::InterfaceName => "result";
};
RI_run : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::obsw::PI_run.others {
RI_run
_forrest
: REQUIRES SUBPROGRAM ACCESS interfaceview::IV::obsw::PI_run.others {
Taste::coordinates => "115273 89446";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "run";
Taste::InterfaceName => "run
_forrest
";
Taste::labelInheritance => "true";
};
PROPERTIES
...
...
@@ -223,7 +223,7 @@ SUBCOMPONENTS
Taste::coordinates => "112123 89446 143776 112595";
};
CONNECTIONS
obsw_PI_run_ground_RI_run : SUBPROGRAM ACCESS obsw.PI_run -> ground.RI_run {
obsw_PI_run_ground_RI_run
_forrest
: SUBPROGRAM ACCESS obsw.PI_run -> ground.RI_run
_forrest
{
Taste::coordinates => "115273 89446 115273 82517 112280 82517 112280 75589";
};
GNC_PI_guidance_obsw_RI_guidance : SUBPROGRAM ACCESS GNC.PI_guidance -> obsw.RI_guidance {
...
...
@@ -238,6 +238,6 @@ PROPERTIES
Taste::dataView => ("DataView");
Taste::dataViewPath => ("DataView.aadl");
Taste::coordinates => "0 0 297000 210000";
Taste::version => "2.
0
";
Taste::version => "2.
2
";
END interfaceview::IV;
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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