Record - Revision history

Polas: 7 revisions imported

2019-04-15T15:44:38Z

7 revisions imported

Polas at 14:24, 15 April 2013

2013-04-15T14:24:32Z

Polas at 18:24, 13 January 2013

2013-01-13T18:24:07Z

Polas at 17:54, 12 January 2013

2013-01-12T17:54:18Z

Polas at 17:45, 12 January 2013

2013-01-12T17:45:44Z

Polas at 17:45, 12 January 2013

2013-01-12T17:45:22Z

Polas: /* Example */

2013-01-12T17:42:27Z

‎Example

Polas: Created page with '== Syntax == record[name₁,type₁,name₂,type₂,.....,name_d,type_d] == Semantics == The ''record'' type allows the…'

2010-01-10T21:29:46Z

Created page with '== Syntax == record[name1,type1,name2,type2,.....,named,typed] == Semantics == The ''record'' type allows the…'

New page

== Syntax ==

record[name1,type1,name2,type2,.....,named,typed]

== Semantics ==

The ''record'' type allows the programmer to combine ''d'' attributes into one, new type. There can be any number of names and types inside the record type. A record type is very similar to a typedef structure in C. To access the member of a record use the dot, ''.''

== Example ==

var complex : record["r",Float,"i",Float];
var person: record["name",String, "age",Int, "gender",Char];
var a:array[complex,10];
(a#1).i:=22.3;
var b:complex;
var me:person;
me.name:="nick";

In the above example, ''complex'' (a complex number) is a record with two [[float]] elements, ''i'' and ''r''. The variable ''b'' is defined as a complex number and ''a'' as an array of these numbers. The variable ''me'' is of type ''person''.

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

@@ Line 16: / Line 16: @@
 == Example ==
-  typevar complex ::= record["r",Float,"i",Float];
+  function void main() {
- var a:array[complex, 10];
+    typevar complex ::= record["r",Float,"i",Float];
- var number:complex;
+    var a:array[complex, 10];
- var pixel : record["r",Int,"g",Int,"b",Int];
+    var number:complex;
- a[1].r:=8.6;
+    a[1].r:=8.6;
- number.i:=3.22;
+    number.i:=3.22;
- pixel.b:=128;
+    pixel.b:=128;
 In the above example, ''complex'' is declared as a [[Type_Variables|type variable]] to be a complex number. This is then used as the type chain for ''a'' which is an [[array]] and ''number''. Using records in this manner can be useful, although the other way is just to include directly in the type chain for a variable such as declaring the ''pixel'' variable. Do not get confused between the difference between ''complex'' (a type variable existing during compilation only) and ''pixel'' (a normal data variable which exists at runtime.) In the last two lines assignment occurs to the declared variables.

@@ Line 26: / Line 26: @@
 In the above example, ''complex'' is declared as a [[Type_Variables|type variable]] to be a complex number. This is then used as the type chain for ''a'' which is an [[array]] and ''number''. Using records in this manner can be useful, although the other way is just to include directly in the type chain for a variable such as declaring the ''pixel'' variable. Do not get confused between the difference between ''complex'' (a type variable existing during compilation only) and ''pixel'' (a normal data variable which exists at runtime.) In the last two lines assignment occurs to the declared variables.
 [[Category:Type Library]]
 [[Category:Compound Types]]
 [[Category:Composition Types]]

@@ Line 9: / Line 9: @@
 === Default typing ===
-# [[allocated]]
+* [[allocated]]
-# [[multiple]]
+* [[multiple]]
-# [[stack]]
+* [[stack]]
-# [[onesided]]
+* [[onesided]]
 == Example ==

← Older revision		Revision as of 17:45, 12 January 2013
Line 6:		Line 6:

	The ''record'' type allows the programmer to combine ''d'' attributes into one, new type. There can be any number of names and types inside the record type. A record type is very similar to a typedef structure in C. To access the member of a record use the dot, ''.''		The ''record'' type allows the programmer to combine ''d'' attributes into one, new type. There can be any number of names and types inside the record type. A record type is very similar to a typedef structure in C. To access the member of a record use the dot, ''.''
		+
		+	=== Default typing ===
		+
		+	# [[allocated]]
		+	# [[multiple]]
		+	# [[stack]]
		+	# [[onesided]]

	== Example ==		== Example ==

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

Record - Revision history

Polas: 7 revisions imported

Polas at 14:24, 15 April 2013

Polas at 18:24, 13 January 2013

Polas at 17:54, 12 January 2013

Polas at 17:45, 12 January 2013

Polas at 17:45, 12 January 2013

Polas: /* Example */

Polas: Created page with '== Syntax == record[name1,type1,name2,type2,.....,named,typed] == Semantics == The ''record'' type allows the…'

Polas: Created page with '== Syntax == record[name₁,type₁,name₂,type₂,.....,name_d,type_d] == Semantics == The ''record'' type allows the…'