I/O drivers

This module provides the diskdata IO driver designed to be used as an interface for initializations blocks for both reading and writing files formated for the diskdata procedure.

Driver diskdata

diskdata:[dense,sparse,sglq,noq,append,trans,nozeros]

The driver can only be used in `initializations' blocks. In the opening part of the block, no file name has to be provided, but general options can be stated at this point: they will be applied to all labels. In the block, each label entry is understood as the file name to use for the actual processing. Note that, before the file name, one can add further options separated by comas, that are effective to the particular entry. The file name given can use extended notation.

The diskdata driver takes the following options:

dense

dense data format

sparse

sparse data format

sglq

strings quoted with single quotes

noq

strings are not quoted in the file

append

append output to the end of an existing file

trans

tables are transposed

nozeros

skip zero values

Example:

declarations
 Set1: set of string                 ! Declare a set of strings
 ar1,ar2: array(Set1,range) of real  ! Declare two dynamic arrays
 r: real                             ! Declare a real value
end-declarations

initializations from "diskdata:"     ! Use 'diskdata' format for reading
  ar1 as "sparse,ind.dat"            ! Read `ar1' from 'in.dat' in sparse format
 r as "r_init.dat"                   ! Initialize `r' from 'r_init.dat'
end-initializations

initializations to "diskdata:append" ! Use 'diskdata' format for output
 [ar1, ar2] as "out.dat"             ! Save two arrays in sparse format
 Set1 as "out.dat"                   ! Save set `Set1' to the same file
end-initializations