Const - Revision history

Polas: 4 revisions imported

2019-04-15T15:44:33Z

4 revisions imported

Polas at 14:19, 15 April 2013

2013-04-15T14:19:55Z

Polas at 18:18, 13 January 2013

2013-01-13T18:18:27Z

Polas at 17:50, 12 January 2013

2013-01-12T17:50:51Z

Polas: Created page with '== Syntax == const[ ] == Semantics == Enforces the read only property of a variable. == Example == var a:Int; a:=34; a:(a :: const[]); a:=33; The code in the above exam…'

2010-01-04T00:41:35Z

Created page with '== Syntax == const[ ] == Semantics == Enforces the read only property of a variable. == Example == var a:Int; a:=34; a:(a :: const[]); a:=33; The code in the above exam…'

New page

== Syntax ==

const[ ]

== Semantics ==

Enforces the read only property of a variable.

== Example ==

var a:Int;
a:=34;
a:(a :: const[]);
a:=33;

The code in the above example will produce an error. Whilst the first assignment (''a:=34'') is legal, on the subsequent line the programmer has modified the type of ''a'' to be that of ''a'' combined with the type ''const''. The second assignment is attempting the modify a now read only variable and will fail.

[[Category:Type Library]]
[[Category:Composite Types]]
[[Category:Attribute Types]]

← Older revision	Revision as of 15:44, 15 April 2019
(No difference)

@@ Line 9: / Line 9: @@
 == Example ==
-  var a:Int;
+  function void main() {
- a:=34;
+    var a:Int;
- a:(a :: const[]);
+    a:=34;
- a:=33;
+    a:(a :: const[]);
 The code in the above example will produce an error. Whilst the first assignment (''a:=34'') is legal, on the subsequent line the programmer has modified the type of ''a'' to be that of ''a'' combined with the type ''const''. The second assignment is attempting the modify a now read only variable and will fail.

@@ Line 15: / Line 15: @@
 The code in the above example will produce an error. Whilst the first assignment (''a:=34'') is legal, on the subsequent line the programmer has modified the type of ''a'' to be that of ''a'' combined with the type ''const''. The second assignment is attempting the modify a now read only variable and will fail.
 [[Category:Type Library]]
 [[Category:Compound Types]]
 [[Category:Attribute Types]]