elogger API
Overview Classes Cluster Class Index          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)

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)

Documentation generated by edoc

elogger API
Overview Classes Cluster Class Index          Top Features