Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] View of /branches/vis15/src/compiler/typechecker/NOTES
ViewVC logotype

View of /branches/vis15/src/compiler/typechecker/NOTES

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3403 - (download) (annotate)
Wed Nov 11 03:25:19 2015 UTC (4 years ago) by jhr
File size: 539 byte(s)
adding some notes about variables
Rules for variables:

Constant variables have global scope and cannot be updated

Input and Global variables have global scope.  They may be updated
in the global Initially block and the global Update block.

Function parameters have function scope and cannot be updated

Strand parameters have strand scope and cannot be updated

Strand state variables have strand scope and can be updated in methods

Local variables have local scope and can be updated
 
Variables must be defined before they are used (this is a control flow property)


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