From 38f6f0dc24bd2755786f8a7947743feadb505b7f Mon Sep 17 00:00:00 2001 From: Matthias Schiffer Date: Thu, 5 May 2011 21:13:59 +0200 Subject: Add some endOfTurn handling to RoundControl git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@155 72836036-5685-4462-b002-a69064685172 --- src/jrummikub/view/impl/StonePainter.java | 504 +++++++++++++++--------------- 1 file changed, 252 insertions(+), 252 deletions(-) (limited to 'src/jrummikub/view/impl/StonePainter.java') diff --git a/src/jrummikub/view/impl/StonePainter.java b/src/jrummikub/view/impl/StonePainter.java index b901e78..0700966 100644 --- a/src/jrummikub/view/impl/StonePainter.java +++ b/src/jrummikub/view/impl/StonePainter.java @@ -19,256 +19,256 @@ import jrummikub.model.StoneColor; * coordinates */ class StonePainter { - private static final float ASPECT_RATIO = 0.75f; - private static final float DEFAULT_WIDTH = 40; - private static final float TEXT_POS = 0.275f; - private static final float FACE_WIDTH = 0.475f; - private static final float CIRCLE_POS = 0.725f; - private static final float CIRCLE_WIDTH = 0.45f; - - private static final Color BACKGROUND_COLOR = new Color(0.9f, 0.9f, 0.6f); - private static final Color SELECTED_COLOR = BACKGROUND_COLOR.darker(); - - private static final float BRIGHTER_SCALE = 1.15f; - - /** - * The width of one pixel in the scale of 1.0 - */ - public static final float WIDTH_SCALE = 1 / DEFAULT_WIDTH; - /** - * The height of one pixel in the scale of 1.0 - */ - public static final float HEIGHT_SCALE = ASPECT_RATIO / DEFAULT_WIDTH; - - private float scale; - - private static int even(float f) { - return 2 * (int) (f / 2); - } - - private static Color brighter(Color color) { - int r = (int) (color.getRed() * BRIGHTER_SCALE); - int g = (int) (color.getRed() * BRIGHTER_SCALE); - int b = (int) (color.getRed() * BRIGHTER_SCALE); - - return new Color(r > 255 ? 255 : r, g > 255 ? 255 : g, b > 255 ? 255 : b); - } - - private static Color getColor(StoneColor color) { - switch (color) { - case BLACK: - return new Color(0.15f, 0.15f, 0.15f); - case BLUE: - return new Color(0.0f, 0.0f, 1.0f); - case ORANGE: - return new Color(1.0f, 0.6f, 0.0f); - case RED: - return new Color(0.9f, 0.0f, 0.25f); - } - - return null; - } - - /** - * Sets the new grid scale - * - * @param scale - * the new scale - */ - public void setScale(float scale) { - this.scale = scale; - } - - /** - * @return the current grid scale - */ - public float getScale() { - return scale; - } - - /** - * @param x - * x position in screen coordinates - * @param y - * y position in screen coordinates - * @return position in grid coordinates - */ - public Position calculatePosition(int x, int y) { - float width = getStoneWidth(); - float height = getStoneHeight(); - - return new Position(x / width, y / height); - } - - /** - * @return the width of a stone in the current scale in pixels - */ - public int getStoneWidth() { - return even(DEFAULT_WIDTH * scale); - } - - /** - * @return the height of a stone in the current scale in pixels - */ - public int getStoneHeight() { - return (int) (DEFAULT_WIDTH * scale / ASPECT_RATIO); - } - - /** - * @param scale - * the scaling factor for the grid coordinates - */ - StonePainter(float scale) { - this.scale = scale; - } - - private void paintStoneBackground(Graphics2D g, Rectangle r, Color background) { - // Paint background - g.setColor(background); - g.fillRect(r.x, r.y, r.width, r.height); - - // Paint bevel border - g.setColor(brighter(brighter(background))); - g.fillRect(r.x, r.y, 1, r.height); - g.setColor(brighter(background)); - g.fillRect(r.x + 1, r.y + 1, 1, r.height - 2); - - g.setColor(brighter(brighter(background))); - g.fillRect(r.x, r.y, r.width, 1); - g.setColor(brighter(background)); - g.fillRect(r.x + 1, r.y + 1, r.width - 2, 1); - - g.setColor(background.darker().darker()); - g.fillRect(r.x + r.width - 1, r.y, 1, r.height); - g.setColor(background.darker()); - g.fillRect(r.x + r.width - 2, r.y + 1, 1, r.height - 2); - - g.setColor(background.darker().darker()); - g.fillRect(r.x, r.y + r.height - 1, r.width, 1); - g.setColor(background.darker()); - g.fillRect(r.x + 1, r.y + r.height - 2, r.width - 2, 1); - } - - private void paintJokerFace(Graphics2D g, Rectangle r) { - Stroke oldStroke = g.getStroke(); - - g.setStroke(new BasicStroke(2)); - g.drawOval(r.x, r.y, r.width, r.height); - - g.setStroke(new BasicStroke(1)); - GeneralPath path = new GeneralPath(); - // nose - path.moveTo(r.x + 0.5f * r.width, r.y + 0.45f * r.height); - path.lineTo(r.x + 0.53f * r.width, r.y + 0.6f * r.height); - path.lineTo(r.x + 0.47f * r.width, r.y + 0.6f * r.height); - path.closePath(); - g.fill(path); - - path.reset(); - // mouth, left - path.moveTo(r.x + 0.23f * r.width, r.y + 0.75f * r.width); - path.lineTo(r.x + 0.27f * r.width, r.y + 0.65f * r.width); - // mouth, middle - path.moveTo(r.x + 0.25f * r.width, r.y + 0.7f * r.width); - path.lineTo(r.x + 0.5f * r.width, r.y + 0.8f * r.width); - path.lineTo(r.x + 0.75f * r.width, r.y + 0.7f * r.width); - // mouth, right - path.moveTo(r.x + 0.77f * r.width, r.y + 0.75f * r.width); - path.lineTo(r.x + 0.73f * r.width, r.y + 0.65f * r.width); - g.draw(path); - - path.reset(); - // left eye - path.moveTo(r.x + 0.3f * r.width, r.y + 0.41f * r.height); - path.lineTo(r.x + 0.375f * r.width, r.y + 0.375f * r.height); - path.lineTo(r.x + 0.3f * r.width, r.y + 0.34f * r.height); - path.lineTo(r.x + 0.225f * r.width, r.y + 0.375f * r.height); - path.closePath(); - g.draw(path); - - path.reset(); - // right eye - path.moveTo(r.x + 0.7f * r.width, r.y + 0.41f * r.height); - path.lineTo(r.x + 0.625f * r.width, r.y + 0.375f * r.height); - path.lineTo(r.x + 0.7f * r.width, r.y + 0.34f * r.height); - path.lineTo(r.x + 0.775f * r.width, r.y + 0.375f * r.height); - path.closePath(); - g.draw(path); - - g.setStroke(oldStroke); - } - - private void paintJoker(Graphics2D g, Rectangle r, Color color) { - int faceSize = even(FACE_WIDTH * r.width); - int pos = r.y + (int) (TEXT_POS * r.height); - - g.setColor(color); - paintJokerFace(g, new Rectangle(r.x + r.width / 2 - faceSize / 2, pos - - faceSize / 2, faceSize, faceSize)); - } - - private void paintStoneValue(Graphics2D g, Rectangle r, Color color, int v) { - int pos = r.y + (int) (TEXT_POS * r.height); - - g.setFont(new Font("SansSerif", Font.BOLD, r.height / 4)); - FontMetrics fm = g.getFontMetrics(); - String value = Integer.toString(v); - Rectangle2D stringRect = fm.getStringBounds(value, g); - - g.setColor(color.darker()); - g.drawString(value, - (int) (r.x + r.width / 2 - stringRect.getWidth() / 2) + 1, - pos + (fm.getAscent() - fm.getDescent()) / 2 + 1); - g.setColor(color); - g.drawString(value, (int) (r.x + r.width / 2 - stringRect.getWidth() / 2), - pos + (fm.getAscent() - fm.getDescent()) / 2); - } - - private void paintCircle(Graphics2D g, Rectangle r, Color background) { - int size = even(r.width * CIRCLE_WIDTH); - int pos = r.y + (int) (CIRCLE_POS * r.height); - - // Paint circle - g.setColor(background.darker()); - g.drawArc(r.x + r.width / 2 - size / 2, pos - size / 2, size, size, 50, 170); - - g.setColor(brighter(background)); - g.drawArc((int) (r.x + r.width / 2 - size / 2), pos - size / 2, size, size, - -130, 170); - } - - /** - * Paints a stone - * - * @param g - * the graphics context to paint the stone on - * @param stone - * the stone to paint - * @param p - * the position of the stone - * @param selected - * if selected is true the stone will be painted darker - */ - public void paintStone(Graphics2D g, Stone stone, Position p, boolean selected) { - Color background = selected ? SELECTED_COLOR : BACKGROUND_COLOR; - int width = getStoneWidth(); - int height = getStoneHeight(); - - Rectangle rect = new Rectangle((int) (p.getX() * width), - (int) (p.getY() * height), width, height); - - paintStoneBackground(g, rect, background); - - Color color = getColor(stone.getColor()); - if (selected) - color = color.darker(); - - if (stone.isJoker()) { - paintJoker(g, rect, color); - } else { - paintStoneValue(g, rect, color, stone.getValue()); - } - - paintCircle(g, rect, background); - } + private static final float ASPECT_RATIO = 0.75f; + private static final float DEFAULT_WIDTH = 40; + private static final float TEXT_POS = 0.275f; + private static final float FACE_WIDTH = 0.475f; + private static final float CIRCLE_POS = 0.725f; + private static final float CIRCLE_WIDTH = 0.45f; + + private static final Color BACKGROUND_COLOR = new Color(0.9f, 0.9f, 0.6f); + private static final Color SELECTED_COLOR = BACKGROUND_COLOR.darker(); + + private static final float BRIGHTER_SCALE = 1.15f; + + /** + * The width of one pixel in the scale of 1.0 + */ + public static final float WIDTH_SCALE = 1 / DEFAULT_WIDTH; + /** + * The height of one pixel in the scale of 1.0 + */ + public static final float HEIGHT_SCALE = ASPECT_RATIO / DEFAULT_WIDTH; + + private float scale; + + private static int even(float f) { + return 2 * (int) (f / 2); + } + + private static Color brighter(Color color) { + int r = (int) (color.getRed() * BRIGHTER_SCALE); + int g = (int) (color.getRed() * BRIGHTER_SCALE); + int b = (int) (color.getRed() * BRIGHTER_SCALE); + + return new Color(r > 255 ? 255 : r, g > 255 ? 255 : g, b > 255 ? 255 : b); + } + + private static Color getColor(StoneColor color) { + switch (color) { + case BLACK: + return new Color(0.15f, 0.15f, 0.15f); + case BLUE: + return new Color(0.0f, 0.0f, 1.0f); + case ORANGE: + return new Color(1.0f, 0.6f, 0.0f); + case RED: + return new Color(0.9f, 0.0f, 0.25f); + } + + return null; + } + + /** + * Sets the new grid scale + * + * @param scale + * the new scale + */ + public void setScale(float scale) { + this.scale = scale; + } + + /** + * @return the current grid scale + */ + public float getScale() { + return scale; + } + + /** + * @param x + * x position in screen coordinates + * @param y + * y position in screen coordinates + * @return position in grid coordinates + */ + public Position calculatePosition(int x, int y) { + float width = getStoneWidth(); + float height = getStoneHeight(); + + return new Position(x / width, y / height); + } + + /** + * @return the width of a stone in the current scale in pixels + */ + public int getStoneWidth() { + return even(DEFAULT_WIDTH * scale); + } + + /** + * @return the height of a stone in the current scale in pixels + */ + public int getStoneHeight() { + return (int) (DEFAULT_WIDTH * scale / ASPECT_RATIO); + } + + /** + * @param scale + * the scaling factor for the grid coordinates + */ + StonePainter(float scale) { + this.scale = scale; + } + + private void paintStoneBackground(Graphics2D g, Rectangle r, Color background) { + // Paint background + g.setColor(background); + g.fillRect(r.x, r.y, r.width, r.height); + + // Paint bevel border + g.setColor(brighter(brighter(background))); + g.fillRect(r.x, r.y, 1, r.height); + g.setColor(brighter(background)); + g.fillRect(r.x + 1, r.y + 1, 1, r.height - 2); + + g.setColor(brighter(brighter(background))); + g.fillRect(r.x, r.y, r.width, 1); + g.setColor(brighter(background)); + g.fillRect(r.x + 1, r.y + 1, r.width - 2, 1); + + g.setColor(background.darker().darker()); + g.fillRect(r.x + r.width - 1, r.y, 1, r.height); + g.setColor(background.darker()); + g.fillRect(r.x + r.width - 2, r.y + 1, 1, r.height - 2); + + g.setColor(background.darker().darker()); + g.fillRect(r.x, r.y + r.height - 1, r.width, 1); + g.setColor(background.darker()); + g.fillRect(r.x + 1, r.y + r.height - 2, r.width - 2, 1); + } + + private void paintJokerFace(Graphics2D g, Rectangle r) { + Stroke oldStroke = g.getStroke(); + + g.setStroke(new BasicStroke(2)); + g.drawOval(r.x, r.y, r.width, r.height); + + g.setStroke(new BasicStroke(1)); + GeneralPath path = new GeneralPath(); + // nose + path.moveTo(r.x + 0.5f * r.width, r.y + 0.45f * r.height); + path.lineTo(r.x + 0.53f * r.width, r.y + 0.6f * r.height); + path.lineTo(r.x + 0.47f * r.width, r.y + 0.6f * r.height); + path.closePath(); + g.fill(path); + + path.reset(); + // mouth, left + path.moveTo(r.x + 0.23f * r.width, r.y + 0.75f * r.width); + path.lineTo(r.x + 0.27f * r.width, r.y + 0.65f * r.width); + // mouth, middle + path.moveTo(r.x + 0.25f * r.width, r.y + 0.7f * r.width); + path.lineTo(r.x + 0.5f * r.width, r.y + 0.8f * r.width); + path.lineTo(r.x + 0.75f * r.width, r.y + 0.7f * r.width); + // mouth, right + path.moveTo(r.x + 0.77f * r.width, r.y + 0.75f * r.width); + path.lineTo(r.x + 0.73f * r.width, r.y + 0.65f * r.width); + g.draw(path); + + path.reset(); + // left eye + path.moveTo(r.x + 0.3f * r.width, r.y + 0.41f * r.height); + path.lineTo(r.x + 0.375f * r.width, r.y + 0.375f * r.height); + path.lineTo(r.x + 0.3f * r.width, r.y + 0.34f * r.height); + path.lineTo(r.x + 0.225f * r.width, r.y + 0.375f * r.height); + path.closePath(); + g.draw(path); + + path.reset(); + // right eye + path.moveTo(r.x + 0.7f * r.width, r.y + 0.41f * r.height); + path.lineTo(r.x + 0.625f * r.width, r.y + 0.375f * r.height); + path.lineTo(r.x + 0.7f * r.width, r.y + 0.34f * r.height); + path.lineTo(r.x + 0.775f * r.width, r.y + 0.375f * r.height); + path.closePath(); + g.draw(path); + + g.setStroke(oldStroke); + } + + private void paintJoker(Graphics2D g, Rectangle r, Color color) { + int faceSize = even(FACE_WIDTH * r.width); + int pos = r.y + (int) (TEXT_POS * r.height); + + g.setColor(color); + paintJokerFace(g, new Rectangle(r.x + r.width / 2 - faceSize / 2, pos + - faceSize / 2, faceSize, faceSize)); + } + + private void paintStoneValue(Graphics2D g, Rectangle r, Color color, int v) { + int pos = r.y + (int) (TEXT_POS * r.height); + + g.setFont(new Font("SansSerif", Font.BOLD, r.height / 4)); + FontMetrics fm = g.getFontMetrics(); + String value = Integer.toString(v); + Rectangle2D stringRect = fm.getStringBounds(value, g); + + g.setColor(color.darker()); + g.drawString(value, + (int) (r.x + r.width / 2 - stringRect.getWidth() / 2) + 1, + pos + (fm.getAscent() - fm.getDescent()) / 2 + 1); + g.setColor(color); + g.drawString(value, (int) (r.x + r.width / 2 - stringRect.getWidth() / 2), + pos + (fm.getAscent() - fm.getDescent()) / 2); + } + + private void paintCircle(Graphics2D g, Rectangle r, Color background) { + int size = even(r.width * CIRCLE_WIDTH); + int pos = r.y + (int) (CIRCLE_POS * r.height); + + // Paint circle + g.setColor(background.darker()); + g.drawArc(r.x + r.width / 2 - size / 2, pos - size / 2, size, size, 50, 170); + + g.setColor(brighter(background)); + g.drawArc((int) (r.x + r.width / 2 - size / 2), pos - size / 2, size, size, + -130, 170); + } + + /** + * Paints a stone + * + * @param g + * the graphics context to paint the stone on + * @param stone + * the stone to paint + * @param p + * the position of the stone + * @param selected + * if selected is true the stone will be painted darker + */ + public void paintStone(Graphics2D g, Stone stone, Position p, boolean selected) { + Color background = selected ? SELECTED_COLOR : BACKGROUND_COLOR; + int width = getStoneWidth(); + int height = getStoneHeight(); + + Rectangle rect = new Rectangle((int) (p.getX() * width), + (int) (p.getY() * height), width, height); + + paintStoneBackground(g, rect, background); + + Color color = getColor(stone.getColor()); + if (selected) + color = color.darker(); + + if (stone.isJoker()) { + paintJoker(g, rect, color); + } else { + paintStoneValue(g, rect, color, stone.getValue()); + } + + paintCircle(g, rect, background); + } } -- cgit v1.2.3