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