File: XSeqOf.py

package info (click to toggle)
erlang 1%3A14.a-dfsg-3squeeze1
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 179,776 kB
  • ctags: 245,237
  • sloc: erlang: 1,066,281; ansic: 260,961; xml: 240,068; cpp: 45,949; makefile: 22,700; sh: 10,897; java: 8,720; lisp: 7,826; python: 5,297; pascal: 3,264; asm: 2,679; perl: 2,514; tcl: 245; sed: 9
file content (19 lines) | stat: -rw-r--r-- 567 bytes parent folder | download | duplicates (15)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
XSeqOf DEFINITIONS ::=
BEGIN

-- F.2.10.1	
-- Use a sequence-of type to model a collection of variables whose 
-- types are the same, 
-- whose number is large or unpredictable, and whose order is significant.
-- EXAMPLE

NamesOfMemberNations ::= SEQUENCE OF VisibleString
--  in alphabetical order

firstTwo  NamesOfMemberNations ::= {"Australia", "Austria"}

DayNames1 ::= SEQUENCE SIZE(7) OF VisibleString
DayNames2 ::= SEQUENCE SIZE(1..7) OF VisibleString
DayNames3 ::= SEQUENCE (SIZE(7)) OF VisibleString
DayNames4 ::= SEQUENCE (SIZE(1..7)) OF VisibleString
END