/[eiffelstudio]/branches/eth/eve/Src/Eiffel/API/error/eiffel/feature/loop_iteration_feature_signature_error.e
ViewVC logotype

Contents of /branches/eth/eve/Src/Eiffel/API/error/eiffel/feature/loop_iteration_feature_signature_error.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 94983 - (show annotations)
Fri May 2 11:05:28 2014 UTC (5 years, 5 months ago) by jasonw
File size: 2851 byte(s)
<<Merged from trunk#94978.>>
1 ´╗┐note
2 description: "Error in loop iteration part: required feature has incorrect signature."
3
4 class LOOP_ITERATION_FEATURE_SIGNATURE_ERROR
5
6 inherit
7 FEATURE_ERROR
8 redefine
9 build_explain,
10 help_file_name
11 end
12
13 create
14 make
15
16 feature {NONE} -- Creation
17
18 make (c: AST_CONTEXT; f: FEATURE_I; i: CLASS_C; l: LOCATION_AS)
19 -- Create error object for loop iteration that cannot find a feature `f' in class `i' in the context `c'.
20 require
21 c_attached: attached c
22 f_attached: attached f
23 i_attached: attached i
24 l_attached: attached l
25 do
26 c.init_error (Current)
27 iteration_feature := f.e_feature
28 iteration_class := i
29 set_location (l)
30 ensure
31 iteration_feature_set: iteration_feature = f.e_feature
32 iteration_class_set: iteration_class = i
33 end
34
35 feature -- Error properties
36
37 code: STRING = "Loop iteration feature signature error"
38 -- Error code.
39
40 help_file_name: STRING_8 = "Loop_iteration_feature_signature_error"
41 -- Help file name.
42
43 feature {NONE} -- Access
44
45 iteration_class: CLASS_C
46 -- Affected iteration class.
47
48 iteration_feature: E_FEATURE
49 -- Feature with unexpected signature.
50
51 feature -- Output
52
53 build_explain (a_text_formatter: TEXT_FORMATTER)
54 -- <Precursor>
55 do
56 a_text_formatter.add ("Class: ")
57 iteration_class.append_name (a_text_formatter)
58 a_text_formatter.add_new_line
59 a_text_formatter.add ("Feature: ")
60 iteration_feature.append_just_signature (a_text_formatter)
61 a_text_formatter.add_new_line
62 end
63
64 note
65 date: "$Date$"
66 revision: "$Revision$"
67 copyright: "Copyright (c) 1984-2014, Eiffel Software"
68 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
69 licensing_options: "http://www.eiffel.com/licensing"
70 copying: "[
71 This file is part of Eiffel Software's Eiffel Development Environment.
72
73 Eiffel Software's Eiffel Development Environment is free
74 software; you can redistribute it and/or modify it under
75 the terms of the GNU General Public License as published
76 by the Free Software Foundation, version 2 of the License
77 (available at the URL listed under "license" above).
78
79 Eiffel Software's Eiffel Development Environment is
80 distributed in the hope that it will be useful, but
81 WITHOUT ANY WARRANTY; without even the implied warranty
82 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
83 See the GNU General Public License for more details.
84
85 You should have received a copy of the GNU General Public
86 License along with Eiffel Software's Eiffel Development
87 Environment; if not, write to the Free Software Foundation,
88 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
89 ]"
90 source: "[
91 Eiffel Software
92 5949 Hollister Ave., Goleta, CA 93117 USA
93 Telephone 805-685-1006, Fax 805-685-6869
94 Website http://www.eiffel.com
95 Customer support http://support.eiffel.com
96 ]"
97
98 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23