Clover coverage report - DrJava Test Coverage (drjava-20120304-r5456)
Coverage timestamp: Sun Mar 4 2012 03:13:23 CST
file stats: LOC: 83   Methods: 3
NCLOC: 28   Classes: 1
 
 Source file Conditionals Statements Methods TOTAL
FontOption.java 87.5% 88.2% 100% 89.3%
coverage coverage
 1    /*BEGIN_COPYRIGHT_BLOCK
 2    *
 3    * Copyright (c) 2001-2010, JavaPLT group at Rice University (drjava@rice.edu)
 4    * All rights reserved.
 5    *
 6    * Redistribution and use in source and binary forms, with or without
 7    * modification, are permitted provided that the following conditions are met:
 8    * * Redistributions of source code must retain the above copyright
 9    * notice, this list of conditions and the following disclaimer.
 10    * * Redistributions in binary form must reproduce the above copyright
 11    * notice, this list of conditions and the following disclaimer in the
 12    * documentation and/or other materials provided with the distribution.
 13    * * Neither the names of DrJava, the JavaPLT group, Rice University, nor the
 14    * names of its contributors may be used to endorse or promote products
 15    * derived from this software without specific prior written permission.
 16    *
 17    * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 18    * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 19    * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
 20    * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
 21    * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
 22    * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
 23    * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
 24    * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
 25    * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
 26    * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 27    * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 28    *
 29    * This software is Open Source Initiative approved Open Source Software.
 30    * Open Source Initative Approved is a trademark of the Open Source Initiative.
 31    *
 32    * This file is part of DrJava. Download the current version of this project
 33    * from http://www.drjava.org/ or http://sourceforge.net/projects/drjava/
 34    *
 35    * END_COPYRIGHT_BLOCK*/
 36   
 37    package edu.rice.cs.drjava.config;
 38   
 39    import java.awt.Font;
 40   
 41    /**
 42    * Class defining all configuration entries of type Font
 43    * @version $Id: FontOption.java 5175 2010-01-20 08:46:32Z mgricken $
 44    */
 45    public class FontOption extends Option<Font> {
 46   
 47  470 public FontOption(String key, Font def) { super(key,def); }
 48   
 49    /* Changed on 5/19/2004 to reflect a change in the API specifications of decode in the most recent release of
 50    * Java 1.5.0 beta. Decode no longer likes "PLAIN", assuming it to be default and returning the wrong font (dialog)
 51    * if the word is present This may be fixed in future versions of 1.5.0, but the use of the word PLAIN appears to
 52    * have been deprecated since 1.3 */
 53  4704 public Font parse(String s) {
 54  4704 String newS = s;// s.replaceAll("PLAIN-","")
 55  4704 int idx = newS.indexOf("PLAIN-");
 56  4704 while (idx != -1) {
 57  0 newS = newS.substring(0, idx) + newS.substring(idx + 6);
 58  0 idx = newS.indexOf("PLAIN-");
 59    }
 60  4704 return Font.decode(newS); //Font.decode(s);
 61    }
 62   
 63    /** Create a String representation of the Font object, in the format: fontname-fontstyle-fontsize. */
 64  634 public String format(Font f) {
 65  634 final StringBuilder str = new StringBuilder(f.getName());
 66  634 str.append("-");
 67  634 if (f.isBold()) {
 68  7 str.append("BOLD");
 69    }
 70  634 if (f.isItalic()) {
 71  1 str.append("ITALIC");
 72    }
 73    // if (f.isPlain()) {
 74    // str.append("PLAIN");
 75    // }
 76  634 if (! f.isPlain()) {
 77  7 str.append("-");
 78    }
 79  634 str.append(f.getSize());
 80   
 81  634 return str.toString();
 82    }
 83    }