home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 1999 mARCH / PCWK3A99.iso / Linux / DDD331 / DDD-3_1_.000 / DDD-3_1_ / ddd-3.1.1 / ddd / MarkBox.h < prev    next >
C/C++ Source or Header  |  1998-03-25  |  2KB  |  77 lines
  1. // $Id: MarkBox.h,v 1.8 1998/03/25 12:43:42 zeller Exp $  -*- C++ -*-
  2. // The Mark Box saves its region
  3.  
  4. // Copyright (C) 1995 Technische Universitaet Braunschweig, Germany.
  5. // Written by Andreas Zeller <zeller@ips.cs.tu-bs.de>.
  6. // 
  7. // This file is part of DDD.
  8. // 
  9. // DDD is free software; you can redistribute it and/or
  10. // modify it under the terms of the GNU General Public
  11. // License as published by the Free Software Foundation; either
  12. // version 2 of the License, or (at your option) any later version.
  13. // 
  14. // DDD is distributed in the hope that it will be useful,
  15. // but WITHOUT ANY WARRANTY; without even the implied warranty of
  16. // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  17. // See the GNU General Public License for more details.
  18. // 
  19. // You should have received a copy of the GNU General Public
  20. // License along with DDD -- see the file COPYING.
  21. // If not, write to the Free Software Foundation, Inc.,
  22. // 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  23. // 
  24. // DDD is the data display debugger.
  25. // For details, see the DDD World-Wide-Web page, 
  26. // `http://www.cs.tu-bs.de/softech/ddd/',
  27. // or send a mail to the DDD developers <ddd@ips.cs.tu-bs.de>.
  28.  
  29. #ifndef _DDD_MarkBox_h
  30. #define _DDD_MarkBox_h
  31.  
  32. #ifdef __GNUG__
  33. #pragma interface
  34. #endif
  35.  
  36. #include "strclass.h"
  37. #include "bool.h"
  38. #include "Box.h"
  39. #include "Widget.h"
  40. #include "THatBox.h"
  41.  
  42.  
  43. class MarkBox: public TransparentHatBox {
  44. public:
  45.     DECLARE_TYPE_INFO
  46.  
  47. protected:
  48.     BoxRegion _region;          // Region of last draw
  49.  
  50.     // Draw
  51.     virtual void _draw(Widget w, 
  52.                const BoxRegion& region, 
  53.                const BoxRegion& exposed, 
  54.                GC gc,
  55.                bool context_selected) const;
  56.  
  57.     // Copy Constructor
  58.     MarkBox(const MarkBox& box):
  59.     TransparentHatBox(box),
  60.     _region(box._region)
  61.     {}
  62.  
  63. public:
  64.     // Constructor
  65.     MarkBox(Box *box):
  66.     TransparentHatBox(box), _region(BoxPoint(0,0), BoxSize(-1,-1))
  67.     {}
  68.  
  69.     Box *dup() const { return new MarkBox(*this); }
  70.  
  71.     // Resources
  72.     const BoxRegion& __region() const { return _region; }
  73. };
  74.  
  75. #endif // _DDD_MarkBox_h
  76. // DON'T ADD ANYTHING BEHIND THIS #endif
  77.