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

kernel.io

Class KL_SHARED_FILE_SYSTEM


Direct ancestors

KL_SHARED_OPERATING_SYSTEM

Known direct descendants

KL_DIRECTORY, EM_FILE_LOADER, EM_GOOF_LOADER_LEVEL_FILE, EM_GOOF_LOADER_XML_INPUT_FILE_PARSER, EM_GOOF_LOADER_ERROR_CONSTANTS, EM_BITMAP_FACTORY, EM_VIDEO_DECODER_FACTORY, EM_STANDARD_BMP_FONTS, EM_STANDARD_TTF_FONTS, EM_FILE_DIALOG, KL_FILE_SYSTEM, KL_FILE, TS_TESTCASES, TS_CONFIG_PARSER_SKELETON, ET_CLUSTER, ET_UNIVERSE, ET_CLUSTERS, ET_EIFFEL_SCANNER_SKELETON, UT_FILE_URI_ROUTINES, XM_RESOLVER_FACTORY, XM_CATALOG_RESOLVER, XM_CATALOG, XM_CATALOG_BOOTSTRAP_RESOLVER, XM_CATALOG_MANAGER, XM_XSLT_URI_SOURCE, XM_XPATH_COLLECTION_FILE_SCHEME_RESOLVER, XM_XPATH_DEFAULT_COLLECTION_SCHEME_RESOLVER

Features

Invariants

indexing

description

Shared file systems

pattern

Singleton

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2001, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/08/03 21:35:47 $

revision

$Revision: 1.10 $

class

KL_SHARED_FILE_SYSTEM

feature -- File systems

file_system: KL_FILE_SYSTEM

-- Underlying file system

ensure
file_system_not_void: Result /= Void
current_file_system: Result.is_current_file_system
unix_file_system: KL_UNIX_FILE_SYSTEM

-- Unix-like file system

ensure
file_system_not_void: Result /= Void
windows_backslash_only_file_system: KL_WINDOWS_FILE_SYSTEM

-- Windows-like file system which accepts only \ as
-- directory separator

ensure
file_system_not_void: Result /= Void
windows_file_system: KL_WINDOWS_FILE_SYSTEM

-- Windows-like file system which accepts both
-- \ and / as directory separator

ensure
file_system_not_void: Result /= Void

invariant

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

end