/[eiffelstudio]/FreeELKS/trunk/library/kernel/excep_const.e
ViewVC logotype

Contents of /FreeELKS/trunk/library/kernel/excep_const.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 91424 - (show annotations)
Tue Oct 26 18:39:32 2004 UTC (15 years, 3 months ago) by manus_eiffel
File size: 3568 byte(s)
Initial revision

1 indexing
2
3 description: "[
4 Constants used for exception handling.
5 This class may be used as ancestor by classes needing its facilities.
6 ]"
7
8 status: "See notice at end of class"
9 date: "$Date$"
10 revision: "$Revision$"
11
12 class
13 EXCEP_CONST
14
15 feature -- Access
16
17 Void_call_target: INTEGER is 1
18 -- Exception code for feature applied to void reference
19
20 No_more_memory: INTEGER is 2
21 -- Exception code for failed memory allocation
22
23 Precondition: INTEGER is 3
24 -- Exception code for violated precondition
25
26 Postcondition: INTEGER is 4
27 -- Exception code for violated postcondition
28
29 Floating_point_exception: INTEGER is 5
30 -- Exception code for floating point exception
31
32 Class_invariant: INTEGER is 6
33 -- Exception code for violated class invariant
34
35 Check_instruction: INTEGER is 7
36 -- Exception code for violated check
37
38 Routine_failure: INTEGER is 8
39 -- Exception code for failed routine
40
41 Incorrect_inspect_value: INTEGER is 9
42 -- Exception code for inspect value which is not one
43 -- of the inspect constants, if there is no Else_part
44
45 Loop_variant: INTEGER is 10
46 -- Exception code for non-decreased loop variant
47
48 Loop_invariant: INTEGER is 11
49 -- Exception code for violated loop invariant
50
51 Signal_exception: INTEGER is 12
52 -- Exception code for operating system signal
53
54 Rescue_exception: INTEGER is 14
55 -- Exception code for exception in rescue clause
56
57 External_exception: INTEGER is 18
58 -- Exception code for operating system error
59 -- which does not set the `errno' variable
60 -- (Unix-specific)
61
62 Void_assigned_to_expanded: INTEGER is 19
63 -- Exception code for assignment of void value
64 -- to expanded entity
65
66 Io_exception: INTEGER is 21
67 -- Exception code for I/O error
68
69 Operating_system_exception: INTEGER is 22
70 -- Exception code for operating system error
71 -- which sets the `errno' variable
72 -- (Unix-specific)
73
74 Retrieve_exception: INTEGER is 23
75 -- Exception code for retrieval error
76 -- may be raised by `retrieved' in `IO_MEDIUM'.
77
78 Developer_exception: INTEGER is 24
79 -- Exception code for developer exception
80
81 Runtime_io_exception: INTEGER is 27
82 -- Exception code for I/O error raised by runtime functions
83 -- such as store/retrieve, file access...
84
85 Com_exception: INTEGER is 28
86 -- Exception code for a COM error.
87
88 Runtime_check_exception: INTEGER is 29
89 -- Exception code for runtime check being violated.
90
91 number_of_codes: INTEGER is 29
92 -- How many codes are there to represent exceptions?
93
94 valid_code (c: INTEGER): BOOLEAN is
95 -- Is `c' a valid code to represent some kind of exceptions?
96 do
97 Result := c >= 1 and c <= number_of_codes
98 end
99
100 indexing
101
102 library: "[
103 EiffelBase: Library of reusable components for Eiffel.
104 ]"
105
106 status: "[
107 Copyright 1986-2001 Interactive Software Engineering (ISE).
108 For ISE customers the original versions are an ISE product
109 covered by the ISE Eiffel license and support agreements.
110 ]"
111
112 license: "[
113 EiffelBase may now be used by anyone as FREE SOFTWARE to
114 develop any product, public-domain or commercial, without
115 payment to ISE, under the terms of the ISE Free Eiffel Library
116 License (IFELL) at http://eiffel.com/products/base/license.html.
117 ]"
118
119 source: "[
120 Interactive Software Engineering Inc.
121 ISE Building
122 360 Storke Road, Goleta, CA 93117 USA
123 Telephone 805-685-1006, Fax 805-685-6869
124 Electronic mail <info@eiffel.com>
125 Customer support http://support.eiffel.com
126 ]"
127
128 info: "[
129 For latest info see award-winning pages: http://eiffel.com
130 ]"
131
132 end -- class EXCEP_CONST
133
134

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23