Declaredtype

From Mesham
Revision as of 22:05, 10 January 2010 by Polas (talk | contribs) (Example)
Jump to navigationJump to search

Syntax

declaredtype varname;

Semantics

Will return the declared type of the variable.

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.)