io7m
com.io7m.jpra
0.7.0-SNAPSHOT
5.6. matrix
5. Expressions - Types
5.8. string
Previous
Up
Next
5.7
array
5.7.1. Syntax
5.7.2. Description
5.7.3. Semantics
5.7.4. Size
5.7.5. Implementation Constraints
5.7.6. Implementation Requirements
5.7.1
Syntax
5.7.1.1. array Syntax
array_expression = (array t:<type_expression> s:<size_expression>)
5.7.2
Description
1
An
array
type expression describes a bounded array.
5.7.3
Semantics
1
An expression
[array t s]
describes an array of
s
elements of type
t
.
2
If
s <= 0
, the type is rejected as invalid.
5.7.4
Size
1
The storage size in bits of an expression
[array t e]
is
e * m
, where
m
is the size in bits of the type
t
.
5.7.5
Implementation Constraints
1
Implementations are permitted to forbid
array
types as elements of
array
types.
5.7.6
Implementation Requirements
1
There are no minimum requirements placed on implementations for the
array
type.
Previous
Up
Next
5.6. matrix
5. Expressions - Types
5.8. string