/[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 91477 - (show annotations)
Sun Jan 14 09:47:13 2007 UTC (13 years ago) by ericb
File size: 3302 byte(s)
Synchronized with ISE 6.0.65740
1 indexing
2 description: "[
3 Constants used for exception handling.
4 This class may be used as ancestor by classes needing its facilities.
5 ]"
6 library: "Free implementation of ELKS library"
7 copyright: "Copyright (c) 1986-2004, Eiffel Software and others"
8 license: "Eiffel Forum License v2 (see forum.txt)"
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 Eiffel_runtime_panic: INTEGER is 13
55 -- Eiffel run-time panic
56
57 Rescue_exception: INTEGER is 14
58 -- Exception code for exception in rescue clause
59
60 Out_of_memory: INTEGER is 15
61 -- Out of memory (cannot be ignored)
62
63 Resumption_failed: INTEGER is 16
64 -- Resumption failed (retry did not succeed)
65
66 Create_on_deferred: INTEGER is 17
67 -- Create on deferred
68
69 External_exception: INTEGER is 18
70 -- Exception code for operating system error
71 -- which does not set the `errno' variable
72 -- (Unix-specific)
73
74 Void_assigned_to_expanded: INTEGER is 19
75 -- Exception code for assignment of void value
76 -- to expanded entity
77
78 Exception_in_signal_handler: INTEGER is 20
79 -- Exception in signal handler
80
81 Io_exception: INTEGER is 21
82 -- Exception code for I/O error
83
84 Operating_system_exception: INTEGER is 22
85 -- Exception code for operating system error
86 -- which sets the `errno' variable
87 -- (Unix-specific)
88
89 Retrieve_exception: INTEGER is 23
90 -- Exception code for retrieval error
91 -- may be raised by `retrieved' in `IO_MEDIUM'.
92
93 Developer_exception: INTEGER is 24
94 -- Exception code for developer exception
95
96 Eiffel_runtime_fatal_error: INTEGER is 25
97 -- Eiffel run-time fatal error
98
99 Dollar_applied_to_melted_feature: INTEGER is 26
100 -- $ applied to melted feature
101
102 Runtime_io_exception: INTEGER is 27
103 -- Exception code for I/O error raised by runtime functions
104 -- such as store/retrieve, file access...
105
106 Com_exception: INTEGER is 28
107 -- Exception code for a COM error.
108
109 Runtime_check_exception: INTEGER is 29
110 -- Exception code for runtime check being violated.
111
112 number_of_codes: INTEGER is 29
113 -- How many codes are there to represent exceptions?
114
115 valid_code (c: INTEGER): BOOLEAN is
116 -- Is `c' a valid code to represent some kind of exceptions?
117 do
118 Result := c >= 1 and c <= number_of_codes
119 end
120
121 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23