err.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>  <--------------


class ERR < $OUT_DEVICE

class ERR < $OUT_DEVICE is -- This class implements direct output access to the standard operating -- system error channel -- for output only! -- Version 1.3 Nov 98. Copyright K Hopper, U of Waikato -- Development History -- ------------------- -- Date Who By Detail -- ---- ------ ------ -- 5 Apr 96 kh Original -- 5 Apr 97 kh Modified for style -- 26 Oct 98 kh Removed $STR, added pre/post conds. -- 19 Nov 98 kh Added output device abstraction. const output_possible : BOOL := true ; create : SAME is -- This routine creates a 'non-object' to represent the standard error -- channel. return self end ; plus( ch : CHAR ) pre ~(ch.code = CHAR_CODE::null) post true is -- This routine appends the contents of str to the standard error -- channel. STD_CHANS::stderr.plus(ch) end ; plus( ch : CHAR ) : SAME pre ~(ch.code = CHAR_CODE::null) post true is -- This routine returns self after appending the contents of str to -- the standard error channel. STD_CHANS::stderr.plus(ch) ; return self end ; plus( str : STR ) pre (str.size > 0) post true is -- This routine appends the contents of str to the standard error -- channel. STD_CHANS::stderr.plus(str) end ; plus( str : STR ) : SAME pre (str.size > 0) post true is -- This routine returns self after appending the contents of str to -- the standard error channel. STD_CHANS::stderr.plus(str) ; return self end ; flush is -- This routine flushes the output buffer to the device concerned. STD_CHANS::stderr.flush end ; end ; -- ERR