io_auxiliary.sa


Generated by gen_html_sa_files from ICSI. Contact gomes@icsi.berkeley.edu for details
 
------------------------->  GNU Sather - sourcefile  <-------------------------
-- Copyright (C) 2000 by K Hopper, University of Waikato, New Zealand        --
-- This file is part of the GNU Sather library. It is free software; you may --
-- redistribute  and/or modify it under the terms of the GNU Library General --
-- Public  License (LGPL)  as published  by the  Free  Software  Foundation; --
-- either version 2 of the license, or (at your option) any later version.   --
-- This  library  is distributed  in the  hope that it will  be  useful, but --
-- WITHOUT ANY WARRANTY without even the implied warranty of MERCHANTABILITY --
-- or FITNESS FOR A PARTICULAR PURPOSE. See Doc/LGPL for more details.       --
-- The license text is also available from:  Free Software Foundation, Inc., --
-- 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA                     --
-------------->  Please email comments to <bug-sather@gnu.org>  <--------------


immutable class FILE_MODES < $ENUMS{FILE_MODES}

immutable class FILE_MODES < $ENUMS{FILE_MODES} is -- This immutable class models the modes in which a file may be opened -- or created. -- Version 1.0 Apr 97. Copright K Hopper, U of Waikato -- Development History -- ------------------- -- Date Who By Detail -- ---- ------ ------ -- 5 Apr 97 kh Original include ENUM{FILE_MODES} ; private const val_count : CARD := 12 ; -- The next routines provide the enumeration itself. Write_Text : SAME is return enum(1) end ; Write_Binary : SAME is return enum(2) end ; Read_Text : SAME is return enum(3) end ; Read_Binary : SAME is return enum(4) end ; Append_Text : SAME is return enum(5) end ; Append_Binary : SAME is return enum(6) end ; Create_Upd_Text : SAME is return enum(7) end ; Create_Upd_Binary : SAME is return enum(8) end ; Update_Text : SAME is return enum(9) end ; Update_Binary : SAME is return enum(10) end ; App_Upd_Text : SAME is return enum(11) end ; App_Upd_Binary : SAME is return enum(12) end ; private check_names( loc_lib : LIBCHARS ) pre ~is_nil post true is -- This auxiliary routine is special, since the mode name strings are to -- be found in the default LIBCHARS rather than through the normal resource -- reading for strings. if void(Names) then Names := LIBCHARS::default.file_modes end end ; end ; -- FILE_MODES

immutable class FILE_LOCS < $ENUMS{FILE_LOCS}

immutable class FILE_LOCS < $ENUMS{FILE_LOCS} is -- This immutable class models the only three positions in a file -- object which can be specified without an offset. -- Version 1.0 Apr 97. Copright K Hopper, U of Waikato -- Development History -- ------------------- -- Date Who By Detail -- ---- ------ ------ -- 5 Apr 97 kh Original include ENUM{FILE_LOCS} ; private const val_count : CARD := 3 ; -- The next routines provide the enumeration itself. Beginning : SAME is return enum(1) end ; Current : SAME is return enum(2) end ; End : SAME is return enum(3) end ; end ; -- FILE_LOCS

immutable class SYS_CHANS < $ENUMS{SYS_CHANS}

immutable class SYS_CHANS < $ENUMS{SYS_CHANS} is -- This immutable class models the standard operating system channels. -- Version 1.0 Apr 97. Copright K Hopper, U of Waikato -- Development History -- ------------------- -- Date Who By Detail -- ---- ------ ------ -- 5 Apr 97 kh Original include ENUM{SYS_CHANS} ; private const val_count : CARD := 3 ; -- The next routines provide the enumeration itself. In_Chan : SAME is return enum(1) end ; Out_Chan : SAME is return enum(2) end ; Err_Chan : SAME is return enum(3) end ; end ; -- SYS_CHANS

immutable class FLUSH_CMDS <$ENUMS{FLUSH_CMDS}

immutable class FLUSH_CMDS <$ENUMS{FLUSH_CMDS} is -- This immutable class models the different kinds of file/channel -- flushing provided. -- Version 1.0 Apr 97. Copright K Hopper, U of Waikato -- Development History -- ------------------- -- Date Who By Detail -- ---- ------ ------ -- 5 Apr 97 kh Original include ENUM{FLUSH_CMDS} ; private const val_count : CARD := 4 ; -- The next routines provide the enumeration itself. Command : SAME is return enum(1) end ; In_Buffer : SAME is return enum(2) end ; Out_Buffer : SAME is return enum(3) end ; Both_Buffers : SAME is return enum(3) end ; end ; -- FLUSH_CMDS