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

em.goof.loader

Class EM_GOOF_LOADER_PARSE_ERROR_CONSTANTS


Direct ancestors

EM_GOOF_LOADER_ERROR_CONSTANTS

Known direct descendants

EM_GOOF_LOADER_NODE_PROCESSOR, EM_GOOF_LOADER_XML_INPUT_FILE_PARSER

Features

Invariants

indexing

description

Error constants used for XML parsing.

date

$Date: 2005/10/23 10:25:26 $

revision

$Revision: 1.3 $

class

EM_GOOF_LOADER_PARSE_ERROR_CONSTANTS

inherit

EM_GOOF_LOADER_ERROR_CONSTANTS

feature -- Access

error_code: INTEGER

-- Code of error.

-- (From EM_GOOF_LOADER_ERROR_CONSTANTS)

error_description: STRING

-- Textual description of error.

-- (From EM_GOOF_LOADER_ERROR_CONSTANTS)

require
has_error: has_error
ensure
Result_exists: Result /= Void
Result_not_empty: not Result.is_empty
file_name: STRING

-- Name of file where error occurred.

-- (From EM_GOOF_LOADER_ERROR_CONSTANTS)

feature -- Status report

has_error: BOOLEAN

-- Did an error occur?

-- (From EM_GOOF_LOADER_ERROR_CONSTANTS)

feature -- File systems

file_system: KL_FILE_SYSTEM

-- Underlying file system

-- (From KL_SHARED_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

-- (From KL_SHARED_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

-- (From KL_SHARED_FILE_SYSTEM)

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

-- (From KL_SHARED_FILE_SYSTEM)

ensure
file_system_not_void: Result /= Void

feature {EM_GOOF_LOADER_ERROR_CONSTANTS} -- Implementation

slots: ARRAY [STRING]

-- Slots for additional information.

-- (From EM_GOOF_LOADER_ERROR_CONSTANTS)

invariant

error_constraint: error_code > 0 implies has_error
slot_constraint: error_code > 0 implies(slots /= Void and then is_complete (error_code, slots))
error_code_positive: error_code >= 0
non_empty_description: has_error implies (error_description /= Void andnot error_description.is_empty)

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

end