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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 91477 - (hide annotations)
Sun Jan 14 09:47:13 2007 UTC (13 years, 1 month ago) by ericb
File size: 3302 byte(s)
Synchronized with ISE 6.0.65740
1 manus_eiffel 91424 indexing
2     description: "[
3     Constants used for exception handling.
4     This class may be used as ancestor by classes needing its facilities.
5     ]"
6 manus_eiffel 91434 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 manus_eiffel 91424 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 ericb 91477 Eiffel_runtime_panic: INTEGER is 13
55     -- Eiffel run-time panic
56    
57 manus_eiffel 91424 Rescue_exception: INTEGER is 14
58     -- Exception code for exception in rescue clause
59    
60 ericb 91477 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 manus_eiffel 91424 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 ericb 91477 Exception_in_signal_handler: INTEGER is 20
79     -- Exception in signal handler
80    
81 manus_eiffel 91424 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 ericb 91477 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 manus_eiffel 91424 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 manus_eiffel 91438 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23