/[eiffelstudio]/branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/widgets/explorer_bar/eb_explorer_bar_attachable.e
ViewVC logotype

Contents of /branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/widgets/explorer_bar/eb_explorer_bar_attachable.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 62062 - (show annotations)
Sun Jul 30 06:23:41 2006 UTC (13 years, 4 months ago) by manus
File size: 3127 byte(s)
EiffelStudio docking branch. It only contains modified classes needed to get the docking version of EiffelStudio.
1 indexing
2 description : "Objects that ..."
3 legal: "See notice at end of class."
4 status: "See notice at end of class."
5 author : "$Author$"
6 date : "$Date$"
7 revision : "$Revision$"
8
9 deferred
10 class
11 EB_EXPLORER_BAR_ATTACHABLE
12
13 feature -- Attachement
14
15 attach_to_explorer_bar (a_bar: EB_EXPLORER_BAR) is
16 -- Set `explorer_bar' to `a_bar'.
17 require
18 a_bar_exists: a_bar /= Void
19 not_attached: explorer_bar_item = Void
20 do
21 if explorer_bar_item = Void then
22 build_explorer_bar_item (a_bar)
23 else
24 set_explorer_bar (a_bar)
25 end
26 ensure
27 explorer_bar_item_exists: explorer_bar_item /= Void
28 end
29
30 unattach_from_explorer_bar is
31 require
32 attached: explorer_bar_item /= Void
33 do
34 if explorer_bar_item.is_closeable then
35 explorer_bar_item.close
36 end
37 explorer_bar_item.recycle
38 explorer_bar_item := Void
39 ensure
40 explorer_bar_item = Void
41 end
42
43 change_attach_explorer (a_bar: EB_EXPLORER_BAR) is
44 require
45 a_bar_exists: a_bar /= Void
46 attached: explorer_bar_item /= Void
47 do
48 if a_bar /= explorer_bar_item.parent then
49 unattach_from_explorer_bar
50 attach_to_explorer_bar (a_bar)
51 end
52 end
53
54 set_explorer_bar (a_bar: EB_EXPLORER_BAR) is
55 -- Set `explorer_bar' to `a_bar'.
56 require
57 explorer_bar_item /= Void
58 do
59 explorer_bar_item.set_parent (a_bar)
60 end
61
62 feature -- Access
63
64 explorer_bar_item: EB_EXPLORER_BAR_ITEM
65 -- Associated explorer bar item.
66
67 feature {NONE} -- Build implementation
68
69 build_explorer_bar_item (an_explorer_bar: EB_EXPLORER_BAR) is
70 -- Build the associated explorer bar item and
71 -- Add it to `explorer_bar'
72 require
73 an_explorer_bar_exists: an_explorer_bar /= Void
74 deferred
75 ensure
76 explorer_bar_item_created: explorer_bar_item /= Void
77 end
78
79 indexing
80 copyright: "Copyright (c) 1984-2006, Eiffel Software"
81 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
82 licensing_options: "http://www.eiffel.com/licensing"
83 copying: "[
84 This file is part of Eiffel Software's Eiffel Development Environment.
85
86 Eiffel Software's Eiffel Development Environment is free
87 software; you can redistribute it and/or modify it under
88 the terms of the GNU General Public License as published
89 by the Free Software Foundation, version 2 of the License
90 (available at the URL listed under "license" above).
91
92 Eiffel Software's Eiffel Development Environment is
93 distributed in the hope that it will be useful, but
94 WITHOUT ANY WARRANTY; without even the implied warranty
95 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
96 See the GNU General Public License for more details.
97
98 You should have received a copy of the GNU General Public
99 License along with Eiffel Software's Eiffel Development
100 Environment; if not, write to the Free Software Foundation,
101 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
102 ]"
103 source: "[
104 Eiffel Software
105 356 Storke Road, Goleta, CA 93117 USA
106 Telephone 805-685-1006, Fax 805-685-6869
107 Website http://www.eiffel.com
108 Customer support http://support.eiffel.com
109 ]"
110
111 end -- class ES_TOOL_NOTEBOOK_TABABLE

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23