home *** CD-ROM | disk | FTP | other *** search
- // $Id: DispBuffer.h,v 1.8.6.1 1998/12/06 12:59:18 zeller Exp $
- // Filter display information from GDB output
-
- // Copyright (C) 1995 Technische Universitaet Braunschweig, Germany.
- // Written by Dorothea Luetkehaus <luetke@ips.cs.tu-bs.de>.
- //
- // This file is part of DDD.
- //
- // DDD is free software; you can redistribute it and/or
- // modify it under the terms of the GNU General Public
- // License as published by the Free Software Foundation; either
- // version 2 of the License, or (at your option) any later version.
- //
- // DDD is distributed in the hope that it will be useful,
- // but WITHOUT ANY WARRANTY; without even the implied warranty of
- // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
- // See the GNU General Public License for more details.
- //
- // You should have received a copy of the GNU General Public
- // License along with DDD -- see the file COPYING.
- // If not, write to the Free Software Foundation, Inc.,
- // 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
- //
- // DDD is the data display debugger.
- // For details, see the DDD World-Wide-Web page,
- // `http://www.cs.tu-bs.de/softech/ddd/',
- // or send a mail to the DDD developers <ddd@ips.cs.tu-bs.de>.
-
- #ifndef _DDD_DispBuffer_h
- #define _DDD_DispBuffer_h
-
- #ifdef __GNUG__
- #pragma interface
- #endif
-
- //-----------------------------------------------------------------------------
- // A `DispBuffer' filters display information from GDB output
- //-----------------------------------------------------------------------------
-
- // Misc includes
- #include "bool.h"
- #include "strclass.h"
-
- class DispBuffer {
- // What was in the previous answer?
- enum ReadState {Null, DisplayPart, DisplayFound};
-
- string display_buffer;
- string answer_buffer; // possible parts of display output
- ReadState already_read;
-
- public:
- // Constructor
- DispBuffer () :
- display_buffer(""),
- answer_buffer(""),
- already_read(Null)
- {}
-
- // Filter `display' output from ANSWER and buffer them.
- // After returning, ANSWER contains non-display output.
- void filter (string& answer);
-
- // The answer has ended; return buffered output.
- string answer_ended ();
-
- // Were there any displays in the last output?
- bool displays_found () const { return display_buffer != ""; }
- bool partial_displays_found () const
- {
- return !displays_found() && already_read == DisplayPart;
- }
-
- // Return any displays found
- string get_displays () const { return display_buffer; }
-
- // Call before filtering next answer
- void clear () {
- display_buffer = "";
- answer_buffer = "";
- already_read = Null;
- }
-
- };
-
- #endif // _DDD_DispBuffer_h
- // DON'T ADD ANYTHING BEHIND THIS #endif
-