Skip to content

GitLab

taste-setup
taste-setup
Commit 53248960 authored by TASTE User's avatar TASTE User
Browse files
Options

peekpoke: remove component directory

parent 9f65de3b
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 0 additions and 620 deletions
misc/peek-poke/component/DataView.aadl deleted 100644 → 0
View file @ 9f65de3b
This diff is collapsed.
misc/peek-poke/component/DataView.asn deleted 100644 → 0
View file @ 9f65de3b
TASTE-MONITORING DEFINITIONS AUTOMATIC TAGS ::=
BEGIN
TASTE-Peek ::= SEQUENCE {
base-address INTEGER (0..4294967295), -- 32bits type
offset INTEGER (-2147483648..2147483647),
base-type ENUMERATED { int-32, int-64, real-single, real-double, octet-string },
nb-of-elements INTEGER (1..10), -- nb-of-elements EXCEPT for octet-string (1 element)
sample-time INTEGER (0..15) -- in seconds
}
TASTE-Peek-list ::= SEQUENCE (SIZE (0..5)) OF TASTE-Peek
TASTE-Peek-id ::= INTEGER (0..4294967295)
TASTE-Peek-id-list ::= SEQUENCE (SIZE (1..10)) OF TASTE-Peek-id
TASTE-Monitoring-value ::= CHOICE {
int-32 INTEGER (-2147483648 .. 2147483647) ,
int-64 INTEGER (-9223372036854775807 .. 9223372036854775807),
real-single REAL (-100000000000000000000000000000000000000.0 .. 100000000000000000000000000000000000000.0),
real-double REAL (-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000.0 .. 100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000.0),
octet-string OCTET STRING (SIZE (0..10))
}
-- Result: memory value
TASTE-Monitoring ::= SEQUENCE {
id TASTE-Peek-id,
values SEQUENCE (SIZE (1..10)) OF TASTE-Monitoring-value
}
TASTE-Monitoring-list ::= SEQUENCE (SIZE (0..5)) OF TASTE-Monitoring
TASTE-Poke-list ::= TASTE-Monitoring-list
empty-peek-list TASTE-Peek-list ::= {}
empty-poke-list TASTE-Poke-list ::= {}
-- Type to hold a maximum number of peek values (defined in a context parameter, thus patchable)
TASTE-Peek-limit ::= INTEGER (0..1000)
END
misc/peek-poke/component/export_PeekPoke.aadl deleted 100644 → 0
View file @ 9f65de3b
--{ PeekPoke obj313 2441 2008
--In the deployment view, you must place Inspector_Linux (resp. Inspector Leon) on a X86/Native platform
--(resp. LEON2/RTEMS platform).
--}
PACKAGE exportedComponent::IV::PeekPoke
PUBLIC
WITH exportedComponent::FV;
WITH DataView;
WITH Taste;
---------------------------------------------------
-- TASTE Function: exportedComponent::IV::PeekPoke::TASTE_Probe
---------------------------------------------------
SYSTEM TASTE_Probe
FEATURES
add_monitorings_obj143 : PROVIDES SUBPROGRAM ACCESS exportedComponent::FV::add_monitorings_obj143.others
{ Taste::Coordinates => "2670 1879";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 1000 ms;
Taste::Importance => MEDIUM ;};
patch_memory_obj155 : PROVIDES SUBPROGRAM ACCESS exportedComponent::FV::patch_memory_obj155.others
{ Taste::Coordinates => "2670 1902";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::Importance => MEDIUM ;};
remove_monitorings_obj167 : PROVIDES SUBPROGRAM ACCESS exportedComponent::FV::remove_monitorings_obj167.others
{ Taste::Coordinates => "2670 1890";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 1000 ms;
Taste::Deadline => 1000 ms;
Taste::Importance => MEDIUM ;};
periodic_monitoring_obj179 : PROVIDES SUBPROGRAM ACCESS exportedComponent::FV::periodic_monitoring_obj179.others
{ Taste::Coordinates => "2738 1849";
Taste::RCMoperationKind => cyclic;
Taste::RCMperiod => 100 ms;
Taste::Deadline => 100 ms;
Taste::Importance => MEDIUM ;};
obj1475_obj190 : REQUIRES SUBPROGRAM ACCESS exportedComponent::FV::update_monitorings_obj211.others
{ Taste::Coordinates => "2670 1937";
Taste::RCMoperationKind => sporadic;};
PROPERTIES
Source_Language => C;
Source_Text => ("taste_probe.zip");
Taste::Instance_Name => "Function0";
END TASTE_Probe;
SYSTEM IMPLEMENTATION TASTE_Probe.others
SUBCOMPONENTS
peeks_obj131 : DATA DataView::TASTE_Peek_list
{ Taste::FS_Default_Value => "{}"; };
max_monitoring_number_obj132 : DATA DataView::TASTE_Peek_limit
{ Taste::FS_Default_Value => "10"; };
add_monitorings_obj143_impl : SUBPROGRAM exportedComponent::FV::add_monitorings_obj143.others
{ Compute_Execution_Time => 0ms..1000ms ;};
patch_memory_obj155_impl : SUBPROGRAM exportedComponent::FV::patch_memory_obj155.others
{ Compute_Execution_Time => 0ms..0ms ;};
remove_monitorings_obj167_impl : SUBPROGRAM exportedComponent::FV::remove_monitorings_obj167.others
{ Compute_Execution_Time => 0ms..1000ms ;};
periodic_monitoring_obj179_impl : SUBPROGRAM exportedComponent::FV::periodic_monitoring_obj179.others
{ Compute_Execution_Time => 0ms..100ms ;};
CONNECTIONS
DATA ACCESS peeks_obj131 -> add_monitorings_obj143_impl.peeks_obj131;
DATA ACCESS max_monitoring_number_obj132 -> add_monitorings_obj143_impl.max_monitoring_number_obj132;
SUBPROGRAM ACCESS add_monitorings_obj143_impl -> add_monitorings_obj143;
DATA ACCESS peeks_obj131 -> patch_memory_obj155_impl.peeks_obj131;
DATA ACCESS max_monitoring_number_obj132 -> patch_memory_obj155_impl.max_monitoring_number_obj132;
SUBPROGRAM ACCESS patch_memory_obj155_impl -> patch_memory_obj155;
DATA ACCESS peeks_obj131 -> remove_monitorings_obj167_impl.peeks_obj131;
DATA ACCESS max_monitoring_number_obj132 -> remove_monitorings_obj167_impl.max_monitoring_number_obj132;
SUBPROGRAM ACCESS remove_monitorings_obj167_impl -> remove_monitorings_obj167;
DATA ACCESS peeks_obj131 -> periodic_monitoring_obj179_impl.peeks_obj131;
DATA ACCESS max_monitoring_number_obj132 -> periodic_monitoring_obj179_impl.max_monitoring_number_obj132;
SUBPROGRAM ACCESS periodic_monitoring_obj179_impl -> periodic_monitoring_obj179;
END TASTE_Probe.others;
---------------------------------------------------
-- TASTE Function: exportedComponent::IV::PeekPoke::TASTE_Probe_Console
---------------------------------------------------
SYSTEM TASTE_Probe_Console
FEATURES
update_monitorings_obj211 : PROVIDES SUBPROGRAM ACCESS exportedComponent::FV::update_monitorings_obj211.others
{ Taste::Coordinates => "2614 1937";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::Importance => MEDIUM ;};
obj1240_obj223 : REQUIRES SUBPROGRAM ACCESS exportedComponent::FV::add_monitorings_obj143.others
{ Taste::Coordinates => "2614 1879";
Taste::RCMoperationKind => sporadic;};
obj1354_obj233 : REQUIRES SUBPROGRAM ACCESS exportedComponent::FV::patch_memory_obj155.others
{ Taste::Coordinates => "2614 1902";
Taste::RCMoperationKind => sporadic;};
obj681_obj243 : REQUIRES SUBPROGRAM ACCESS exportedComponent::FV::remove_monitorings_obj167.others
{ Taste::Coordinates => "2614 1890";
Taste::RCMoperationKind => sporadic;};
PROPERTIES
Source_Language => GUI;
Taste::Instance_Name => "Function1";
END TASTE_Probe_Console;
SYSTEM IMPLEMENTATION TASTE_Probe_Console.others
SUBCOMPONENTS
update_monitorings_obj211_impl : SUBPROGRAM exportedComponent::FV::update_monitorings_obj211.others
{ Compute_Execution_Time => 0ms..0ms ;};
CONNECTIONS
SUBPROGRAM ACCESS update_monitorings_obj211_impl -> update_monitorings_obj211;
END TASTE_Probe_Console.others;
PROPERTIES
Taste::Coordinates => "2425 1788 2869 2054";
Taste::dataView => ("DataView","DataView");
Taste::dataViewPath => ("DataView.aadl");
END exportedComponent::IV::PeekPoke;
---------------------------------------------------
-- TASTE Root system: exportedComponent::IV::exportedComponent
---------------------------------------------------
PACKAGE exportedComponent::IV
PUBLIC
WITH exportedComponent::FV;
WITH exportedComponent::IV::PeekPoke;
SYSTEM exportedComponent
PROPERTIES
Taste::Export_Date => "Thu Dec 13 16:44:05 CET 2012";
END exportedComponent;
SYSTEM IMPLEMENTATION exportedComponent.others
SUBCOMPONENTS
TASTE_Probe: SYSTEM exportedComponent::IV::PeekPoke::TASTE_Probe.others
{ Taste::Coordinates => "2670 1849 2842 1988"; };
TASTE_Probe_Console: SYSTEM exportedComponent::IV::PeekPoke::TASTE_Probe_Console.others
{ Taste::Coordinates => "2455 1847 2614 1991"; };
CONNECTIONS
obj1546 : SUBPROGRAM ACCESS TASTE_Probe_Console.update_monitorings_obj211 -> TASTE_Probe.obj1475_obj190
{ Taste::Coordinates => "2670 1937 2642 1937 2642 1937 2614 1937"; };
obj1326 : SUBPROGRAM ACCESS TASTE_Probe.add_monitorings_obj143 -> TASTE_Probe_Console.obj1240_obj223
{ Taste::Coordinates => "2614 1879 2642 1879 2642 1879 2670 1879"; };
obj1419 : SUBPROGRAM ACCESS TASTE_Probe.patch_memory_obj155 -> TASTE_Probe_Console.obj1354_obj233
{ Taste::Coordinates => "2614 1902 2642 1902 2642 1902 2670 1902"; };
obj747 : SUBPROGRAM ACCESS TASTE_Probe.remove_monitorings_obj167 -> TASTE_Probe_Console.obj681_obj243
{ Taste::Coordinates => "2614 1890 2642 1890 2642 1890 2670 1890"; };
END exportedComponent.others;
END exportedComponent::IV;
PACKAGE exportedComponent::FV
PUBLIC
WITH DataView;
WITH TASTE;
SUBPROGRAM add_monitorings_obj143
FEATURES
monitorings : IN PARAMETER DataView::TASTE_Peek_list
{ Taste::encoding => UPER; };
peeks_obj131 : REQUIRES DATA ACCESS DataView::TASTE_Peek_list;
max_monitoring_number_obj132 : REQUIRES DATA ACCESS DataView::TASTE_Peek_limit;
PROPERTIES
Taste::Associated_Queue_Size => 1;
END add_monitorings_obj143;
SUBPROGRAM IMPLEMENTATION add_monitorings_obj143.others
END add_monitorings_obj143.others;
SUBPROGRAM patch_memory_obj155
FEATURES
pokes : IN PARAMETER DataView::TASTE_Poke_list
{ Taste::encoding => UPER; };
peeks_obj131 : REQUIRES DATA ACCESS DataView::TASTE_Peek_list;
max_monitoring_number_obj132 : REQUIRES DATA ACCESS DataView::TASTE_Peek_limit;
PROPERTIES
Taste::Associated_Queue_Size => 1;
END patch_memory_obj155;
SUBPROGRAM IMPLEMENTATION patch_memory_obj155.others
END patch_memory_obj155.others;
SUBPROGRAM remove_monitorings_obj167
FEATURES
ids : IN PARAMETER DataView::TASTE_Peek_id_list
{ Taste::encoding => UPER; };
peeks_obj131 : REQUIRES DATA ACCESS DataView::TASTE_Peek_list;
max_monitoring_number_obj132 : REQUIRES DATA ACCESS DataView::TASTE_Peek_limit;
PROPERTIES
Taste::Associated_Queue_Size => 1;
END remove_monitorings_obj167;
SUBPROGRAM IMPLEMENTATION remove_monitorings_obj167.others
END remove_monitorings_obj167.others;
SUBPROGRAM periodic_monitoring_obj179
FEATURES
peeks_obj131 : REQUIRES DATA ACCESS DataView::TASTE_Peek_list;
max_monitoring_number_obj132 : REQUIRES DATA ACCESS DataView::TASTE_Peek_limit;
END periodic_monitoring_obj179;
SUBPROGRAM IMPLEMENTATION periodic_monitoring_obj179.others
END periodic_monitoring_obj179.others;
SUBPROGRAM update_monitorings_obj211
FEATURES
monitorings : IN PARAMETER DataView::TASTE_Monitoring_list
{ Taste::encoding => UPER; };
PROPERTIES
Taste::Associated_Queue_Size => 1;
END update_monitorings_obj211;
SUBPROGRAM IMPLEMENTATION update_monitorings_obj211.others
END update_monitorings_obj211.others;
END exportedComponent::FV;
Markdown is supported
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