1
2
3
4
5
6
7
8
9
|
/* $Id$
* $Log$
* Revision 1.1 2000/10/31 04:29:50 geraint
* Initial revision
*
*/
|
>
>
>
|
1
2
3
4
5
6
7
8
9
10
11
12
|
/* $Id$
* $Log$
* Revision 1.1 2000/12/28 09:46:05 peterg
* put under RCS
*
* Revision 1.1 2000/10/31 04:29:50 geraint
* Initial revision
*
*/
|
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
|
{
/*
* get remainder of line in case there are any commented keywords
*/
char c;
cout << " // ";
cin >> c;
while (c != '\n' && c != EOF)
{
cout << c;
cin >> c;
}
cout << endl
<< indent () << ';' << endl
<< indent ();
}
|
|
<
|
|
<
|
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
|
{
/*
* get remainder of line in case there are any commented keywords
*/
char c;
cout << " // ";
cin >> c;
do {
cout << c;
} while (c != '\n' && cin >> c);
cout << endl
<< indent () << ';' << endl
<< indent ();
}
|