Skip to content
Snippets Groups Projects
Commit e8ef7f71 authored by Sophie Coudert's avatar Sophie Coudert
Browse files

update Avatar SysML Library

parent a7a6e555
No related branches found
No related tags found
2 merge requests!508Avatar sys ml 04 2024,!507Avatar sys ml 04 2024
......@@ -6,13 +6,13 @@ package AvatarBlockTypes {
abstract attribute def '#AvatarDataType';
part def '#AvatarBlock'{
item localClock : Clock redefines localClock = systemClock ;
item localClock : Clock redefines localClock = '#systemClock' ;
}
abstract action def '#AvatarMethod';
action def '#AvatarVoidMethod' :> '#AvatarMethod';
calc def '#AvatarCalcMethod' :> '#AvatarMethod';
state def '#AvatarStateMachine'{
item localClock : Clock redefines localClock = systemClock ;
item localClock : Clock redefines localClock = '#systemClock' ;
}
action def '#ReceiveAction';
action def '#TransitionAction';
......@@ -24,7 +24,7 @@ package AvatarBlockTypes {
protected calc '@pool' : '#PoolGen' default { '#immediate_request' };
protected action '@state_action' default '#nop';
item localClock : Clock redefines localClock = systemClock ;
item localClock : Clock redefines localClock = '#systemClock' ;
// the request '@pool'
private state the_state : '#AvatarState' = self;
private part request_pool : '#RequestPool'{
......
......@@ -167,7 +167,7 @@ package AvatarGeneral {
// SYSTEM SHARED CLOCK FOR DISCRETE TIME ================================
item systemClock : Clock {
item '#systemClock' : Clock {
doc /* a system level discrete clock to handle delays */
currentTime : Integer redefines currentTime;
}
......
......@@ -44,7 +44,7 @@ package AvatarTransitionServer {
* the system discrete clock.
*/
item localClock : Clock redefines localClock = systemClock ;
item localClock : Clock redefines localClock = '#systemClock' ;
readonly attribute '@delay' : Positive default 0;
derived attribute trigger_at = TimeOf(clock=localClock, o=self) + '@delay';
......@@ -173,7 +173,7 @@ package AvatarTransitionServer {
* ends (which pools and which responses depends on channel types).
*/
item localClock : Clock redefines localClock = systemClock ;
item localClock : Clock redefines localClock = '#systemClock' ;
private individual item def Kill { doc /* type of the local kill signal */ }
private individual item kill : Kill {
doc /* The local kill signal to be sent to '@delay'ed requests when
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment