Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

kernel.io

Class KL_STANDARD_FILES



Features

Invariants

indexing

description

Standard files

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 1999-2001, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2003/02/07 12:49:51 $

revision

$Revision: 1.5 $

class

KL_STANDARD_FILES

feature -- Access

error: KL_STDERR_FILE

-- Standard error file

ensure
file_not_void: Result /= Void
file_open_write: Result.is_open_write
input: KL_STDIN_FILE

-- Standard input file

ensure
file_not_void: Result /= Void
file_open_read: Result.is_open_read
output: KL_STDOUT_FILE

-- Standard output file

ensure
file_not_void: Result /= Void
file_open_write: Result.is_open_write

invariant

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end