(*
    Title: 	CharCodes
    LastEdit:	"Wed May 23 09:40:33 1984"
    Author: 	Mick Jordan
		Acorn Research Centre

    Useful character encodings in ASCII
*)

DEFINITION MODULE CharCodes;

EXPORT QUALIFIED 
    SpaceCh, NewLineCh, TabCh, FormFeedCh, CReturnCh,
    CapitalCh;

CONST
      SpaceCh = 40C;
      NewLineCh = 12C;
      CReturnCh = 15C;
      TabCh = 11C;
      FormFeedCh = 14C;
    
PROCEDURE CapitalCh(ch: CHAR): CHAR;
(*  If ch is a letter in the range 'a' .. 'z',
    CapitalCh returns the associated capital letter.
*)

END CharCodes.
