bundles/org.simantics.tests.modelled.ui/src/org/simantics/tests/modelled/ui/RedGreenBar.java

   1 package org.simantics.tests.modelled.ui;\r
   2 \r
   3 import java.text.DecimalFormat;\r
   4 \r
   5 import org.eclipse.jface.resource.ImageDescriptor;\r
   6 import org.eclipse.swt.graphics.Image;\r
   7 import org.eclipse.swt.widgets.Event;\r
   8 import org.simantics.scl.compiler.module.coverage.Coverage;\r
   9 \r
  10 public final class RedGreenBar {\r
  11 \r
  12     private static final int BORDER_LEFT = 2;\r
  13     private static final int BORDER_RIGHT = 10;\r
  14     private static final int BORDER_TOP = 3;\r
  15     private static final int BORDER_BOTTOM = 4;\r
  16 \r
  17     private static final String MAX_PERCENTAGE_STRING = new DecimalFormat("0.0 %").format(1.0);\r
  18     \r
  19     private static final ImageDescriptor redbar = Activator.getImageDescriptor("icons/redbar.gif"); //$NON-NLS-1$\r
  20     private static final ImageDescriptor greenbar = Activator.getImageDescriptor("icons/greenbar.gif"); //$NON-NLS-1$\r
  21     private static Image redbarIcon = Activator.createManagedImage(redbar);\r
  22     private static Image greenbarIcon = Activator.createManagedImage(greenbar);\r
  23     \r
  24     private RedGreenBar() {\r
  25     }\r
  26 \r
  27 //    public static void draw(Event event, int columnWith, ICounter counter) {\r
  28 //        draw(event, columnWith, counter, counter.getTotalCount());\r
  29 //    }\r
  30 \r
  31     public static void draw(Event event, int columnWith, Coverage coverage) {\r
  32         int maxTotal = coverage.getTotalCodeSize();\r
  33         if (maxTotal == 0)\r
  34             return;\r
  35         final int maxWidth = getMaxWidth(event, columnWith);\r
  36         final int redLength = maxWidth * coverage.getMissedCodeSize() / maxTotal;\r
  37         bar(event, redbarIcon, 0, redLength);\r
  38         final int greenLength = maxWidth * coverage.getCoveredCodeSize() / maxTotal;\r
  39         bar(event, greenbarIcon, redLength, greenLength);\r
  40     }\r
  41 \r
  42     private static void bar(Event event, Image image, int xOffset, int width) {\r
  43         final int height = event.getBounds().height - BORDER_TOP - BORDER_BOTTOM;\r
  44         event.gc.drawImage(image, 0, 0, 1, 10, event.x + xOffset + BORDER_LEFT,\r
  45                 event.y + BORDER_TOP, width, height);\r
  46     }\r
  47 \r
  48     private static int getMaxWidth(Event event, int columnWith) {\r
  49         final int textWidth = event.gc.textExtent(MAX_PERCENTAGE_STRING).x;\r
  50         final int max = columnWith - BORDER_LEFT - BORDER_RIGHT - textWidth;\r
  51         return Math.max(0, max);\r
  52     }\r
  53 \r
  54 }