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

kernel.misc

Class KL_SHARED_ARGUMENTS


Known direct descendants

UT_ERROR, TS_TESTER

Features

Invariants

indexing

description

Shared command-line arguments

pattern

Singleton

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 1999, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2003/02/07 12:50:16 $

revision

$Revision: 1.3 $

class

KL_SHARED_ARGUMENTS

feature -- Access

arguments: KL_ARGUMENTS

-- Command-line arguments

ensure
arguments_not_void: Result /= Void

invariant

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

end