SCM Repository
Diff of /branches/vis15/doc/syntax.md
Parent Directory
| 
Revision Log
| 
Patch
| revision 4124, Thu Jun 30 22:00:48 2016 UTC | revision 4125, Thu Jun 30 22:14:09 2016 UTC | |
|---|---|---|
| # | Line 22 | Line 22 |
| 22 | | | | | | | | | | |
| 23 | _Parameter_ | ::= | _Type_ Id | _Parameter_ | ::= | _Type_ Id |
| 24 | | | | | | | | | | |
| 25 | _StrandDcl_ | ::= | **strand** Id _Parameters_ `{` { _StateVarDcl_ } { _MethodDcl_ } `}` | _StrandDcl_ | ::= | **strand** Id _Parameters_ `{` { _StateVarDcl_ } [ _Block_ ] { _MethodDcl_ } `}` |
| 26 | | | | | | | | | | |
| 27 | _MethodDcl_ | ::= | _MethodName_ _Block_ | _MethodDcl_ | ::= | _MethodName_ _Block_ |
| 28 | | | | | | | | | | |
| # | Line 161 | Line 161 |
| 161 | * When indexing a tensor or field (e.g., `e1[e2]`), the index expression must be a constant | * When indexing a tensor or field (e.g., `e1[e2]`), the index expression must be a constant |
| 162 | expression. | expression. |
| 163 | ||
| 164 | * Conditional expressions must have value type. | |
| 165 | ||
| 166 | * Assignment to global variables is not permitted inside strands. | |
| 167 | ||
| 168 | * Strands must have an `update` method | |
| 169 | ||
| 170 | ### Questions | ### Questions |
| 171 | ||
| 172 | * What about tuples? Can we have sequences of tuples? Tuples of sequences? Fields inside | * What about tuples? Can we have sequences of tuples? Tuples of sequences? Fields inside |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
