Clover coverage report - DrJava Test Coverage (drjava-20110828-r5448)
Coverage timestamp: Sun Aug 28 2011 03:13:33 CDT
file stats: LOC: 144   Methods: 2
NCLOC: 63   Classes: 1
 
 Source file Conditionals Statements Methods TOTAL
ActionStartPrevStmtPlus.java 87.5% 95.2% 100% 93.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.model.definitions.indent;
 38   
 39    import edu.rice.cs.drjava.model.AbstractDJDocument;
 40    import edu.rice.cs.util.UnexpectedException;
 41   
 42    import javax.swing.text.BadLocationException;
 43   
 44    /** Indents the current line in the document to the indent level of the start of the statement previous to the one the
 45    * cursor is currently on, plus the given suffix string.
 46    *
 47    * @version $Id: ActionStartPrevStmtPlus.java 5175 2010-01-20 08:46:32Z mgricken $
 48    */
 49    public class ActionStartPrevStmtPlus extends IndentRuleAction {
 50    private int _suffix; // number of blanks in suffix
 51    private boolean _useColon;
 52   
 53    /** Constructs a new rule with the given suffix string.
 54    * @param suffix String to append to indent level of brace
 55    * @param colonIsDelim whether to include colons as statement delimiters
 56    */
 57  2955 public ActionStartPrevStmtPlus(int suffix, boolean colonIsDelim) {
 58  2952 super();
 59  2954 _suffix = suffix;
 60  2954 _useColon = colonIsDelim;
 61    }
 62   
 63    /** Properly indents the line that the caret is currently on. Replaces all whitespace characters at the beginning of
 64    * the line with the appropriate spacing or characters. Assumes reduced lock is alread held [Archaic]. Only
 65    * runs in the event thread.
 66    * @param doc AbstractDJDocument containing the line to be indented.
 67    * @param reason The reason that the indentation is taking place
 68    * @return true if the caller should update the current location itself, false if the indenter has already handled it
 69    */
 70  94 public boolean indentLine(AbstractDJDocument doc, Indenter.IndentReason reason) {
 71  94 boolean supResult = super.indentLine(doc, reason);
 72  94 int here = doc.getCurrentLocation();
 73   
 74    // Find end of previous statement, immediately enclosing brace, or end of case statement
 75  94 char[] delims = {';', '{', '}'};
 76  94 int lineStart = doc._getLineStartPos(here); // find start of current line
 77  94 int prevDelimiterPos;
 78  94 try { prevDelimiterPos = doc.findPrevDelimiter(lineStart, delims); } // find pos of delimiter preceding line start
 79  0 catch (BadLocationException e) { throw new UnexpectedException(e); }
 80   
 81    // If no preceding delimiter found, align to left margin
 82  94 if (prevDelimiterPos <= 0) {
 83  30 doc.setTab(_suffix, here);
 84  30 return supResult;
 85    }
 86   
 87  64 try {
 88  64 char delim = doc.getText(prevDelimiterPos, 1).charAt(0); // get delimiter char
 89  64 char[] ws = {' ', '\t', '\n', ';'}; // Why is ';' a delimiter?
 90  64 if (delim == ';') {
 91  48 int testPos = doc._findPrevCharPos(prevDelimiterPos, ws); // find char preceding ';' delimiter
 92  48 char testDelim = doc.getText(testPos,1).charAt(0);
 93  48 if ( testDelim == '}' || testDelim == ')') {
 94  24 prevDelimiterPos = testPos; // if this char is '}' or ')', use it as delimiter
 95    }
 96    }
 97    } catch (BadLocationException e) {
 98    //do nothing
 99    }
 100   
 101  64 try {
 102    // Jump over {-} region if delimiter was a close brace.
 103  64 char delim = doc.getText(prevDelimiterPos, 1).charAt(0);
 104   
 105  64 if (delim == '}' || delim == ')') {
 106    //BraceReduction reduced = doc.getReduced();
 107    //we're pretty sure the doc is in sync.
 108    // doc.resetReducedModelLocation(); // why reset the reduced model comment walker?
 109   
 110  40 assert doc.getCurrentLocation() == here;
 111  40 doc.setCurrentLocation(prevDelimiterPos + 1); // move cursor to right of '}' or ')' delim
 112  40 int delta = doc.balanceBackward(); // Number of chars backward to matching '{' or '('
 113  40 if (delta < 0) { // no matching delimiter!
 114    // No matching '{' or '(' preceding this delimiter here
 115    // but throwing an unexpected exception is not right, because the
 116    // user may be trying to indent code that is not balanced!
 117  5 return supResult;
 118    }
 119  35 prevDelimiterPos -= delta - 1; // Position just to right of matching '{' or '('
 120  35 doc.setCurrentLocation(here);
 121   
 122  35 assert doc.getText(prevDelimiterPos, 1).charAt(0) == '{' ||
 123    doc.getText(prevDelimiterPos, 1).charAt(0) == '(';
 124    }
 125    }
 126  0 catch (BadLocationException e) { throw new UnexpectedException(e); }
 127   
 128   
 129    // Get indent of prev statement
 130    // Include colons as end of statement (ie. "case")
 131  59 char[] indentDelims;
 132  59 char[] indentDelimsWithColon = {';', '{', '}', ':'};
 133  59 char[] indentDelimsWithoutColon = {';', '{', '}'};
 134  51 if (_useColon) indentDelims = indentDelimsWithColon;
 135  8 else indentDelims = indentDelimsWithoutColon;
 136   
 137  59 int indent = doc._getIndentOfCurrStmt(prevDelimiterPos, indentDelims);
 138   
 139  59 indent = indent + _suffix;
 140  59 doc.setTab(indent, here);
 141  59 return supResult;
 142    }
 143    }
 144