/[eiffelstudio]/branches/eth/eve/Src/Eiffel/interface/graphical/tools/event_list_service/error_list/es_error_list_commander_i.e
ViewVC logotype

Contents of /branches/eth/eve/Src/Eiffel/interface/graphical/tools/event_list_service/error_list/es_error_list_commander_i.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: 3065 byte(s)
<<Merged from trunk#94978.>>
1 note
2 description: "[
3 Commander interface for interacting with the Errors and Warnings tool.
4 ]"
5 legal: "See notice at end of class."
6 status: "See notice at end of class.";
7 date: "$date$";
8 revision: "$revision$"
9
10 deferred class
11 ES_ERROR_LIST_COMMANDER_I
12
13 inherit
14 USABLE_I
15
16 feature -- Basic operations
17
18 go_to_next_error (a_cycle: BOOLEAN)
19 -- Goes to next error in the list.
20 --
21 -- `a_cycle': Specify true to jump back to the beginning of the list when reaching the end, False to perform
22 -- not action when the end has been reached.
23 require
24 is_interface_usable: is_interface_usable
25 deferred
26 end
27
28 go_to_previous_error (a_cycle: BOOLEAN)
29 -- Goes to previous error in the list.
30 --
31 -- `a_cycle': Specify true to jump to the end of the list when reaching the start, False to perform
32 -- not action when the start has been reached.
33 require
34 is_interface_usable: is_interface_usable
35 deferred
36 end
37
38 go_to_next_warning (a_cycle: BOOLEAN)
39 -- Goes to next warning in the list.
40 --
41 -- `a_cycle': Specify true to jump back to the beginning of the list when reaching the end, False to perform
42 -- not action when the end has been reached.
43 require
44 is_interface_usable: is_interface_usable
45 deferred
46 end
47
48 go_to_previous_warning (a_cycle: BOOLEAN)
49 -- Goes to previous warning in the list.
50 --
51 -- `a_cycle': Specify true to jump to the end of the list when reaching the start, False to perform
52 -- not action when the start has been reached.
53 require
54 is_interface_usable: is_interface_usable
55 deferred
56 end
57
58 apply_fix
59 -- Apply selected fixes (if any).
60 require
61 is_interface_usable: is_interface_usable
62 deferred
63 end
64
65
66 ;note
67 copyright: "Copyright (c) 1984-2009, 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