01: /*BEGIN_COPYRIGHT_BLOCK
02: *
03: * Copyright (c) 2001-2007, JavaPLT group at Rice University (javaplt@rice.edu)
04: * All rights reserved.
05: *
06: * Redistribution and use in source and binary forms, with or without
07: * modification, are permitted provided that the following conditions are met:
08: * * Redistributions of source code must retain the above copyright
09: * 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 javax.swing.text.BadLocationException;
40: import edu.rice.cs.drjava.model.AbstractDJDocument;
41: import edu.rice.cs.drjava.model.definitions.reducedmodel.*;
42: import edu.rice.cs.util.UnexpectedException;
43:
44: /** Determines whether or not the closest non-whitespace character previous to the start of the current line (excluding
45: * any characters inside comments or strings) is an open brace.
46: *
47: * @version $Id: QuestionStartAfterOpenBrace.java 4255 2007-08-28 19:17:37Z mgricken $
48: */
49: public class QuestionStartAfterOpenBrace extends IndentRuleQuestion {
50: /** @param yesRule The decision subtree for the case that this rule applies in the current context.
51: * @param noRule The decision subtree for the case that this rule does not apply in the current context.
52: */
53: public QuestionStartAfterOpenBrace(IndentRule yesRule,
54: IndentRule noRule) {
55: super (yesRule, noRule);
56: }
57:
58: /** @param doc The AbstractDJDocument containing the current line.
59: * @return True the closest non-whitespace character before the start of the current line (excluding any
60: * characters inside comments or strings) is an open brace.
61: */
62: boolean applyRule(AbstractDJDocument doc,
63: Indenter.IndentReason reason) {
64:
65: int origin = doc.getCurrentLocation();
66: //int origin = doc.getReduced().absOffset();
67: int lineStart = doc.getLineStartPos(doc.getCurrentLocation());
68:
69: // Get brace for start of line
70: doc.move(lineStart - origin);
71: IndentInfo info = doc.getIndentInformation();
72: doc.move(origin - lineStart);
73:
74: if ((!info.braceType.equals(IndentInfo.openSquiggly))
75: || (info.distToBrace < 0))
76: // Precondition not met: we should have a brace
77: return false;
78: int bracePos = lineStart - info.distToBrace;
79:
80: // Get brace's end of line
81: int braceEndLinePos = doc.getLineEndPos(bracePos);
82:
83: // Get position of next non-WS char (not in comments)
84: int nextNonWS = -1;
85: try {
86: nextNonWS = doc.getFirstNonWSCharPos(braceEndLinePos);
87: } catch (BadLocationException e) {
88: // This shouldn't happen
89: throw new UnexpectedException(e);
90: }
91:
92: if (nextNonWS == AbstractDJDocument.ERROR_INDEX)
93: return true;
94:
95: return (nextNonWS >= lineStart);
96: }
97: }
|