Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Both sides next revision
alvis:reference_card [2017/01/11 22:57]
marcin removed
— (current)
Line 1: Line 1:
- 
-====== Alvis Reference Card ====== 
- 
- 
-===== Communication diagrams items ===== 
- 
-{{:alvis:agents.png|}} 
- 
-Agents (from left) 
-  * active 
-  * passive 
-  * hierarchical 
- 
-{{:alvis:connections.png|}} 
- 
-  * One-way and two-way communication channels. 
-  * Initially activated agents are indicated with underlined identifiers.  
- 
-===== Statements ===== 
- 
-''A'' stands for an agent name, ''p'' stands for a port name, ''x'' stands for a parameter, ''g'', ''g1'', ''g2'',... stand for guards, ''ms'' stands for miliseconds. 
- 
-<code> 
-if (g) {...}  
-else {...} 
- 
-if (g1) {...} 
-elseif (g2) {...} 
-elseif (g3) {...} 
-... 
-else {...} 
- 
-loop (g) {...} 
- 
-loop {...} 
- 
-loop (every ...) {...} 
- 
-jump label; 
- 
-jump far A; 
- 
-null; 
- 
-delay miliseconds; 
- 
-exec x = expression; 
- 
-in p; 
- 
-in p x; 
- 
-out p; 
- 
-out p x; 
- 
-select { 
-  alt (g1) {...} 
-  alt (g2) {...} 
-  ... 
-} 
- 
-proc (g) p {...} 
- 
-cli; 
- 
-sti; 
- 
-critical {...} 
- 
-start A; 
- 
-exit; 
-</code>