Clover coverage report - DrJava Test Coverage (drjava-20110828-r5448)
Coverage timestamp: Sun Aug 28 2011 03:13:33 CDT
file stats: LOC: 89   Methods: 2
NCLOC: 26   Classes: 1
 
 Source file Conditionals Statements Methods TOTAL
ActionBracePlus.java 75% 94.4% 100% 91.7%
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.model.definitions.indent;
 38   
 39    import edu.rice.cs.drjava.model.AbstractDJDocument;
 40    import edu.rice.cs.drjava.model.definitions.reducedmodel.BraceInfo;
 41   
 42    /** Aligns indentation of the current line to the character that opened the enclosing block or expression list.
 43    * Optional additional whitespaces can be passed through the constructor.
 44    * @version $Id: ActionBracePlus.java 5175 2010-01-20 08:46:32Z mgricken $
 45    */
 46    public class ActionBracePlus extends IndentRuleAction {
 47    /** int holding the number of additional blanks to be inserted. */
 48    private int _suffixCt;
 49   
 50    /** @param ct The additional whitespaces to be inserted. */
 51  4417 public ActionBracePlus(int ct) { _suffixCt = ct; }
 52   
 53    /** Properly indents the line that the caret is currently on. Replaces all whitespace characters at the beginning of
 54    * the line with the appropriate spacing or characters.<p>
 55    * Preconditions: must be inside a brace.
 56    * @param doc AbstractDJDocument containing the line to be indented.
 57    * @return true if the caller should update the current location, false if the indenter has already done this.
 58    */
 59  41 public boolean indentLine(AbstractDJDocument doc, Indenter.IndentReason reason) {
 60  41 boolean supResult = super.indentLine(doc, reason);
 61  41 int here = doc.getCurrentLocation();
 62  41 int startLine = doc._getLineStartPos(here);
 63  41 doc.setCurrentLocation(startLine); // Is this necessary? _getLineEnclosingBrace only depends on current LINE
 64  41 BraceInfo info = doc._getLineEnclosingBrace();
 65  41 int dist = info.distance();
 66   
 67    // Check preconditions
 68  41 if (info.braceType().equals("") || dist < 0) { // Should use interned Strings here
 69    // Can't find brace, so do nothing.
 70  12 return supResult;
 71    }
 72   
 73    // Find length to brace
 74  29 int bracePos = startLine - dist;
 75    // Get distance to start of line from enclosing brace
 76  29 int braceNewline = doc._getLineStartPos(bracePos);
 77  29 int braceIndent = bracePos - braceNewline;
 78   
 79    // Create tab string
 80  29 final int tab = _suffixCt + braceIndent;
 81   
 82  0 if (here > doc.getLength()) here = doc.getLength() - 1;
 83  29 doc.setCurrentLocation(here);
 84   
 85  29 doc.setTab(tab, here);
 86   
 87  29 return supResult;
 88    }
 89    }