/* A module that specifies and defines general purpose types, constants and functions over characters and strings (sequences characters). All functions are explicit and executable. Where a non-executable condition adds value, it is included as a comment. module Char imports from Seq all exports types Uppervalues SP, TB, CR, LF : char set of char seq of char functions toLower: Upper +> Lowerdefinitions types char inv c == c in set UPPER;char inv c == c in set LOWER;char inv c == c in set DIGIT;char inv c == c in set OCTAL;char inv c == c in set HEX;char inv sp == sp = ' ' ;char inv ws == ws in set WHITE_SPACE;seq1 of (AlphaNum|Space);seq1 of (AlphaNumUpper|Space);seq1 of (AlphaNumLower|Space);seq1 of (AlphaNum|WhiteSpace);seq1 of (AlphaNumUpper|WhiteSpace);seq1 of (AlphaNumLower|WhiteSpace);values char = ' ' ;char = '\t' ;char = '\r' ;char = '\n' ;set of char = {SP,TB,CR,LF};set of char = {'A' ,'B' ,'C' ,'D' ,'E' ,'F' ,'G' ,'H' ,'I' ,'J' ,'K' ,'L' ,'M' ,'N' ,'O' ,'P' ,'Q' ,'R' ,'S' ,'T' ,'U' ,'V' ,'W' ,'X' ,'Y' ,'Z' };seq of Upper = "ABCDEFGHIJKLMNOPQRSTUVWXYZ" ;set of char = {'a' ,'b' ,'c' ,'d' ,'e' ,'f' ,'g' ,'h' ,'i' ,'j' ,'k' ,'l' ,'m' ,'n' ,'o' ,'p' ,'q' ,'r' ,'s' ,'t' ,'u' ,'v' ,'w' ,'x' ,'y' ,'z' };seq of Lower = "abcdefghijklmnopqrstuvwxyz" ;set of char = {'0' ,'1' ,'2' ,'3' ,'4' ,'5' ,'6' ,'7' ,'8' ,'9' };seq of Digit = "0123456789" ;set of char = {'0' ,'1' ,'2' ,'3' ,'4' ,'5' ,'6' ,'7' };seq of Octal = "01234567" ;set of char = {'0' ,'1' ,'2' ,'3' ,'4' ,'5' ,'6' ,'7' ,'8' ,'9' ,'A' ,'B' ,'C' ,'D' ,'E' ,'F' };seq of Hex = "0123456789ABCDEF" ;functions -- Convert upper case letter to lower case. Seq `indexOf[Upper](c,UPPERS))post toUpper(RESULT ) = c;-- Convert lower case letter to upper case. Seq `indexOf[Lower](c,LOWERS));--post toLower(RESULT) = c; end Char quality 100%
¤ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
