Difference between revisions of "Declaredtype"

From Mesham
Jump to navigationJump to search
m
Line 17: Line 17:
  
 
This code example will firstly type ''i'' to be an [[Int]]. On line 2, the type of ''i'' is combined with the type [[const]] (enforcing read only access to the variable's data.) On line 3, the programmer is reverting the variable back to its declared type (i.e. so one can write to the data.)
 
This code example will firstly type ''i'' to be an [[Int]]. On line 2, the type of ''i'' is combined with the type [[const]] (enforcing read only access to the variable's data.) On line 3, the programmer is reverting the variable back to its declared type (i.e. so one can write to the data.)
 +
 +
''Since: Version 0.5''
  
 
[[Category:Sequential]]
 
[[Category:Sequential]]
 
[[Category:Types]]
 
[[Category:Types]]

Revision as of 18:10, 13 January 2013

Syntax

declaredtype name

Where name is a variable name

Semantics

Will return the declared type of the variable.

Note: This is a static construct only and its lifetime is limited to during compilation.

Example

var i:Int;
i:i::const[];
i:declaredtype i;

This code example will firstly type i to be an Int. On line 2, the type of i is combined with the type const (enforcing read only access to the variable's data.) On line 3, the programmer is reverting the variable back to its declared type (i.e. so one can write to the data.)

Since: Version 0.5