Diff of /branches/vis15/doc/syntax.md

Parent Directory | Revision Log | Patch

	revision 5580, Thu Jun 14 17:55:48 2018 UTC	revision 5581, Mon Jul 9 22:06:44 2018 UTC
#	Line 2	Line 2
2
3
4	:---------------|:--:|:-----------	:---------------|:--:|:-----------
5	_Program_ | ::= | { _GlobalDcl_ } [ _Block_ ] _StrandDcl_ _InitialStrands_ [ _GlobalInitially_ ] [ _GlobalUpdate_ ]	_Program_ | ::= | { _GlobalDcl_ } [ _Block_ ] _StrandDcl_ _InitialStrands_ [ _GlobalStart_ ] [ _GlobalUpdate_ ]
6	| | | |	| | | |
7	_GlobalDcl_ | ::= | _InputDcl_	_GlobalDcl_ | ::= | _InputDcl_
8	| \| | _ConstDcl_	| \| | _ConstDcl_
#	Line 28	Line 28
28	| | | |	| | | |
29	_MethodDcl_ | ::= | _MethodName_ _Block_	_MethodDcl_ | ::= | _MethodName_ _Block_
30	| | | |	| | | |
31	_MethodName_ | ::= | **initially** \| **update** \| **stabilize**	_MethodName_ | ::= | **start** \| **update** \| **stabilize**
32	| | | |	| | | |
33	_InitialStrands_ | ::= | **collection** _Comprehension_	_InitialStrands_ | ::= | **create_collection** _Comprehension_
34	| \| | **grid** `(` _ConstExpr_ `)` _Comprehension_	| \| | **create_array** _Comprehension_
35	| | | |	| | | |
36	_GlobalInitially_ | ::= | **initially** _Block_	_GlobalStart_ | ::= | **start** _Block_
37	| | | |	| | | |
38	_GlobalUpdate_ | ::= | **update** _Block_	_GlobalUpdate_ | ::= | **update** _Block_
39	| | | |	| | | |
#	Line 174	Line 174
174
175	* Strands must have an `update` method	* Strands must have an `update` method
176
177	* The **stabilize** statement is only permitted inside a strand's **initially** or **update**	* The **stabilize** statement is only permitted inside a strand's **start** or **update**
178	method (where it affects the calling strand) or in a global **initially** or **update**	method (where it affects the calling strand) or in a global **start** or **update**
179	block (where it stabilizes all active strands).	block (where it stabilizes all active strands).
180
181	* The **die** statement is only permitted inside a strand's **initially** or **update**	* The **die** statement is only permitted inside a strand's **start** or **update**
182	method.	method.
183
184	### Lexical issues	### Lexical issues

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.5580   changed lines   Added in v.5581

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0