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.*;
40: import edu.rice.cs.util.UnexpectedException;
41:
42: import edu.rice.cs.drjava.model.AbstractDJDocument;
43: import static edu.rice.cs.drjava.model.AbstractDJDocument.ERROR_INDEX;
44:
45: /** Question rule in the indentation decision tree. Determines if the
46: * line previous to the current position starts with the specified character.
47: * @version $Id: QuestionPrevLineStartsWith.java 3490 2006-01-07 19:22:33Z dlsmith $
48: */
49: public class QuestionPrevLineStartsJavaDocWithText extends
50: IndentRuleQuestion {
51:
52: /** Constructs a rule that looks for "/**" as first non-whitespace followed by some additional non-whitespace text
53: * @param yesRule Rule to use if this rule holds
54: * @param noRule Rule to use if this rule does not hold
55: */
56: public QuestionPrevLineStartsJavaDocWithText(IndentRule yesRule,
57: IndentRule noRule) {
58: super (yesRule, noRule);
59: }
60:
61: /** Determines if the previous line starts with "/**", ignoring whitespace, followed by more non-whitespace text
62: * @param doc AbstractDJDocument containing the line to be indented.
63: * @return true if this node's rule holds.
64: */
65: boolean applyRule(AbstractDJDocument doc,
66: Indenter.IndentReason reason) {
67:
68: try {
69: // Find start of line
70: int here = doc.getCurrentLocation();
71: int startLine = doc.getLineStartPos(here);
72:
73: if (startLine <= AbstractDJDocument.DOCSTART)
74: return false; // on first line
75:
76: // Find start of previous line
77: int endPrevLine = startLine - 1;
78: int startPrevLine = doc.getLineStartPos(endPrevLine);
79: int firstChar = doc.getLineFirstCharPos(startPrevLine);
80:
81: // Compare prefix
82: String actualPrefix = doc.getText(firstChar, 3);
83: if (!actualPrefix.equals("/**"))
84: return false;
85: int nextNonWSChar = doc.getFirstNonWSCharPos(firstChar + 3,
86: true);
87: return nextNonWSChar != ERROR_INDEX
88: && nextNonWSChar <= endPrevLine;
89: } catch (BadLocationException e) {
90: // Shouldn't happen
91: throw new UnexpectedException(e);
92: }
93: }
94: }
|