Skip to content
GitLab
Commits (1)
Expand all Hide whitespace changes
Inline Side-by-side
peekpoke/DataView.aadl 0 → 100644
View file @ d00d95f3
This diff is collapsed.
peekpoke/DataView.asn 0 → 100644
View file @ d00d95f3
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
peekpoke/interfaceview.aadl 0 → 100644
View file @ d00d95f3
---------------------------------------------------
-- AADL2.1
-- TASTE type interfaceview
--
-- generated code: do not edit
---------------------------------------------------
PACKAGE interfaceview::IV::Peek_Poke::TASTE_Probe
PUBLIC
WITH interfaceview::IV::Peek_Poke::TASTE_Probe_Console;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_add_monitorings
FEATURES
monitorings : IN PARAMETER DataView::TASTE_Peek_list {
Taste::encoding => UPER;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_add_monitorings;
SUBPROGRAM IMPLEMENTATION PI_add_monitorings.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_add_monitorings.others;
SUBPROGRAM PI_patch_memory
FEATURES
pokes : IN PARAMETER DataView::TASTE_Poke_list {
Taste::encoding => UPER;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_patch_memory;
SUBPROGRAM IMPLEMENTATION PI_patch_memory.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_patch_memory.others;
SUBPROGRAM PI_remove_monitorings
FEATURES
ids : IN PARAMETER DataView::TASTE_Peek_id_list {
Taste::encoding => UPER;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_remove_monitorings;
SUBPROGRAM IMPLEMENTATION PI_remove_monitorings.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_remove_monitorings.others;
SUBPROGRAM PI_periodic_monitoring
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_periodic_monitoring;
SUBPROGRAM IMPLEMENTATION PI_periodic_monitoring.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_periodic_monitoring.others;
SUBPROGRAM RI_update_monitorings
FEATURES
monitorings : IN PARAMETER DataView::TASTE_Monitoring_list {
Taste::encoding => UPER;
};
END RI_update_monitorings;
SUBPROGRAM IMPLEMENTATION RI_update_monitorings.others
END RI_update_monitorings.others;
SYSTEM TASTE_Probe
FEATURES
PI_add_monitorings : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Peek_Poke::TASTE_Probe::PI_add_monitorings.others {
Taste::coordinates => "2546 1429";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 1000 ms;
Taste::InterfaceName => "add_monitorings";
};
PI_patch_memory : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Peek_Poke::TASTE_Probe::PI_patch_memory.others {
Taste::coordinates => "2546 1461";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "patch_memory";
};
PI_remove_monitorings : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Peek_Poke::TASTE_Probe::PI_remove_monitorings.others {
Taste::coordinates => "2546 1448";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 1000 ms;
Taste::Deadline => 1000 ms;
Taste::InterfaceName => "remove_monitorings";
};
PI_periodic_monitoring : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Peek_Poke::TASTE_Probe::PI_periodic_monitoring.others {
Taste::coordinates => "2610 1413";
Taste::RCMoperationKind => cyclic;
Taste::RCMperiod => 100 ms;
Taste::Deadline => 100 ms;
Taste::InterfaceName => "periodic_monitoring";
};
RI_update_monitorings : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Peek_Poke::TASTE_Probe_Console::PI_update_monitorings.others {
Taste::coordinates => "2546 1497";
Taste::RCMoperationKind => sporadic;
Taste::InterfaceName => "update_monitorings";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (C);
Taste::Active_Interfaces => enabled;
Source_Text => ("taste_probe.zip");
END TASTE_Probe;
SYSTEM IMPLEMENTATION TASTE_Probe.others
SUBCOMPONENTS
peeks : DATA DataView::TASTE_Peek_list {
Taste::FS_Default_Value => "{}";
};
max_monitoring_number : DATA DataView::TASTE_Peek_limit {
Taste::FS_Default_Value => "10";
};
END TASTE_Probe.others;
END interfaceview::IV::Peek_Poke::TASTE_Probe;
PACKAGE interfaceview::IV::Peek_Poke::TASTE_Probe_Console
PUBLIC
WITH interfaceview::IV::Peek_Poke::TASTE_Probe;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_update_monitorings
FEATURES
monitorings : IN PARAMETER DataView::TASTE_Monitoring_list {
Taste::encoding => UPER;
};
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_update_monitorings;
SUBPROGRAM IMPLEMENTATION PI_update_monitorings.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_update_monitorings.others;
SUBPROGRAM RI_add_monitorings
FEATURES
monitorings : IN PARAMETER DataView::TASTE_Peek_list {
Taste::encoding => UPER;
};
END RI_add_monitorings;
SUBPROGRAM IMPLEMENTATION RI_add_monitorings.others
END RI_add_monitorings.others;
SUBPROGRAM RI_patch_memory
FEATURES
pokes : IN PARAMETER DataView::TASTE_Poke_list {
Taste::encoding => UPER;
};
END RI_patch_memory;
SUBPROGRAM IMPLEMENTATION RI_patch_memory.others
END RI_patch_memory.others;
SUBPROGRAM RI_remove_monitorings
FEATURES
ids : IN PARAMETER DataView::TASTE_Peek_id_list {
Taste::encoding => UPER;
};
END RI_remove_monitorings;
SUBPROGRAM IMPLEMENTATION RI_remove_monitorings.others
END RI_remove_monitorings.others;
SYSTEM TASTE_Probe_Console
FEATURES
PI_update_monitorings : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Peek_Poke::TASTE_Probe_Console::PI_update_monitorings.others {
Taste::coordinates => "2425 1497";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "update_monitorings";
};
RI_add_monitorings : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Peek_Poke::TASTE_Probe::PI_add_monitorings.others {
Taste::coordinates => "2425 1429";
Taste::RCMoperationKind => sporadic;
Taste::InterfaceName => "add_monitorings";
Taste::labelInheritance => "true";
};
RI_patch_memory : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Peek_Poke::TASTE_Probe::PI_patch_memory.others {
Taste::coordinates => "2425 1461";
Taste::RCMoperationKind => sporadic;
Taste::InterfaceName => "patch_memory";
Taste::labelInheritance => "true";
};
RI_remove_monitorings : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Peek_Poke::TASTE_Probe::PI_remove_monitorings.others {
Taste::coordinates => "2425 1448";
Taste::RCMoperationKind => sporadic;
Taste::InterfaceName => "remove_monitorings";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (GUI);
Taste::Active_Interfaces => enabled;
END TASTE_Probe_Console;
SYSTEM IMPLEMENTATION TASTE_Probe_Console.others
END TASTE_Probe_Console.others;
END interfaceview::IV::Peek_Poke::TASTE_Probe_Console;
PACKAGE interfaceview::IV::Peek_Poke
PUBLIC
WITH interfaceview::IV::Peek_Poke::TASTE_Probe;
WITH interfaceview::IV::Peek_Poke::TASTE_Probe_Console;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SYSTEM Peek_Poke
PROPERTIES
Source_Language => (C);
Taste::Active_Interfaces => any;
END Peek_Poke;
SYSTEM IMPLEMENTATION Peek_Poke.others
SUBCOMPONENTS
TASTE_Probe : SYSTEM interfaceview::IV::Peek_Poke::TASTE_Probe::TASTE_Probe.others {
Taste::coordinates => "2546 1413 2718 1552";
};
TASTE_Probe_Console : SYSTEM interfaceview::IV::Peek_Poke::TASTE_Probe_Console::TASTE_Probe_Console.others {
Taste::coordinates => "2266 1407 2425 1551";
};
CONNECTIONS
TASTE_Probe_PI_add_monitorings_TASTE_Probe_Console_RI_add_monitorings : SUBPROGRAM ACCESS TASTE_Probe.PI_add_monitorings -> TASTE_Probe_Console.RI_add_monitorings {
Taste::coordinates => "2425 1429 2485 1429 2485 1429 2546 1429";
};
TASTE_Probe_PI_patch_memory_TASTE_Probe_Console_RI_patch_memory : SUBPROGRAM ACCESS TASTE_Probe.PI_patch_memory -> TASTE_Probe_Console.RI_patch_memory {
Taste::coordinates => "2425 1461 2485 1461 2485 1461 2546 1461";
};
TASTE_Probe_PI_remove_monitorings_TASTE_Probe_Console_RI_remove_monitorings : SUBPROGRAM ACCESS TASTE_Probe.PI_remove_monitorings -> TASTE_Probe_Console.RI_remove_monitorings {
Taste::coordinates => "2425 1448 2485 1448 2485 1448 2546 1448";
};
TASTE_Probe_Console_PI_update_monitorings_TASTE_Probe_RI_update_monitorings : SUBPROGRAM ACCESS TASTE_Probe_Console.PI_update_monitorings -> TASTE_Probe.RI_update_monitorings {
Taste::coordinates => "2546 1497 2485 1497 2485 1497 2425 1497";
};
END Peek_Poke.others;
END interfaceview::IV::Peek_Poke;
PACKAGE interfaceview::IV
PUBLIC
WITH interfaceview::IV::Peek_Poke;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SYSTEM interfaceview
END interfaceview;
SYSTEM IMPLEMENTATION interfaceview.others
SUBCOMPONENTS
Peek_Poke : SYSTEM interfaceview::IV::Peek_Poke::Peek_Poke.others {
Taste::coordinates => "2234 1373 2760 1597";
TASTE_IV_Properties::Version => "1";
Taste::Fill_Color => "#a3c4a4";
};
END interfaceview.others;
PROPERTIES
Taste::dataView => ("DataView");
Taste::dataViewPath => ("DataView.aadl");
Taste::coordinates => "0 0 2970 2100";
Taste::version => "2.0";
END interfaceview::IV;
peekpoke/interfaceview.pro 0 → 100644
View file @ d00d95f3
This diff is collapsed.
peekpoke/interfaceview.pro_ 0 → 100644
View file @ d00d95f3
isProperty('_','_','_','_','_','_','LMP::Unparser_ID_Case','AsIs','').
isProperty('_','_','_','_','_','_','LMP::Unparser_Insert_Header','Yes','').
isPackage('interfaceview::IV','PUBLIC','').
isProperty('NIL','=>','interfaceview::IV','NIL','NIL','NIL','Taste::dataView','("DataView")','').
isProperty('NIL','=>','interfaceview::IV','NIL','NIL','NIL','Taste::dataViewPath','("DataView.aadl")','').
isVersion('AADL2.1','TASTE type interfaceview','','generated code: do not edit').
isImportDeclaration('interfaceview::IV','PUBLIC','Taste','').
isImportDeclaration('interfaceview::IV','PUBLIC','DataView','').
isImportDeclaration('interfaceview::IV','PUBLIC','TASTE_IV_Properties','').
isProperty('NIL','=>','interfaceview::IV','NIL','NIL','NIL','Taste::coordinates','"0 0 2970 2100"','').
isProperty('NIL','=>','interfaceview::IV','NIL','NIL','NIL','Taste::version','"2.0"','').
isComponentType('interfaceview::IV','PUBLIC','interfaceview','SYSTEM','NIL','').
isComponentImplementation('interfaceview::IV','PUBLIC','interfaceview','others','SYSTEM','NIL','others','').