| 1 | // Jomic - a viewer for comic book archives. |
| 2 | // Copyright (C) 2004-2011 Thomas Aglassinger |
| 3 | // |
| 4 | // This program is free software: you can redistribute it and/or modify |
| 5 | // it under the terms of the GNU General Public License as published by |
| 6 | // the Free Software Foundation, either version 3 of the License, or |
| 7 | // (at your option) any later version. |
| 8 | // |
| 9 | // This program is distributed in the hope that it will be useful, |
| 10 | // but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 11 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 12 | // GNU General Public License for more details. |
| 13 | // |
| 14 | // You should have received a copy of the GNU General Public License |
| 15 | // along with this program. If not, see <http://www.gnu.org/licenses/>. |
| 16 | package net.sf.jomic.tools; |
| 17 | |
| 18 | import java.awt.Color; |
| 19 | import java.awt.Graphics; |
| 20 | |
| 21 | import javax.swing.JComponent; |
| 22 | |
| 23 | /** |
| 24 | * A JComponent that renders as a simple box with a single color. |
| 25 | * |
| 26 | * @author Thomas Aglassinger |
| 27 | */ |
| 28 | public class ColorBox extends JComponent |
| 29 | { |
| 30 | private /*@ spec_public @*/Color color; |
| 31 | |
| 32 | //@ invariant getColor() != null; |
| 33 | |
| 34 | //@ ensures getColor().equals(newColor); |
| 35 | public ColorBox(Color newColor) { |
| 36 | super(); |
| 37 | color = newColor; |
| 38 | } |
| 39 | |
| 40 | //@ assignable color; |
| 41 | //@ ensures getColor().equals(newColor); |
| 42 | public void setColor(Color newColor) { |
| 43 | color = newColor; |
| 44 | repaint(); |
| 45 | } |
| 46 | |
| 47 | public /*@ pure @*/ Color getColor() { |
| 48 | return color; |
| 49 | } |
| 50 | |
| 51 | protected void paintComponent(Graphics g) { |
| 52 | g.setColor(getColor()); |
| 53 | g.fillRect(0, 0, getWidth(), getHeight()); |
| 54 | } |
| 55 | } |