Mercurial > octave
annotate liboctave/oct-shlib.h @ 9958:80432f0ee895
improve octave_shlib for safer shared libs treatment
author | Jaroslav Hajek <highegg@gmail.com> |
---|---|
date | Thu, 10 Dec 2009 09:14:47 +0100 |
parents | eb63fbe60fab |
children | 14ed68363284 |
rev | line source |
---|---|
3326 | 1 /* |
2 | |
8920 | 3 Copyright (C) 1999, 2000, 2002, 2004, 2005, 2006, 2007, 2008 John W. Eaton |
9958
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
4 Copyright (C) 2009 VZLU Prague |
3326 | 5 |
6 This file is part of Octave. | |
7 | |
8 Octave is free software; you can redistribute it and/or modify it | |
9 under the terms of the GNU General Public License as published by the | |
7016 | 10 Free Software Foundation; either version 3 of the License, or (at your |
11 option) any later version. | |
3326 | 12 |
13 Octave is distributed in the hope that it will be useful, but WITHOUT | |
14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
16 for more details. | |
17 | |
18 You should have received a copy of the GNU General Public License | |
7016 | 19 along with Octave; see the file COPYING. If not, see |
20 <http://www.gnu.org/licenses/>. | |
3326 | 21 |
22 */ | |
23 | |
24 #if !defined (octave_shlib_h) | |
25 #define octave_shlib_h 1 | |
26 | |
27 #include <string> | |
9958
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
28 #include <map> |
3326 | 29 |
4848 | 30 #include "oct-time.h" |
3326 | 31 |
32 class | |
6108 | 33 OCTAVE_API |
3326 | 34 octave_shlib |
35 { | |
9958
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
36 public: // FIXME: make this class private? |
3326 | 37 |
3504 | 38 typedef std::string (*name_mangler) (const std::string&); |
39 typedef void (*close_hook) (const std::string&); | |
3326 | 40 |
9958
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
41 class shlib_rep |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
42 { |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
43 public: |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
44 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
45 shlib_rep (void) |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
46 : count (1), file (), tm_loaded (time_t ()) { } |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
47 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
48 protected: |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
49 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
50 shlib_rep (const std::string& f); |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
51 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
52 public: |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
53 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
54 virtual ~shlib_rep (void) |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
55 { |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
56 instances.erase (file); |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
57 } |
3326 | 58 |
9958
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
59 virtual bool is_open (void) const |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
60 { return false; } |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
61 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
62 virtual void *search (const std::string&, name_mangler = 0) |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
63 { return 0; } |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
64 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
65 bool is_out_of_date (void) const; |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
66 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
67 // This method will be overriden conditionally. |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
68 static shlib_rep *new_instance (const std::string& f); |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
69 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
70 static shlib_rep *get_instance (const std::string& f, bool fake); |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
71 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
72 octave_time time_loaded (void) const |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
73 { return tm_loaded; } |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
74 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
75 std::string file_name (void) const |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
76 { return file; } |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
77 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
78 void insert_hook_name (const std::string& name) const; |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
79 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
80 void erase_hook_name (const std::string& name) const; |
3326 | 81 |
9958
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
82 size_t num_fcn_names (void) const { return fcn_names.size (); } |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
83 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
84 void add_fcn_name (const std::string&); |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
85 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
86 bool remove_fcn_name (const std::string&); |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
87 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
88 void do_close_hook (close_hook cl_hook); |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
89 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
90 public: |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
91 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
92 int count; |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
93 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
94 protected: |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
95 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
96 void fake_reload (void); |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
97 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
98 std::string file; |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
99 octave_time tm_loaded; |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
100 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
101 // Set of hooked function names. |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
102 typedef std::map<std::string, size_t>::iterator fcn_names_iterator; |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
103 typedef std::map<std::string, size_t>::const_iterator fcn_names_const_iterator; |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
104 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
105 std::map<std::string, size_t> fcn_names; |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
106 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
107 static std::map<std::string, shlib_rep *> instances; |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
108 }; |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
109 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
110 private: |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
111 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
112 static shlib_rep nil_rep; |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
113 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
114 public: |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
115 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
116 octave_shlib (void) : rep (&nil_rep) { rep->count++; } |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
117 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
118 octave_shlib (const std::string& f, bool fake = true) |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
119 : rep (shlib_rep::get_instance (f, fake)) { } |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
120 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
121 ~octave_shlib (void) |
3326 | 122 { |
9958
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
123 if (--rep->count == 0) |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
124 delete rep; |
3326 | 125 } |
126 | |
127 octave_shlib (const octave_shlib& sl) | |
128 { | |
129 rep = sl.rep; | |
130 rep->count++; | |
131 } | |
132 | |
133 octave_shlib& operator = (const octave_shlib& sl) | |
134 { | |
135 if (rep != sl.rep) | |
136 { | |
137 if (--rep->count == 0) | |
138 delete rep; | |
139 | |
140 rep = sl.rep; | |
141 rep->count++; | |
142 } | |
143 | |
144 return *this; | |
145 } | |
146 | |
147 bool operator == (const octave_shlib& sl) const | |
148 { return (rep == sl.rep); } | |
149 | |
9958
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
150 operator bool () const { return rep->is_open (); } |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
151 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
152 void open (const std::string& f) |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
153 { *this = octave_shlib (f); } |
3326 | 154 |
9958
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
155 void close (close_hook cl_hook = 0) |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
156 { |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
157 if (cl_hook) |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
158 rep->do_close_hook (cl_hook); |
7749
14e05160b99f
reference counting for functions loaded from shared libraries
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
159 |
9958
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
160 *this = octave_shlib (); |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
161 } |
3326 | 162 |
9958
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
163 void *search (const std::string& nm, name_mangler mangler = 0) const |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
164 { |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
165 void *f = rep->search (nm, mangler); |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
166 if (f) |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
167 rep->add_fcn_name (nm); |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
168 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
169 return f; |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
170 } |
3326 | 171 |
9958
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
172 void add (const std::string& name) |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
173 { rep->add_fcn_name (name); } |
3326 | 174 |
9958
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
175 bool remove (const std::string& name) |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
176 { return rep->remove_fcn_name (name); } |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
177 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
178 size_t number_of_functions_loaded (void) const |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
179 { return rep->num_fcn_names (); } |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
180 |
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
181 bool is_out_of_date (void) const |
3326 | 182 { return rep->is_out_of_date (); } |
183 | |
9958
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
184 std::string file_name (void) const |
3326 | 185 { return rep->file_name (); } |
186 | |
9958
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
187 octave_time time_loaded (void) const |
3326 | 188 { return rep->time_loaded (); } |
189 | |
9958
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
190 private: |
3326 | 191 |
9958
80432f0ee895
improve octave_shlib for safer shared libs treatment
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
192 shlib_rep *rep; |
3326 | 193 }; |
194 | |
195 #endif | |
196 | |
197 /* | |
198 ;;; Local Variables: *** | |
199 ;;; mode: C++ *** | |
200 ;;; End: *** | |
201 */ |