Seed7 FAQ Manual Demo Screenshots Examples Libraries Algorithms Benchmarks Index Download GitHub Build Seed7 Links
Libraries AES AES GCM Ar ARC4 Archive Archive base Array ASN.1 Base idx array Bigfile Bigint Bigrat Bin32 Bin64 Bitdata Bitmapfont Bitset Bitsetof Blowfish BMP Boolean Browser Bstring Bytedata Bzip2 Cards Category CC config CCITT Fax Cgi Cgi dialog Char Charsets Cipher Clib_file Color CLI commands Complex Compress Console Cpio Crc32 Csv DB properties Deflate DES Dialog Dir Draw Duration Echo Editline ELF Elliptic Enable_io Encoding Enumeration Environment Exif External_file File File system File utilities Fixed size array Float Font Forloop Ftp Getf Gethttp Gethttps GIF Graph Graph_file Gzip Hash Hashsetof Hmac HTML Html_ent Htmldom Httpserv Http response Huffman ICO format Idxarray Image Image file Inflate Inifile Integer I/O Buffer JPEG JSON JSON serialize Keybd Key descriptions Line LEB128 Listener Log file Lower case filter LZMA LZW Magic numbers Make Make data Math Mixed arithmetic More filter Msgdigest Null_file Osfiles PEM Picture utility Pixel image Pixmap_file Pixmapfont PKCS #1 PNG Poll PBM PGM PPM Process Progs Propertyfile Rational Reference Ref_list Rpm Rpm extension Scanfile Scan JSON Scanstri Scan TOML Set Shell Show TLS Smtp Sockbase Socket SQL base Stars Stdio Strifile String Stritext Struct element Sub file Subrange Tar Tar commands Tee file Text Tiff Time TLS/SSL Triple DES Unicode Upper case filter Utf16 Utf8 Vectorfont 3D Vector Wildcard Window Wrinum X.509 Xmldom Xml_ent XZ Zip Zstandard
Libraries
Subrange Source Code
 previous   up   next 

Abstract data types
type
subrange (in baseType: first) .. (in baseType: last)
Abstract data type, describing a subrange type.

subrange

const func type: subrange (in baseType: first) .. (in baseType: last)

Abstract data type, describing a subrange type.


Operator Summary
subrangeType
(attr subrangeType) . first
First value of the subrangeType.
subrangeType
(attr subrangeType) . last
Last value of the subrangeType.

Function Summary
void
SUBRANGE_TYPES (in type: baseType)
Template function to define an abstract data type for subranges.

Operator Detail

. first

const subrangeType: (attr subrangeType) . first

First value of the subrangeType.

. last

const subrangeType: (attr subrangeType) . last

Last value of the subrangeType.


Function Detail

SUBRANGE_TYPES

const proc: SUBRANGE_TYPES (in type: baseType)

Template function to define an abstract data type for subranges. This template defines the abstract data type for the given baseType.


 previous   up   next