1) Fixed calculation of the new indentation method of splitted strings.
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / ui / text / java / JavaStringAutoIndentStrategyDQ.java
1 /*******************************************************************************
2  * Copyright (c) 2000, 2003 IBM Corporation and others.
3  * All rights reserved. This program and the accompanying materials 
4  * are made available under the terms of the Common Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/cpl-v10.html
7  * 
8  * Contributors:
9  *     IBM Corporation - initial API and implementation
10  *******************************************************************************/
11 package net.sourceforge.phpdt.internal.ui.text.java;
12
13 import net.sourceforge.phpdt.ui.PreferenceConstants;
14 import net.sourceforge.phpeclipse.PHPeclipsePlugin;
15
16 import org.eclipse.jface.preference.IPreferenceStore;
17 import org.eclipse.jface.text.BadLocationException;
18 import org.eclipse.jface.text.DefaultIndentLineAutoEditStrategy;
19 import org.eclipse.jface.text.DocumentCommand;
20 import org.eclipse.jface.text.IDocument;
21 import org.eclipse.jface.text.IRegion;
22 import org.eclipse.jface.text.ITypedRegion;
23 import org.eclipse.jface.text.TextUtilities;
24 import org.eclipse.ui.IEditorPart;
25 import org.eclipse.ui.IWorkbenchPage;
26 import org.eclipse.ui.texteditor.ITextEditorExtension3;
27
28 /**
29  * Auto indent strategy for double quoted PHP strings 
30  */
31 public class JavaStringAutoIndentStrategyDQ extends
32                 DefaultIndentLineAutoEditStrategy {
33
34         private String fPartitioning;
35
36         /**
37          * The input string doesn't contain any line delimiter.
38          * 
39          * @param inputString
40          *            the given input string
41          * @return the displayable string.
42          */
43         private String displayString (String inputString, String indentation, String delimiter) {
44                 int length = inputString.length();
45                 StringBuffer buffer = new StringBuffer(length);
46                 java.util.StringTokenizer tokenizer = 
47                                 new java.util.StringTokenizer (inputString, "\n\r", true); //$NON-NLS-1$
48                 
49                 while (tokenizer.hasMoreTokens ()) {
50                         String token = tokenizer.nextToken ();
51                         
52                         if (token.equals ("\r")) { //$NON-NLS-1$
53                                 buffer.append ("\\r"); //$NON-NLS-1$
54                                 if (tokenizer.hasMoreTokens ()) {
55                                         token = tokenizer.nextToken();
56                                         
57                                         if (token.equals("\n")) { //$NON-NLS-1$
58                                                 buffer.append("\\n"); //$NON-NLS-1$
59                                                 buffer.append("\" . " + delimiter); //$NON-NLS-1$
60                                                 buffer.append(indentation);
61                                                 buffer.append("\""); //$NON-NLS-1$
62                                                 continue;
63                                         } else {
64                                                 buffer.append("\" . " + delimiter); //$NON-NLS-1$
65                                                 buffer.append(indentation);
66                                                 buffer.append("\""); //$NON-NLS-1$
67                                         }
68                                 } else {
69                                         continue;
70                                 }
71                         } else if (token.equals("\n")) { //$NON-NLS-1$
72                                 buffer.append("\\n"); //$NON-NLS-1$
73                                 buffer.append("\" . " + delimiter); //$NON-NLS-1$
74                                 buffer.append(indentation);
75                                 buffer.append("\""); //$NON-NLS-1$
76                                 continue;
77                         }
78
79                         StringBuffer tokenBuffer = new StringBuffer();
80
81                         for (int i = 0; i < token.length(); i++) {
82                                 char c = token.charAt(i);
83                                 switch (c) {
84                                 case '\r':
85                                         tokenBuffer.append("\\r"); //$NON-NLS-1$
86                                         break;
87                                 case '\n':
88                                         tokenBuffer.append("\\n"); //$NON-NLS-1$
89                                         break;
90                                 case '\b':
91                                         tokenBuffer.append("\\b"); //$NON-NLS-1$
92                                         break;
93                                 case '\t':
94                                         // keep tabs verbatim
95                                         tokenBuffer.append("\t"); //$NON-NLS-1$
96                                         break;
97                                 case '\f':
98                                         tokenBuffer.append("\\f"); //$NON-NLS-1$
99                                         break;
100                                 case '\"':
101                                         tokenBuffer.append("\\\""); //$NON-NLS-1$
102                                         break;
103                                 case '\'':
104                                         tokenBuffer.append("\\'"); //$NON-NLS-1$
105                                         break;
106                                 case '\\':
107                                         tokenBuffer.append("\\\\"); //$NON-NLS-1$
108                                         break;
109                                 default:
110                                         tokenBuffer.append(c);
111                                 }
112                         }
113                         buffer.append(tokenBuffer);
114                 }
115
116                 return buffer.toString();
117         }
118
119         /**
120          * Creates a new Java string auto indent strategy for the given document
121          * partitioning.
122          * 
123          * @param partitioning
124          *            the document partitioning
125          */
126         public JavaStringAutoIndentStrategyDQ (String partitioning) {
127                 super ();
128                 fPartitioning = partitioning;
129         }
130
131         /**
132          * Check whether the 'text' is one of the allowed line delimiters (e.g. \n \r)
133          * 
134          * @param document The document object for which we do the check
135          * @param text     The text with the possible delimiter
136          * @return
137          *  - true if 'text' is a valid delimiter
138          *  - false if 'text' is not a valid delimiter 
139          */
140         private boolean isLineDelimiter (IDocument document, String text) {
141                 String[] delimiters = document.getLegalLineDelimiters();
142                 
143                 if (delimiters != null) {
144                         return TextUtilities.equals (delimiters, text) > -1;
145                 }
146                 
147                 return false;
148         }
149         
150         /**
151          * Get back the indentation of the line to which the offset belongs.
152          * 
153          * It searches the first occurrence of a white space (non space/non tab)
154          * 
155          * @param document
156          * @param offset
157          * @return
158          * @throws BadLocationException
159          */
160         private String getLineIndentation (IDocument document, int offset)
161                         throws BadLocationException {
162                 String indentation = "";
163                 int    start;
164                 int    end;
165                 int    length = 0;
166                 
167                 // find start of line
168                 int adjustedOffset = (offset == document.getLength() ? offset - 1 : offset);// Check whether the offset is not at the end of file
169                 IRegion line = document.getLineInformationOfOffset (adjustedOffset);            // Get the start and the length of the line
170                 
171                 start = line.getOffset ();                                                                      // Get the start of the line
172                 end = findStringStart (document, start, offset);
173                 
174                 IPreferenceStore preferenceStore = PHPeclipsePlugin.getDefault().getPreferenceStore();
175                 
176                 int tabWidth = preferenceStore.getInt (PreferenceConstants.EDITOR_TAB_WIDTH);
177                 
178                 for (int pos = start; pos < end; pos++) {
179                         if (document.getChar (pos) == '\t') {           // If the character is a tab
180                                 length += tabWidth;                                             // take the tab width for calculating the indentation length
181                         }
182                         else {                                                                          // If it's just a space
183                                 length++;                                                               // add one character to the indentation length
184                         }
185                 }
186                 
187                 if (preferenceStore.getBoolean (PreferenceConstants.EDITOR_SPACES_FOR_TABS)) {  // Indentation with spaces only
188                         if (length > 0) {
189                                 indentation = String.format ("%" + length + "s", "");
190                         }
191                 }
192                 else {                                                                                                                                                  // Indentation with tabs
193                         if (length > 0) {
194                                 int spaces;
195                                 int tabs;                               
196                                 tabs   = length / tabWidth;
197                                 spaces = length % tabWidth;
198                                 
199                                 indentation  = new String (new char[tabs]).replace('\0', '\t');
200                                 
201                                 if (spaces > 0) {
202                                         indentation += String.format ("%" + spaces + "s", "");
203                                 }
204                         }
205                 }               
206                 
207                 return indentation;
208         }
209         
210         /**
211          * Return the position of the string start (first occurrence of a quote or double quote) 
212          * 
213          * @param offset 
214          * @param start 
215          * @param document 
216          * @return
217          */
218         private int findStringStart(IDocument document, int offset, int end) throws BadLocationException {
219                 while (offset < end) {
220                         char c = document.getChar (offset);
221                         
222                         if ((c == '\'') || (c == '\"')) {
223                                 return offset;
224                         }
225                         
226                         offset++;
227                 }
228                 
229                 return end;
230         }
231
232         /**
233          * 
234          * @param string
235          * @param indentation
236          * @param delimiter
237          * @return
238          * @throws BadLocationException
239          */
240         private String getModifiedText (String string, String indentation, String delimiter) 
241                         throws BadLocationException {
242                 return displayString (string, indentation, delimiter);
243         }
244
245         /**
246          * 
247          * @param document
248          * @param command
249          * @throws BadLocationException
250          */
251         private void javaStringIndentAfterNewLine (IDocument document, DocumentCommand command) throws BadLocationException {
252                 ITypedRegion partition = TextUtilities.getPartition (document, fPartitioning, command.offset, false);
253                 int offset = partition.getOffset();
254                 int length = partition.getLength();
255
256                 if (command.offset == offset) {
257                         // we are really just before the string partition -> feet the event
258                         // through the java indenter
259                         // new
260                         // JavaAutoIndentStrategy(fPartitioning).customizeDocumentCommand(document,
261                         // command);
262                         return;
263                 }
264
265                 if ((command.offset == offset + length) && 
266                         (document.getChar (offset + length - 1) == '\"')) {
267                         return;
268                 }
269
270                 String indentation = getLineIndentation (document, command.offset);
271                 String delimiter = TextUtilities.getDefaultLineDelimiter (document);
272
273                 IRegion line = document.getLineInformationOfOffset (offset);
274                 String string = document.get (line.getOffset(), 
275                                                       offset - line.getOffset());               // Get the current line as string
276 /*              
277                 if (string.trim().length() != 0) {
278                         indentation += String.valueOf ("\t\t"); //$NON-NLS-1$
279                 }
280 */
281                 IPreferenceStore preferenceStore = PHPeclipsePlugin.getDefault ().getPreferenceStore();
282                 
283                 if (isLineDelimiter (document, command.text)) {
284                         command.text = "\" ." + command.text + indentation + "\""; //$NON-NLS-1$//$NON-NLS-2$
285                 }
286                 else if ((command.text.length() > 1) && 
287                                  preferenceStore.getBoolean (PreferenceConstants.EDITOR_ESCAPE_STRINGS_DQ)) {
288                         command.text = getModifiedText(command.text, indentation, delimiter);
289                 }
290         }
291
292         /**
293          * 
294          * @return
295          */
296         private boolean isSmartMode () {
297                 IWorkbenchPage page = PHPeclipsePlugin.getActivePage();
298                 
299                 if (page != null) {
300                         IEditorPart part = page.getActiveEditor ();
301                         
302                         if (part instanceof ITextEditorExtension3) {
303                                 ITextEditorExtension3 extension = (ITextEditorExtension3) part;
304                                 return extension.getInsertMode() == ITextEditorExtension3.SMART_INSERT;
305                         }
306                 }
307                 
308                 return false;
309         }
310
311         /*
312          * @see org.eclipse.jface.text.IAutoIndentStrategy#customizeDocumentCommand(IDocument,
313          *      DocumentCommand)
314          */
315         public void customizeDocumentCommand (IDocument document, DocumentCommand command) {
316                 try {
317                         if ((command.length != 0) || 
318                                 (command.text == null)) {
319                                 return;
320                         }
321
322                         IPreferenceStore preferenceStore = PHPeclipsePlugin.getDefault().getPreferenceStore();
323
324                         if (preferenceStore.getBoolean (PreferenceConstants.EDITOR_WRAP_STRINGS_DQ) && isSmartMode ()) {
325                                 javaStringIndentAfterNewLine (document, command);
326                         }
327
328                 } catch (BadLocationException e) {
329                 }
330         }
331 }