NAME

str.cam - a CAMILA library for the finite string STR data type


SYNOPSYS

 strMIN(s:STR-set):STR
 strCAT(l:STR-seq):STR
 strCenter(s:STR,l:INT):STR
 strLeft(s:STR,l:INT):STR
 strRight(s:STR,l:INT):STR
 strFill(s:STR,l:INT):STR
 strSeq2STR(l:STR-seq,s:STR):STR
 strSet2STR(X:STR-set,s:STR):STR
 strFF2index(ff:A->STR):A-seq


DESCRIPTION

This library provides a few functions useful in simple

string manipulation.

Note that strings in CAMILA (type STR) are of limited length.

For longer strings resort to txt.cam.

Last Update: 1999.11.11

The informal semantics of the operators are as follows:

strMIN(s:STR-set):STR
strMIN(s) computes least of a set of strings

strCAT(l:STR-seq):STR
strCAT(l) catenates all strings in sequence of strings l.

strCenter(s:STR,l:INT):STR
strCenter(s,l) centers s in a string of length l, the extra characters being `` ''. Pre-condition: l >= strlen(s)

strLeft(s:STR,l:INT):STR
Ibidem strCenter(s,l) left-justifying instead of centering. Pre-condition: l >= strlen(s)

strRight(s:STR,l:INT):STR
Ibidem strCenter(s,l) right-justifying instead of centering. Pre-condition: l >= strlen(s)

strFill(s:STR,l:INT):STR
strFill(s,l) replicates s l times. Pre-condition: l >= 0

strSeq2STR(l:STR-seq,s:STR):STR
strSeq2STR(l) converts sequence of strings l into a single string, separated by s (typically, s=``,'').

strSet2STR(X:STR-set,s:STR):STR
strSet2STR is the counterpart of strSeq2STR for finite sets.

strFF2index(ff:A->STR):A-seq
strFF2index(ff) builds index of ff (range STR-increasing ordering).


SEE ALSO

Manual(s) of seq.cam.


AUTHOR

J.N. Oliveira (jno@di.uminho.pt)