ide/gsf.codecoverage/src/org/netbeans/modules/gsf/codecoverage/CoverageBar.java - netbeans - Git at Google

 /*
  * Licensed to the Apache Software Foundation (ASF) under one
  * or more contributor license agreements.  See the NOTICE file
  * distributed with this work for additional information
  * regarding copyright ownership.  The ASF licenses this file
  * to you under the Apache License, Version 2.0 (the
  * "License"); you may not use this file except in compliance
  * with the License.  You may obtain a copy of the License at
  *
  *   http://www.apache.org/licenses/LICENSE-2.0
  *
  * Unless required by applicable law or agreed to in writing,
  * software distributed under the License is distributed on an
  * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
  * KIND, either express or implied.  See the License for the
  * specific language governing permissions and limitations
  * under the License.
  */
 package org.netbeans.modules.gsf.codecoverage;

 import java.awt.AlphaComposite;
 import java.awt.Color;
 import java.awt.Dimension;
 import java.awt.Font;
 import java.awt.FontMetrics;
 import java.awt.GradientPaint;
 import java.awt.Graphics;
 import java.awt.Graphics2D;
 import java.awt.Insets;
 import java.awt.Rectangle;
 import java.awt.event.HierarchyEvent;
 import java.awt.event.HierarchyListener;
 import java.awt.event.MouseEvent;
 import java.awt.image.BufferedImage;
 import java.awt.image.ConvolveOp;
 import java.awt.image.Kernel;
 import javax.swing.JComponent;
 import javax.swing.JLabel;
 import javax.swing.ToolTipManager;
 import org.openide.awt.GraphicsUtils;

 /**
  * Custom component for painting code coverage. I was initially using a JProgressBar, with the
  * BasicProgressBarUI associated with it (to get red/green colors set correctly even on OSX), but it
  * was pretty plain and ugly looking - no nice gradients etc. Hence this component.
  *
  * @todo Add a getBaseline
  *
  * @author Tor Norbye
  */
 public class CoverageBar extends JComponent {

     private static final Color NOT_COVERED_LIGHT = new Color(255, 160, 160);
     private static final Color NOT_COVERED_DARK = new Color(180, 50, 50);
     private static final Color COVERED_LIGHT = new Color(160, 255, 160);
     private static final Color COVERED_DARK = new Color(30, 180, 30);
     private boolean emphasize;
     private boolean selected;
     /**
      * Coverage percentage: 0.0f <= x <= 100f
      */
     private float coveragePercentage;
     private int totalLines;
     private int executedLines;
     private int partialLines;
     private int inferredLines;

     public CoverageBar() {
         addHierarchyListener(new HierarchyListener() {
             @Override
             public void hierarchyChanged(HierarchyEvent e) {
                 if ((e.getChangeFlags() & HierarchyEvent.SHOWING_CHANGED) != 0) {
                     if (isShowing()) {
                         ToolTipManager.sharedInstance().registerComponent(CoverageBar.this);
                     } else {
                         ToolTipManager.sharedInstance().unregisterComponent(CoverageBar.this);
                     }
                 }
             }
         });
         updateUI();
     }

     public float getCoveragePercentage() {
         return coveragePercentage;
     }

     public void setCoveragePercentage(float coveragePercentage) {
         this.coveragePercentage = coveragePercentage;
         repaint();
     }

     public boolean isSelected() {
         return selected;
     }

     public void setSelected(boolean selected) {
         this.selected = selected;
     }

     public boolean isEmphasize() {
         return emphasize;
     }

     public void setEmphasize(boolean emphasize) {
         this.emphasize = emphasize;
     }

     private String getString() {
         return String.format("%.2f %%", coveragePercentage); // NOI18N
     }

     @Override
     public boolean isOpaque() {
         return true;
     }

     @Override
     public final void updateUI() {
         Font f = new JLabel().getFont();
         f = new Font(f.getName(), Font.BOLD, f.getSize());
         setFont(f);
         revalidate();
         repaint();
     }

     public @Override
     void paint(Graphics g) {
         // Antialiasing if necessary
         GraphicsUtils.configureDefaultRenderingHints(g);
         super.paint(g);
     }

     @Override
     protected void paintComponent(Graphics g) {

         if (!(g instanceof Graphics2D)) {
             return;
         }

         int width = getWidth();
         int barRectWidth = width;
         int height = getHeight();
         int barRectHeight = height;

         if (barRectWidth <= 0 || barRectHeight <= 0) {
             return;
         }

         int amountFull = (int) (barRectWidth * coveragePercentage / 100.0f);

         Graphics2D g2 = (Graphics2D) g;

         g2.setColor(getBackground());

         Color notCoveredLight = NOT_COVERED_LIGHT;
         Color notCoveredDark = NOT_COVERED_DARK;
         Color coveredLight = COVERED_LIGHT;
         Color coveredDark = COVERED_DARK;
         if (emphasize) {
             coveredDark = coveredDark.darker();
         } else if (selected) {
             coveredLight = coveredLight.brighter();
             coveredDark = coveredDark.darker();
         }
         if (emphasize) {
             notCoveredDark = notCoveredDark.darker();
         } else if (selected) {
             notCoveredLight = notCoveredLight.brighter();
             notCoveredDark = notCoveredDark.darker();
         }

         g2.setPaint(new GradientPaint(0, 0, notCoveredLight,
             0, height / 2, notCoveredDark));
         g2.fillRect(amountFull, 1, width - 1, height / 2);
         g2.setPaint(new GradientPaint(0, height / 2, notCoveredDark,
             0, 2 * height, notCoveredLight));
         g2.fillRect(amountFull, height / 2, width - 1, height / 2);

         g2.setColor(getForeground());

         g2.setPaint(new GradientPaint(0, 0, coveredLight,
             0, height / 2, coveredDark));
         g2.fillRect(1, 1, amountFull, height / 2);
         g2.setPaint(new GradientPaint(0, height / 2, coveredDark,
             0, 2 * height, coveredLight));
         g2.fillRect(1, height / 2, amountFull, height / 2);

         Rectangle oldClip = g2.getClipBounds();
         if (coveragePercentage > 0.0f) {
             g2.setColor(coveredDark);
             g2.clipRect(0, 0, amountFull + 1, height);
             g2.drawRect(0, 0, width - 1, height - 1);
         }
         if (coveragePercentage < 100.0f) {
             g2.setColor(notCoveredDark);
             g2.setClip(oldClip);
             g2.clipRect(amountFull, 0, width, height);
             g2.drawRect(0, 0, width - 1, height - 1);
         }
         g2.setClip(oldClip);

         g2.setFont(getFont());
         paintDropShadowText(g2, barRectWidth, barRectHeight);
     }

     @Override
     public Dimension getPreferredSize() {
         Dimension size;
         Insets border = getInsets();
         FontMetrics fontSizer = getFontMetrics(getFont());

         size = new Dimension(146, 12);
         String string = getString();
         int stringWidth = fontSizer.stringWidth(string);
         if (stringWidth > size.width) {
             size.width = stringWidth;
         }
         int stringHeight = fontSizer.getHeight()
             + fontSizer.getDescent();
         if (stringHeight > size.height) {
             size.height = stringHeight;
         }
         size.width += border.left + border.right;
         size.height += border.top + border.bottom;
         return size;
     }

     @Override
     public Dimension getMinimumSize() {
         Dimension pref = getPreferredSize();
         pref.width = 40;
         return pref;
     }

     @Override
     public Dimension getMaximumSize() {
         Dimension pref = getPreferredSize();
         pref.width = Short.MAX_VALUE;
         return pref;
     }

     //@Override JDK6
     @Override
     public int getBaseline(int w, int h) {
         FontMetrics fm = getFontMetrics(getFont());
         return h - fm.getDescent() - ((h - fm.getHeight()) / 2);
     }

     ///////////////////////////////////////////////////////////////////////////////
     // The following code is related to painting drop-shadow text. It is
     // directly based on code in openide.actions/**/HeapView.java by Scott Violet.
     ///////////////////////////////////////////////////////////////////////////////
     /**
      * Image containing text.
      */
     private BufferedImage textImage;
     /**
      * Image containing the drop shadow.
      */
     private BufferedImage dropShadowImage;
     /**
      * Color for the text before blurred.
      */
     private static final Color TEXT_BLUR_COLOR = Color.WHITE;
     /**
      * Color for text drawn on top of blurred text.
      */
     private static final Color TEXT_COLOR = Color.WHITE;
     /**
      * Size used for Kernel used to generate drop shadow.
      */
     private static final int KERNEL_SIZE = 3;
     /**
      * Factor used for Kernel used to generate drop shadow.
      */
     private static final float BLUR_FACTOR = 0.1f;
     /**
      * How far to shift the drop shadow along the horizontal axis.
      */
     private static final int SHIFT_X = 0;
     /**
      * How far to shift the drop shadow along the vertical axis.
      */
     private static final int SHIFT_Y = 1;
     /**
      * Used to generate drop shadown.
      */
     private ConvolveOp blur;

     /**
      * Renders the text using a drop shadow.
      */
     private void paintDropShadowText(Graphics g, int w, int h) {
         if (textImage == null) {
             textImage = new BufferedImage(w, h, BufferedImage.TYPE_INT_ARGB);
             dropShadowImage = new BufferedImage(w, h, BufferedImage.TYPE_INT_ARGB);
         }
         // Step 1: render the text.
         Graphics2D textImageG = textImage.createGraphics();
         textImageG.setComposite(AlphaComposite.Clear);
         textImageG.fillRect(0, 0, w, h);
         textImageG.setComposite(AlphaComposite.SrcOver);
         textImageG.setColor(TEXT_BLUR_COLOR);
         paintText(textImageG, w, h);
         textImageG.dispose();

         // Step 2: copy the image containing the text to dropShadowImage using
         // the blur effect, which generates a nice drop shadow.
         Graphics2D blurryImageG = dropShadowImage.createGraphics();
         blurryImageG.setComposite(AlphaComposite.Clear);
         blurryImageG.fillRect(0, 0, w, h);
         blurryImageG.setComposite(AlphaComposite.SrcOver);
         if (blur == null) {
             // Configure structures needed for rendering drop shadow.
             int kw = KERNEL_SIZE, kh = KERNEL_SIZE;
             float blurFactor = BLUR_FACTOR;
             float[] kernelData = new float[kw * kh];
             for (int i = 0; i < kernelData.length; i++) {
                 kernelData[i] = blurFactor;
             }
             blur = new ConvolveOp(new Kernel(kw, kh, kernelData));
         }
         blurryImageG.drawImage(textImage, blur, SHIFT_X, SHIFT_Y);
         if (emphasize) {
             blurryImageG.setColor(Color.YELLOW);
         } else {
             blurryImageG.setColor(TEXT_COLOR);
         }
         blurryImageG.setFont(getFont());

         // Step 3: render the text again on top.
         paintText(blurryImageG, w, h);
         blurryImageG.dispose();

         // And finally copy it.
         g.drawImage(dropShadowImage, 0, 0, null);
     }

     private void paintText(Graphics g, int w, int h) {
         g.setFont(getFont());
         String text = getString();
         FontMetrics fm = g.getFontMetrics();
         int textWidth = fm.stringWidth(text);
         g.drawString(text, (w - textWidth) / 2,
             h - fm.getDescent() - ((h - fm.getHeight()) / 2));
     }

     public void setStats(int totalLines, int executedLines, int partialLines, int inferredLines) {
         this.totalLines = totalLines;
         this.executedLines = executedLines;
         this.partialLines = partialLines;
         this.inferredLines = inferredLines;
     }

     @Override
     public String getToolTipText(MouseEvent arg0) {
         StringBuilder sb = new StringBuilder();
         sb.append("<html><body>"); // NOI18N
         sb.append("Total Lines: ");
         sb.append(Integer.toString(totalLines));
         sb.append("<br>"); // NOI18N
         sb.append("Executed Lines: ");
         sb.append(Integer.toString(executedLines));
         sb.append("<br>"); // NOI18N
         if (partialLines >= 0) {
             sb.append("&nbsp;&nbsp;"); // NOI18N
             sb.append("Partial Lines: ");
             sb.append(Integer.toString(partialLines));
             sb.append("<br>"); // NOI18N
         }
         if (inferredLines >= 0) {
             sb.append("&nbsp;&nbsp;"); // NOI18N
             sb.append("Inferred Executed Lines: ");
             sb.append(Integer.toString(inferredLines));
             sb.append("<br>"); // NOI18N
         }

         sb.append("Not Executed Lines: ");
         int notExecutedLines = totalLines - executedLines;
         sb.append(Integer.toString(notExecutedLines));
         sb.append("<br>"); // NOI18N
         return sb.toString();
     }

 }
	/*
	* Licensed to the Apache Software Foundation (ASF) under one
	* or more contributor license agreements. See the NOTICE file
	* distributed with this work for additional information
	* regarding copyright ownership. The ASF licenses this file
	* to you under the Apache License, Version 2.0 (the
	* "License"); you may not use this file except in compliance
	* with the License. You may obtain a copy of the License at
	*
	* http://www.apache.org/licenses/LICENSE-2.0
	*
	* Unless required by applicable law or agreed to in writing,
	* software distributed under the License is distributed on an
	* "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
	* KIND, either express or implied. See the License for the
	* specific language governing permissions and limitations
	* under the License.
	*/
	package org.netbeans.modules.gsf.codecoverage;

	import java.awt.AlphaComposite;
	import java.awt.Color;
	import java.awt.Dimension;
	import java.awt.Font;
	import java.awt.FontMetrics;
	import java.awt.GradientPaint;
	import java.awt.Graphics;
	import java.awt.Graphics2D;
	import java.awt.Insets;
	import java.awt.Rectangle;
	import java.awt.event.HierarchyEvent;
	import java.awt.event.HierarchyListener;
	import java.awt.event.MouseEvent;
	import java.awt.image.BufferedImage;
	import java.awt.image.ConvolveOp;
	import java.awt.image.Kernel;
	import javax.swing.JComponent;
	import javax.swing.JLabel;
	import javax.swing.ToolTipManager;
	import org.openide.awt.GraphicsUtils;

	/**
	* Custom component for painting code coverage. I was initially using a JProgressBar, with the
	* BasicProgressBarUI associated with it (to get red/green colors set correctly even on OSX), but it
	* was pretty plain and ugly looking - no nice gradients etc. Hence this component.
	*
	* @todo Add a getBaseline
	*
	* @author Tor Norbye
	*/
	public class CoverageBar extends JComponent {

	private static final Color NOT_COVERED_LIGHT = new Color(255, 160, 160);
	private static final Color NOT_COVERED_DARK = new Color(180, 50, 50);
	private static final Color COVERED_LIGHT = new Color(160, 255, 160);
	private static final Color COVERED_DARK = new Color(30, 180, 30);
	private boolean emphasize;
	private boolean selected;
	/**
	* Coverage percentage: 0.0f <= x <= 100f
	*/
	private float coveragePercentage;
	private int totalLines;
	private int executedLines;
	private int partialLines;
	private int inferredLines;

	public CoverageBar() {
	addHierarchyListener(new HierarchyListener() {
	@Override
	public void hierarchyChanged(HierarchyEvent e) {
	if ((e.getChangeFlags() & HierarchyEvent.SHOWING_CHANGED) != 0) {
	if (isShowing()) {
	ToolTipManager.sharedInstance().registerComponent(CoverageBar.this);
	} else {
	ToolTipManager.sharedInstance().unregisterComponent(CoverageBar.this);
	}
	}
	}
	});
	updateUI();
	}

	public float getCoveragePercentage() {
	return coveragePercentage;
	}

	public void setCoveragePercentage(float coveragePercentage) {
	this.coveragePercentage = coveragePercentage;
	repaint();
	}

	public boolean isSelected() {
	return selected;
	}

	public void setSelected(boolean selected) {
	this.selected = selected;
	}

	public boolean isEmphasize() {
	return emphasize;
	}

	public void setEmphasize(boolean emphasize) {
	this.emphasize = emphasize;
	}

	private String getString() {
	return String.format("%.2f %%", coveragePercentage); // NOI18N
	}

	@Override
	public boolean isOpaque() {
	return true;
	}

	@Override
	public final void updateUI() {
	Font f = new JLabel().getFont();
	f = new Font(f.getName(), Font.BOLD, f.getSize());
	setFont(f);
	revalidate();
	repaint();
	}

	public @Override
	void paint(Graphics g) {
	// Antialiasing if necessary
	GraphicsUtils.configureDefaultRenderingHints(g);
	super.paint(g);
	}

	@Override
	protected void paintComponent(Graphics g) {

	if (!(g instanceof Graphics2D)) {
	return;
	}

	int width = getWidth();
	int barRectWidth = width;
	int height = getHeight();
	int barRectHeight = height;

	if (barRectWidth <= 0 \|\| barRectHeight <= 0) {
	return;
	}

	int amountFull = (int) (barRectWidth * coveragePercentage / 100.0f);

	Graphics2D g2 = (Graphics2D) g;

	g2.setColor(getBackground());

	Color notCoveredLight = NOT_COVERED_LIGHT;
	Color notCoveredDark = NOT_COVERED_DARK;
	Color coveredLight = COVERED_LIGHT;
	Color coveredDark = COVERED_DARK;
	if (emphasize) {
	coveredDark = coveredDark.darker();
	} else if (selected) {
	coveredLight = coveredLight.brighter();
	coveredDark = coveredDark.darker();
	}
	if (emphasize) {
	notCoveredDark = notCoveredDark.darker();
	} else if (selected) {
	notCoveredLight = notCoveredLight.brighter();
	notCoveredDark = notCoveredDark.darker();
	}

	g2.setPaint(new GradientPaint(0, 0, notCoveredLight,
	0, height / 2, notCoveredDark));
	g2.fillRect(amountFull, 1, width - 1, height / 2);
	g2.setPaint(new GradientPaint(0, height / 2, notCoveredDark,
	0, 2 * height, notCoveredLight));
	g2.fillRect(amountFull, height / 2, width - 1, height / 2);

	g2.setColor(getForeground());

	g2.setPaint(new GradientPaint(0, 0, coveredLight,
	0, height / 2, coveredDark));
	g2.fillRect(1, 1, amountFull, height / 2);
	g2.setPaint(new GradientPaint(0, height / 2, coveredDark,
	0, 2 * height, coveredLight));
	g2.fillRect(1, height / 2, amountFull, height / 2);

	Rectangle oldClip = g2.getClipBounds();
	if (coveragePercentage > 0.0f) {
	g2.setColor(coveredDark);
	g2.clipRect(0, 0, amountFull + 1, height);
	g2.drawRect(0, 0, width - 1, height - 1);
	}
	if (coveragePercentage < 100.0f) {
	g2.setColor(notCoveredDark);
	g2.setClip(oldClip);
	g2.clipRect(amountFull, 0, width, height);
	g2.drawRect(0, 0, width - 1, height - 1);
	}
	g2.setClip(oldClip);

	g2.setFont(getFont());
	paintDropShadowText(g2, barRectWidth, barRectHeight);
	}

	@Override
	public Dimension getPreferredSize() {
	Dimension size;
	Insets border = getInsets();
	FontMetrics fontSizer = getFontMetrics(getFont());

	size = new Dimension(146, 12);
	String string = getString();
	int stringWidth = fontSizer.stringWidth(string);
	if (stringWidth > size.width) {
	size.width = stringWidth;
	}
	int stringHeight = fontSizer.getHeight()
	+ fontSizer.getDescent();
	if (stringHeight > size.height) {
	size.height = stringHeight;
	}
	size.width += border.left + border.right;
	size.height += border.top + border.bottom;
	return size;
	}

	@Override
	public Dimension getMinimumSize() {
	Dimension pref = getPreferredSize();
	pref.width = 40;
	return pref;
	}

	@Override
	public Dimension getMaximumSize() {
	Dimension pref = getPreferredSize();
	pref.width = Short.MAX_VALUE;
	return pref;
	}

	//@Override JDK6
	@Override
	public int getBaseline(int w, int h) {
	FontMetrics fm = getFontMetrics(getFont());
	return h - fm.getDescent() - ((h - fm.getHeight()) / 2);
	}

	///////////////////////////////////////////////////////////////////////////////
	// The following code is related to painting drop-shadow text. It is
	// directly based on code in openide.actions/**/HeapView.java by Scott Violet.
	///////////////////////////////////////////////////////////////////////////////
	/**
	* Image containing text.
	*/
	private BufferedImage textImage;
	/**
	* Image containing the drop shadow.
	*/
	private BufferedImage dropShadowImage;
	/**
	* Color for the text before blurred.
	*/
	private static final Color TEXT_BLUR_COLOR = Color.WHITE;
	/**
	* Color for text drawn on top of blurred text.
	*/
	private static final Color TEXT_COLOR = Color.WHITE;
	/**
	* Size used for Kernel used to generate drop shadow.
	*/
	private static final int KERNEL_SIZE = 3;
	/**
	* Factor used for Kernel used to generate drop shadow.
	*/
	private static final float BLUR_FACTOR = 0.1f;
	/**
	* How far to shift the drop shadow along the horizontal axis.
	*/
	private static final int SHIFT_X = 0;
	/**
	* How far to shift the drop shadow along the vertical axis.
	*/
	private static final int SHIFT_Y = 1;
	/**
	* Used to generate drop shadown.
	*/
	private ConvolveOp blur;

	/**
	* Renders the text using a drop shadow.
	*/
	private void paintDropShadowText(Graphics g, int w, int h) {
	if (textImage == null) {
	textImage = new BufferedImage(w, h, BufferedImage.TYPE_INT_ARGB);
	dropShadowImage = new BufferedImage(w, h, BufferedImage.TYPE_INT_ARGB);
	}
	// Step 1: render the text.
	Graphics2D textImageG = textImage.createGraphics();
	textImageG.setComposite(AlphaComposite.Clear);
	textImageG.fillRect(0, 0, w, h);
	textImageG.setComposite(AlphaComposite.SrcOver);
	textImageG.setColor(TEXT_BLUR_COLOR);
	paintText(textImageG, w, h);
	textImageG.dispose();

	// Step 2: copy the image containing the text to dropShadowImage using
	// the blur effect, which generates a nice drop shadow.
	Graphics2D blurryImageG = dropShadowImage.createGraphics();
	blurryImageG.setComposite(AlphaComposite.Clear);
	blurryImageG.fillRect(0, 0, w, h);
	blurryImageG.setComposite(AlphaComposite.SrcOver);
	if (blur == null) {
	// Configure structures needed for rendering drop shadow.
	int kw = KERNEL_SIZE, kh = KERNEL_SIZE;
	float blurFactor = BLUR_FACTOR;
	float[] kernelData = new float[kw * kh];
	for (int i = 0; i < kernelData.length; i++) {
	kernelData[i] = blurFactor;
	}
	blur = new ConvolveOp(new Kernel(kw, kh, kernelData));
	}
	blurryImageG.drawImage(textImage, blur, SHIFT_X, SHIFT_Y);
	if (emphasize) {
	blurryImageG.setColor(Color.YELLOW);
	} else {
	blurryImageG.setColor(TEXT_COLOR);
	}
	blurryImageG.setFont(getFont());

	// Step 3: render the text again on top.
	paintText(blurryImageG, w, h);
	blurryImageG.dispose();

	// And finally copy it.
	g.drawImage(dropShadowImage, 0, 0, null);
	}

	private void paintText(Graphics g, int w, int h) {
	g.setFont(getFont());
	String text = getString();
	FontMetrics fm = g.getFontMetrics();
	int textWidth = fm.stringWidth(text);
	g.drawString(text, (w - textWidth) / 2,
	h - fm.getDescent() - ((h - fm.getHeight()) / 2));
	}

	public void setStats(int totalLines, int executedLines, int partialLines, int inferredLines) {
	this.totalLines = totalLines;
	this.executedLines = executedLines;
	this.partialLines = partialLines;
	this.inferredLines = inferredLines;
	}

	@Override
	public String getToolTipText(MouseEvent arg0) {
	StringBuilder sb = new StringBuilder();
	sb.append("<html><body>"); // NOI18N
	sb.append("Total Lines: ");
	sb.append(Integer.toString(totalLines));
	sb.append("<br>"); // NOI18N
	sb.append("Executed Lines: ");
	sb.append(Integer.toString(executedLines));
	sb.append("<br>"); // NOI18N
	if (partialLines >= 0) {
	sb.append("  "); // NOI18N
	sb.append("Partial Lines: ");
	sb.append(Integer.toString(partialLines));
	sb.append("<br>"); // NOI18N
	}
	if (inferredLines >= 0) {
	sb.append("  "); // NOI18N
	sb.append("Inferred Executed Lines: ");
	sb.append(Integer.toString(inferredLines));
	sb.append("<br>"); // NOI18N
	}

	sb.append("Not Executed Lines: ");
	int notExecutedLines = totalLines - executedLines;
	sb.append(Integer.toString(notExecutedLines));
	sb.append("<br>"); // NOI18N
	return sb.toString();
	}

	}