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.

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)