001: /*BEGIN_COPYRIGHT_BLOCK
002: *
003: * Copyright (c) 2001-2007, JavaPLT group at Rice University (javaplt@rice.edu)
004: * All rights reserved.
005: *
006: * Redistribution and use in source and binary forms, with or without
007: * modification, are permitted provided that the following conditions are met:
008: * * Redistributions of source code must retain the above copyright
009: * notice, this list of conditions and the following disclaimer.
010: * * Redistributions in binary form must reproduce the above copyright
011: * notice, this list of conditions and the following disclaimer in the
012: * documentation and/or other materials provided with the distribution.
013: * * Neither the names of DrJava, the JavaPLT group, Rice University, nor the
014: * names of its contributors may be used to endorse or promote products
015: * derived from this software without specific prior written permission.
016: *
017: * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
018: * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
019: * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
020: * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
021: * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
022: * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
023: * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
024: * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
025: * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
026: * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
027: * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
028: *
029: * This software is Open Source Initiative approved Open Source Software.
030: * Open Source Initative Approved is a trademark of the Open Source Initiative.
031: *
032: * This file is part of DrJava. Download the current version of this project
033: * from http://www.drjava.org/ or http://sourceforge.net/projects/drjava/
034: *
035: * END_COPYRIGHT_BLOCK*/
036:
037: package edu.rice.cs.drjava.model.definitions.indent;
038:
039: import edu.rice.cs.drjava.model.AbstractDJDocument;
040: import edu.rice.cs.util.UnexpectedException;
041:
042: import javax.swing.text.BadLocationException;
043:
044: /**
045: * Indents the current line in the document to the indent level of the
046: * start of the statement previous to the one the cursor is currently on,
047: * plus the given suffix string.
048: *
049: * @version $Id: ActionStartPrevStmtPlus.java 4255 2007-08-28 19:17:37Z mgricken $
050: */
051: public class ActionStartPrevStmtPlus extends IndentRuleAction {
052: private String _suffix;
053: private boolean _useColon;
054:
055: /**
056: * Constructs a new rule with the given suffix string.
057: * @param suffix String to append to indent level of brace
058: * @param colonIsDelim whether to include colons as statement delimiters
059: */
060: public ActionStartPrevStmtPlus(String suffix, boolean colonIsDelim) {
061: super ();
062: _suffix = suffix;
063: _useColon = colonIsDelim;
064: }
065:
066: /**
067: * Properly indents the line that the caret is currently on.
068: * Replaces all whitespace characters at the beginning of the
069: * line with the appropriate spacing or characters.
070: *
071: * @param doc AbstractDJDocument containing the line to be indented.
072: * @param reason The reason that the indentation is taking place
073: * @return true if the caller should update the current location itself,
074: * false if the indenter has already handled this
075: */
076: public boolean indentLine(AbstractDJDocument doc,
077: Indenter.IndentReason reason) {
078: boolean supResult = super .indentLine(doc, reason);
079: String indent = "";
080: int here = doc.getCurrentLocation();
081:
082: // Find end of previous statement (or end of case statement)
083: char[] delims = { ';', '{', '}' };
084: int lineStart = doc.getLineStartPos(here);
085: int prevDelimiterPos;
086: try {
087: prevDelimiterPos = doc.findPrevDelimiter(lineStart, delims);
088: } catch (BadLocationException e) {
089: // Should not happen
090: throw new UnexpectedException(e);
091: }
092:
093: // For DOCSTART, align to left margin
094: if (prevDelimiterPos <= AbstractDJDocument.DOCSTART) {
095: doc.setTab(_suffix, here);
096: return supResult;
097: }
098:
099: try {
100: char delim = doc.getText(prevDelimiterPos, 1).charAt(0);
101: char[] ws = { ' ', '\t', '\n', ';' };
102: if (delim == ';') {
103: int testPos = doc.findPrevCharPos(prevDelimiterPos, ws);
104: if (doc.getText(testPos, 1).charAt(0) == '}') {
105: prevDelimiterPos = testPos;
106: }
107: }
108: } catch (BadLocationException e) {
109: //do nothing
110: }
111:
112: try {
113: // Jump over {-} region if delimiter was a close brace.
114: char delim = doc.getText(prevDelimiterPos, 1).charAt(0);
115:
116: if (delim == '}') {
117: //BraceReduction reduced = doc.getReduced();
118: //we're pretty sure the doc is in sync.
119: doc.resetReducedModelLocation();
120:
121: int dist = prevDelimiterPos - here + 1;
122:
123: doc.move(dist);
124: prevDelimiterPos -= doc.balanceBackward() - 1;
125: doc.move(-dist);
126:
127: }
128: } catch (BadLocationException e) {
129: throw new UnexpectedException(e);
130: }
131:
132: // Get indent of prev statement
133: try {
134: // Include colons as end of statement (ie. "case")
135: char[] indentDelims;
136: char[] indentDelimsWithColon = { ';', '{', '}', ':' };
137: char[] indentDelimsWithoutColon = { ';', '{', '}' };
138: if (_useColon)
139: indentDelims = indentDelimsWithColon;
140: else
141: indentDelims = indentDelimsWithoutColon;
142:
143: indent = doc.getIndentOfCurrStmt(prevDelimiterPos,
144: indentDelims);
145:
146: } catch (BadLocationException e) {
147: throw new UnexpectedException(e);
148: }
149:
150: indent = indent + _suffix;
151: doc.setTab(indent, here);
152: return supResult;
153: }
154:
155: // private boolean _isPrevNonWSCharEqualTo(AbstractDJDocument doc,int pos,char c) {
156: // try {
157: // int prevPos = doc.findPrevNonWSCharPos(pos);
158: // if (prevPos < 0) return false;
159: // return (doc.getText(prevPos,1).charAt(0) == c);
160: // }
161: // catch (BadLocationException e) {
162: // return false;
163: // }
164: // }
165: }
|