X-Git-Url: http://secure.phpeclipse.com

diff --git a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/text/phpdoc/JavaDocAutoIndentStrategy.java b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/text/phpdoc/JavaDocAutoIndentStrategy.java
deleted file mode 100644
index 84c8219..0000000
--- a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/text/phpdoc/JavaDocAutoIndentStrategy.java
+++ /dev/null
@@ -1,938 +0,0 @@
-/*******************************************************************************
- * Copyright (c) 2000, 2004 IBM Corporation and others.
- * All rights reserved. This program and the accompanying materials 
- * are made available under the terms of the Common Public License v1.0
- * which accompanies this distribution, and is available at
- * http://www.eclipse.org/legal/cpl-v10.html
- * 
- * Contributors:
- *     IBM Corporation - initial API and implementation
- *******************************************************************************/
-
-package net.sourceforge.phpdt.internal.ui.text.phpdoc;
-
-import java.text.BreakIterator;
-
-//import net.sourceforge.phpdt.core.ICompilationUnit;
-//import net.sourceforge.phpdt.core.IJavaElement;
-//import net.sourceforge.phpdt.core.IMethod;
-//import net.sourceforge.phpdt.core.ISourceRange;
-//import net.sourceforge.phpdt.core.IType;
-//import net.sourceforge.phpdt.internal.corext.util.Strings;
-//import net.sourceforge.phpdt.ui.CodeGeneration;
-//import net.sourceforge.phpdt.ui.IWorkingCopyManager;
-import net.sourceforge.phpdt.ui.PreferenceConstants;
-//import net.sourceforge.phpeclipse.PHPeclipsePlugin;
-import net.sourceforge.phpeclipse.ui.WebUI;
-
-//import org.eclipse.core.runtime.CoreException;
-//import org.eclipse.core.runtime.Preferences;
-import org.eclipse.jface.preference.IPreferenceStore;
-import org.eclipse.jface.text.BadLocationException;
-import org.eclipse.jface.text.DefaultIndentLineAutoEditStrategy;
-import org.eclipse.jface.text.DocumentCommand;
-import org.eclipse.jface.text.IDocument;
-import org.eclipse.jface.text.IRegion;
-import org.eclipse.jface.text.ITypedRegion;
-import org.eclipse.jface.text.TextUtilities;
-import org.eclipse.ui.IEditorPart;
-import org.eclipse.ui.IWorkbenchPage;
-//import org.eclipse.ui.IWorkbenchWindow;
-//import org.eclipse.ui.PlatformUI;
-import org.eclipse.ui.texteditor.AbstractDecoratedTextEditorPreferenceConstants;
-import org.eclipse.ui.texteditor.ITextEditorExtension3;
-
-/**
- * Auto indent strategy for java doc comments
- */
-public class JavaDocAutoIndentStrategy extends
-		DefaultIndentLineAutoEditStrategy {
-
-	private String fPartitioning;
-
-	/**
-	 * Creates a new Javadoc auto indent strategy for the given document
-	 * partitioning.
-	 * 
-	 * @param partitioning
-	 *            the document partitioning
-	 */
-	public JavaDocAutoIndentStrategy(String partitioning) {
-		fPartitioning = partitioning;
-	}
-
-	private static String getLineDelimiter(IDocument document) {
-		try {
-			if (document.getNumberOfLines() > 1)
-				return document.getLineDelimiter(0);
-		} catch (BadLocationException e) {
-			WebUI.log(e);
-		}
-
-		return System.getProperty("line.separator"); //$NON-NLS-1$
-	}
-
-	/**
-	 * Copies the indentation of the previous line and add a star. If the
-	 * javadoc just started on this line add standard method tags and close the
-	 * javadoc.
-	 * 
-	 * @param d
-	 *            the document to work on
-	 * @param c
-	 *            the command to deal with
-	 */
-	private void jdocIndentAfterNewLine(IDocument d, DocumentCommand c) {
-
-		if (c.offset == -1 || d.getLength() == 0)
-			return;
-
-		try {
-			// find start of line
-			int p = (c.offset == d.getLength() ? c.offset - 1 : c.offset);
-			IRegion info = d.getLineInformationOfOffset(p);
-			int start = info.getOffset();
-
-			// find white spaces
-			int end = findEndOfWhiteSpace(d, start, c.offset);
-
-			StringBuffer buf = new StringBuffer(c.text);
-			if (end >= start) { // 1GEYL1R: ITPJUI:ALL - java doc edit smartness
-								// not work for class comments
-				// append to input
-				String indentation = jdocExtractLinePrefix(d, d
-						.getLineOfOffset(c.offset));
-				buf.append(indentation);
-				if (end < c.offset) {
-					if (d.getChar(end) == '/') {
-						// javadoc started on this line
-						buf.append(" * "); //$NON-NLS-1$
-
-						if (WebUI
-								.getDefault()
-								.getPreferenceStore()
-								.getBoolean(
-										PreferenceConstants.EDITOR_CLOSE_JAVADOCS)
-								&& isNewComment(d, c.offset, fPartitioning)) {
-							String lineDelimiter = getLineDelimiter(d);
-
-							String endTag = lineDelimiter + indentation + " */"; //$NON-NLS-1$
-							d.replace(c.offset, 0, endTag); //$NON-NLS-1$
-							// evaluate method signature
-							//ICompilationUnit unit = getCompilationUnit();
-
-							// if
-							// (PHPeclipsePlugin.getDefault().getPreferenceStore().getBoolean(PreferenceConstants.EDITOR_ADD_JAVADOC_TAGS)
-							// &&
-							// unit != null)
-							// {
-							// try {
-							// JavaModelUtil.reconcile(unit);
-							// String string= createJavaDocTags(d, c,
-							// indentation, lineDelimiter, unit);
-							// if (string != null) {
-							// d.replace(c.offset, 0, string);
-							// }
-							// } catch (CoreException e) {
-							// // ignore
-							// }
-							// }
-						}
-
-					}
-				}
-			}
-
-			c.text = buf.toString();
-
-		} catch (BadLocationException excp) {
-			// stop work
-		}
-	}
-
-//	private String createJavaDocTags(IDocument document,
-//			DocumentCommand command, String indentation, String lineDelimiter,
-//			ICompilationUnit unit) throws CoreException, BadLocationException {
-//		IJavaElement element = unit.getElementAt(command.offset);
-//		if (element == null)
-//			return null;
-//
-//		switch (element.getElementType()) {
-//		case IJavaElement.TYPE:
-//			return createTypeTags(document, command, indentation,
-//					lineDelimiter, (IType) element);
-//
-//		case IJavaElement.METHOD:
-//			return createMethodTags(document, command, indentation,
-//					lineDelimiter, (IMethod) element);
-//
-//		default:
-//			return null;
-//		}
-//	}
-
-	/*
-	 * Removes start and end of a comment and corrects indentation and line
-	 * delimiters.
-	 */
-//	private String prepareTemplateComment(String comment, String indentation,
-//			String lineDelimiter) {
-//		// trim comment start and end if any
-//		if (comment.endsWith("*/")) //$NON-NLS-1$
-//			comment = comment.substring(0, comment.length() - 2);
-//		comment = comment.trim();
-//		if (comment.startsWith("/*")) { //$NON-NLS-1$
-//			if (comment.length() > 2 && comment.charAt(2) == '*') {
-//				comment = comment.substring(3); // remove '/**'
-//			} else {
-//				comment = comment.substring(2); // remove '/*'
-//			}
-//		}
-//		// return Strings.changeIndent(comment, 0,
-//		// CodeFormatterUtil.getTabWidth(), indentation, lineDelimiter);
-//		return Strings.changeIndent(comment, 0, getTabWidth(), indentation,
-//				lineDelimiter);
-//	}
-
-//	public static int getTabWidth() {
-//		Preferences preferences = WebUI.getDefault()
-//				.getPluginPreferences();
-//		return preferences
-//				.getInt(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_TAB_WIDTH);
-//	}
-
-//	private String createTypeTags(IDocument document, DocumentCommand command,
-//			String indentation, String lineDelimiter, IType type)
-//			throws CoreException {
-//		String comment = CodeGeneration.getTypeComment(type
-//				.getCompilationUnit(), type.getTypeQualifiedName('.'),
-//				lineDelimiter);
-//		if (comment != null) {
-//			return prepareTemplateComment(comment.trim(), indentation,
-//					lineDelimiter);
-//		}
-//		return null;
-//	}
-
-//	private String createMethodTags(IDocument document,
-//			DocumentCommand command, String indentation, String lineDelimiter,
-//			IMethod method) throws CoreException, BadLocationException {
-//		IRegion partition = TextUtilities.getPartition(document, fPartitioning,
-//				command.offset, false);
-//		ISourceRange sourceRange = method.getSourceRange();
-//		if (sourceRange == null
-//				|| sourceRange.getOffset() != partition.getOffset())
-//			return null;
-//
-//		// IMethod inheritedMethod= getInheritedMethod(method);
-//		// String comment= CodeGeneration.getMethodComment(method,
-//		// inheritedMethod, lineDelimiter);
-//		// if (comment != null) {
-//		// comment= comment.trim();
-//		// boolean javadocComment= comment.startsWith("/**"); //$NON-NLS-1$
-//		// boolean isJavaDoc= partition.getLength() >= 3 &&
-//		// document.get(partition.getOffset(), 3).equals("/**"); //$NON-NLS-1$
-//		// if (javadocComment == isJavaDoc) {
-//		// return prepareTemplateComment(comment, indentation, lineDelimiter);
-//		// }
-//		// }
-//		return null;
-//	}
-
-	/**
-	 * Returns the method inherited from, <code>null</code> if method is newly
-	 * defined.
-	 */
-	// private static IMethod getInheritedMethod(IMethod method) throws
-	// JavaModelException {
-	// IType declaringType= method.getDeclaringType();
-	// ITypeHierarchy typeHierarchy=
-	// SuperTypeHierarchyCache.getTypeHierarchy(declaringType);
-	// return JavaModelUtil.findMethodDeclarationInHierarchy(typeHierarchy,
-	// declaringType,
-	// method.getElementName(), method.getParameterTypes(),
-	// method.isConstructor());
-	// }
-	protected void jdocIndentForCommentEnd(IDocument d, DocumentCommand c) {
-		if (c.offset < 2 || d.getLength() == 0) {
-			return;
-		}
-		try {
-			if ("* ".equals(d.get(c.offset - 2, 2))) { //$NON-NLS-1$
-				// modify document command
-				c.length++;
-				c.offset--;
-			}
-		} catch (BadLocationException excp) {
-			// stop work
-		}
-	}
-
-	/**
-	 * Guesses if the command operates within a newly created javadoc comment or
-	 * not. If in doubt, it will assume that the javadoc is new.
-	 */
-	private static boolean isNewComment(IDocument document, int commandOffset,
-			String partitioning) {
-
-		try {
-			int lineIndex = document.getLineOfOffset(commandOffset) + 1;
-			if (lineIndex >= document.getNumberOfLines())
-				return true;
-
-			IRegion line = document.getLineInformation(lineIndex);
-			ITypedRegion partition = TextUtilities.getPartition(document,
-					partitioning, commandOffset, false);
-			int partitionEnd = partition.getOffset() + partition.getLength();
-			if (line.getOffset() >= partitionEnd)
-				return false;
-
-			if (document.getLength() == partitionEnd)
-				return true; // partition goes to end of document - probably
-								// a new comment
-
-			String comment = document.get(partition.getOffset(), partition
-					.getLength());
-			if (comment.indexOf("/*", 2) != -1) //$NON-NLS-1$
-				return true; // enclosed another comment -> probably a new
-								// comment
-
-			return false;
-
-		} catch (BadLocationException e) {
-			return false;
-		}
-	}
-
-	private boolean isSmartMode() {
-		IWorkbenchPage page = WebUI.getActivePage();
-		if (page != null) {
-			IEditorPart part = page.getActiveEditor();
-			if (part instanceof ITextEditorExtension3) {
-				ITextEditorExtension3 extension = (ITextEditorExtension3) part;
-				return extension.getInsertMode() == ITextEditorExtension3.SMART_INSERT;
-			}
-		}
-		return false;
-	}
-
-	/*
-	 * @see IAutoIndentStrategy#customizeDocumentCommand
-	 */
-	public void customizeDocumentCommand(IDocument document,
-			DocumentCommand command) {
-
-		if (!isSmartMode())
-			return;
-
-		try {
-
-			if (command.text != null && command.length == 0) {
-				String[] lineDelimiters = document.getLegalLineDelimiters();
-				int index = TextUtilities
-						.endsWith(lineDelimiters, command.text);
-				if (index > -1) {
-					// ends with line delimiter
-					if (lineDelimiters[index].equals(command.text))
-						// just the line delimiter
-						jdocIndentAfterNewLine(document, command);
-					return;
-				}
-			}
-
-			if (command.text != null && command.text.equals("/")) { //$NON-NLS-1$
-				jdocIndentForCommentEnd(document, command);
-				return;
-			}
-
-			ITypedRegion partition = TextUtilities.getPartition(document,
-					fPartitioning, command.offset, true);
-			int partitionStart = partition.getOffset();
-			int partitionEnd = partition.getLength() + partitionStart;
-
-			String text = command.text;
-			int offset = command.offset;
-			int length = command.length;
-
-			// partition change
-			final int PREFIX_LENGTH = "/*".length(); //$NON-NLS-1$
-			final int POSTFIX_LENGTH = "*/".length(); //$NON-NLS-1$
-			if ((offset < partitionStart + PREFIX_LENGTH || offset + length > partitionEnd
-					- POSTFIX_LENGTH)
-					|| text != null
-					&& text.length() >= 2
-					&& ((text.indexOf("*/") != -1) || (document.getChar(offset) == '*' && text.startsWith("/")))) //$NON-NLS-1$ //$NON-NLS-2$
-				return;
-
-			if (command.text == null || command.text.length() == 0)
-				jdocHandleBackspaceDelete(document, command);
-
-			else if (command.text != null && command.length == 0
-					&& command.text.length() > 0)
-				jdocWrapParagraphOnInsert(document, command);
-
-		} catch (BadLocationException e) {
-			WebUI.log(e);
-		}
-	}
-
-	private void flushCommand(IDocument document, DocumentCommand command)
-			throws BadLocationException {
-
-		if (!command.doit)
-			return;
-
-		document.replace(command.offset, command.length, command.text);
-
-		command.doit = false;
-		if (command.text != null)
-			command.offset += command.text.length();
-		command.length = 0;
-		command.text = null;
-	}
-
-	protected void jdocWrapParagraphOnInsert(IDocument document,
-			DocumentCommand command) throws BadLocationException {
-
-		// Assert.isTrue(command.length == 0);
-		// Assert.isTrue(command.text != null && command.text.length() == 1);
-
-		if (!getPreferenceStore().getBoolean(
-				PreferenceConstants.EDITOR_FORMAT_JAVADOCS))
-			return;
-
-		int line = document.getLineOfOffset(command.offset);
-		IRegion region = document.getLineInformation(line);
-		int lineOffset = region.getOffset();
-		int lineLength = region.getLength();
-
-		String lineContents = document.get(lineOffset, lineLength);
-		StringBuffer buffer = new StringBuffer(lineContents);
-		int start = command.offset - lineOffset;
-		int end = command.length + start;
-		buffer.replace(start, end, command.text);
-
-		// handle whitespace
-		if (command.text != null && command.text.length() != 0
-				&& command.text.trim().length() == 0) {
-
-			String endOfLine = document.get(command.offset, lineOffset
-					+ lineLength - command.offset);
-
-			// end of line
-			if (endOfLine.length() == 0) {
-				// move caret to next line
-				flushCommand(document, command);
-
-				if (isLineTooShort(document, line)) {
-					int[] caretOffset = { command.offset };
-					jdocWrapParagraphFromLine(document, line, caretOffset,
-							false);
-					command.offset = caretOffset[0];
-					return;
-				}
-
-				// move caret to next line if possible
-				if (line < document.getNumberOfLines() - 1
-						&& isJavaDocLine(document, line + 1)) {
-					String lineDelimiter = document.getLineDelimiter(line);
-					String nextLinePrefix = jdocExtractLinePrefix(document,
-							line + 1);
-					command.offset += lineDelimiter.length()
-							+ nextLinePrefix.length();
-				}
-				return;
-
-				// inside whitespace at end of line
-			} else if (endOfLine.trim().length() == 0) {
-				// simply insert space
-				return;
-			}
-		}
-
-		// change in prefix region
-		String prefix = jdocExtractLinePrefix(document, line);
-		boolean wrapAlways = command.offset >= lineOffset
-				&& command.offset <= lineOffset + prefix.length();
-
-		// must insert the text now because it may include whitepace
-		flushCommand(document, command);
-
-		if (wrapAlways
-				|| calculateDisplayedWidth(buffer.toString()) > getMargin()
-				|| isLineTooShort(document, line)) {
-			int[] caretOffset = { command.offset };
-			jdocWrapParagraphFromLine(document, line, caretOffset, wrapAlways);
-
-			if (!wrapAlways)
-				command.offset = caretOffset[0];
-		}
-	}
-
-	/**
-	 * Method jdocWrapParagraphFromLine.
-	 * 
-	 * @param document
-	 * @param line
-	 * @param always
-	 */
-	private void jdocWrapParagraphFromLine(IDocument document, int line,
-			int[] caretOffset, boolean always) throws BadLocationException {
-
-		String indent = jdocExtractLinePrefix(document, line);
-		if (!always) {
-			if (!indent.trim().startsWith("*")) //$NON-NLS-1$
-				return;
-
-			if (indent.trim().startsWith("*/")) //$NON-NLS-1$
-				return;
-
-			if (!isLineTooLong(document, line)
-					&& !isLineTooShort(document, line))
-				return;
-		}
-
-		boolean caretRelativeToParagraphOffset = false;
-		int caret = caretOffset[0];
-
-		int caretLine = document.getLineOfOffset(caret);
-		int lineOffset = document.getLineOffset(line);
-		int paragraphOffset = lineOffset + indent.length();
-		if (paragraphOffset < caret) {
-			caret -= paragraphOffset;
-			caretRelativeToParagraphOffset = true;
-		} else {
-			caret -= lineOffset;
-		}
-
-		StringBuffer buffer = new StringBuffer();
-		int currentLine = line;
-		while (line == currentLine || isJavaDocLine(document, currentLine)) {
-
-			if (buffer.length() != 0
-					&& !Character.isWhitespace(buffer
-							.charAt(buffer.length() - 1))) {
-				buffer.append(' ');
-				if (currentLine <= caretLine) {
-					// in this case caretRelativeToParagraphOffset is always
-					// true
-					++caret;
-				}
-			}
-
-			String string = getLineContents(document, currentLine);
-			buffer.append(string);
-			currentLine++;
-		}
-		String paragraph = buffer.toString();
-
-		if (paragraph.trim().length() == 0)
-			return;
-
-		caretOffset[0] = caretRelativeToParagraphOffset ? caret : 0;
-		String delimiter = document.getLineDelimiter(0);
-		String wrapped = formatParagraph(paragraph, caretOffset, indent,
-				delimiter, getMargin());
-
-		int beginning = document.getLineOffset(line);
-		int end = document.getLineOffset(currentLine);
-		document.replace(beginning, end - beginning, wrapped.toString());
-
-		caretOffset[0] = caretRelativeToParagraphOffset ? caretOffset[0]
-				+ beginning : caret + beginning;
-	}
-
-	/**
-	 * Line break iterator to handle whitespaces as first class citizens.
-	 */
-	private static class LineBreakIterator {
-
-		private final String fString;
-
-		private final BreakIterator fIterator = BreakIterator.getLineInstance();
-
-		private int fStart;
-
-		private int fEnd;
-
-		private int fBufferedEnd;
-
-		public LineBreakIterator(String string) {
-			fString = string;
-			fIterator.setText(string);
-		}
-
-		public int first() {
-			fBufferedEnd = -1;
-			fStart = fIterator.first();
-			return fStart;
-		}
-
-		public int next() {
-
-			if (fBufferedEnd != -1) {
-				fStart = fEnd;
-				fEnd = fBufferedEnd;
-				fBufferedEnd = -1;
-				return fEnd;
-			}
-
-			fStart = fEnd;
-			fEnd = fIterator.next();
-
-			if (fEnd == BreakIterator.DONE)
-				return fEnd;
-
-			final String string = fString.substring(fStart, fEnd);
-
-			// whitespace
-			if (string.trim().length() == 0)
-				return fEnd;
-
-			final String word = string.trim();
-			if (word.length() == string.length())
-				return fEnd;
-
-			// suspected whitespace
-			fBufferedEnd = fEnd;
-			return fStart + word.length();
-		}
-	}
-
-	/**
-	 * Formats a paragraph, using break iterator.
-	 * 
-	 * @param offset
-	 *            an offset within the paragraph, which will be updated with
-	 *            respect to formatting.
-	 */
-	private static String formatParagraph(String paragraph, int[] offset,
-			String prefix, String lineDelimiter, int margin) {
-
-		LineBreakIterator iterator = new LineBreakIterator(paragraph);
-
-		StringBuffer paragraphBuffer = new StringBuffer();
-		StringBuffer lineBuffer = new StringBuffer();
-		StringBuffer whiteSpaceBuffer = new StringBuffer();
-
-		int index = offset[0];
-		int indexBuffer = -1;
-
-		// line delimiter could be null
-		if (lineDelimiter == null)
-			lineDelimiter = ""; //$NON-NLS-1$
-
-		for (int start = iterator.first(), end = iterator.next(); end != BreakIterator.DONE; start = end, end = iterator
-				.next()) {
-
-			String word = paragraph.substring(start, end);
-
-			// word is whitespace
-			if (word.trim().length() == 0) {
-				whiteSpaceBuffer.append(word);
-
-				// first word of line is always appended
-			} else if (lineBuffer.length() == 0) {
-				lineBuffer.append(prefix);
-				lineBuffer.append(whiteSpaceBuffer.toString());
-				lineBuffer.append(word);
-
-			} else {
-				String line = lineBuffer.toString()
-						+ whiteSpaceBuffer.toString() + word.toString();
-
-				// margin exceeded
-				if (calculateDisplayedWidth(line) > margin) {
-					// flush line buffer and wrap paragraph
-					paragraphBuffer.append(lineBuffer.toString());
-					paragraphBuffer.append(lineDelimiter);
-					lineBuffer.setLength(0);
-					lineBuffer.append(prefix);
-					lineBuffer.append(word);
-
-					// flush index buffer
-					if (indexBuffer != -1) {
-						offset[0] = indexBuffer;
-						// correct for caret in whitespace at the end of line
-						if (whiteSpaceBuffer.length() != 0 && index < start
-								&& index >= start - whiteSpaceBuffer.length())
-							offset[0] -= (index - (start - whiteSpaceBuffer
-									.length()));
-						indexBuffer = -1;
-					}
-
-					whiteSpaceBuffer.setLength(0);
-
-					// margin not exceeded
-				} else {
-					lineBuffer.append(whiteSpaceBuffer.toString());
-					lineBuffer.append(word);
-					whiteSpaceBuffer.setLength(0);
-				}
-			}
-
-			if (index >= start && index < end) {
-				indexBuffer = paragraphBuffer.length() + lineBuffer.length()
-						+ (index - start);
-				if (word.trim().length() != 0)
-					indexBuffer -= word.length();
-			}
-		}
-
-		// flush line buffer
-		paragraphBuffer.append(lineBuffer.toString());
-		paragraphBuffer.append(lineDelimiter);
-
-		// flush index buffer
-		if (indexBuffer != -1)
-			offset[0] = indexBuffer;
-
-		// last position is not returned by break iterator
-		else if (offset[0] == paragraph.length())
-			offset[0] = paragraphBuffer.length() - lineDelimiter.length();
-
-		return paragraphBuffer.toString();
-	}
-
-	private static IPreferenceStore getPreferenceStore() {
-		return WebUI.getDefault().getPreferenceStore();
-	}
-
-	/**
-	 * Returns the displayed width of a string, taking in account the displayed
-	 * tab width. The result can be compared against the print margin.
-	 */
-	private static int calculateDisplayedWidth(String string) {
-
-		int tabWidth = getPreferenceStore()
-				.getInt(
-						AbstractDecoratedTextEditorPreferenceConstants.EDITOR_TAB_WIDTH);
-		if (tabWidth <= 0) {
-			tabWidth = 2;
-		}
-		int column = 0;
-		for (int i = 0; i < string.length(); i++)
-			if ('\t' == string.charAt(i))
-				column += tabWidth - (column % tabWidth);
-			else
-				column++;
-
-		return column;
-	}
-
-	private String jdocExtractLinePrefix(IDocument d, int line)
-			throws BadLocationException {
-
-		IRegion region = d.getLineInformation(line);
-		int lineOffset = region.getOffset();
-		int index = findEndOfWhiteSpace(d, lineOffset, lineOffset
-				+ d.getLineLength(line));
-		if (d.getChar(index) == '*') {
-			index++;
-			if (index != lineOffset + region.getLength()
-					&& d.getChar(index) == ' ')
-				index++;
-		}
-		return d.get(lineOffset, index - lineOffset);
-	}
-
-	private String getLineContents(IDocument d, int line)
-			throws BadLocationException {
-		int offset = d.getLineOffset(line);
-		int length = d.getLineLength(line);
-		String lineDelimiter = d.getLineDelimiter(line);
-		if (lineDelimiter != null)
-			length = length - lineDelimiter.length();
-		String lineContents = d.get(offset, length);
-		int trim = jdocExtractLinePrefix(d, line).length();
-		return lineContents.substring(trim);
-	}
-
-	private static String getLine(IDocument document, int line)
-			throws BadLocationException {
-		IRegion region = document.getLineInformation(line);
-		return document.get(region.getOffset(), region.getLength());
-	}
-
-	/**
-	 * Returns <code>true</code> if the javadoc line is too short,
-	 * <code>false</code> otherwise.
-	 */
-	private boolean isLineTooShort(IDocument document, int line)
-			throws BadLocationException {
-
-		if (!isJavaDocLine(document, line + 1))
-			return false;
-
-		String nextLine = getLineContents(document, line + 1);
-		if (nextLine.trim().length() == 0)
-			return false;
-
-		return true;
-	}
-
-	/**
-	 * Returns <code>true</code> if the line is too long, <code>false</code>
-	 * otherwise.
-	 */
-	private boolean isLineTooLong(IDocument document, int line)
-			throws BadLocationException {
-		String lineContents = getLine(document, line);
-		return calculateDisplayedWidth(lineContents) > getMargin();
-	}
-
-	private static int getMargin() {
-		return getPreferenceStore()
-				.getInt(
-						AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_COLUMN);
-	}
-
-	private static final String[] fgInlineTags = {
-			"<b>", "<i>", "<em>", "<strong>", "<code>" //$NON-NLS-1$  //$NON-NLS-2$  //$NON-NLS-3$  //$NON-NLS-4$ //$NON-NLS-5$
-	};
-
-	private boolean isInlineTag(String string) {
-		for (int i = 0; i < fgInlineTags.length; i++)
-			if (string.startsWith(fgInlineTags[i]))
-				return true;
-		return false;
-	}
-
-	/**
-	 * returns true if the specified line is part of a paragraph and should be
-	 * merged with the previous line.
-	 */
-	private boolean isJavaDocLine(IDocument document, int line)
-			throws BadLocationException {
-
-		if (document.getNumberOfLines() < line)
-			return false;
-
-		int offset = document.getLineOffset(line);
-		int length = document.getLineLength(line);
-		int firstChar = findEndOfWhiteSpace(document, offset, offset + length);
-		length -= firstChar - offset;
-		String lineContents = document.get(firstChar, length);
-
-		String prefix = lineContents.trim();
-		if (!prefix.startsWith("*") || prefix.startsWith("*/")) //$NON-NLS-1$ //$NON-NLS-2$
-			return false;
-
-		lineContents = lineContents.substring(1).trim().toLowerCase();
-
-		// preserve empty lines
-		if (lineContents.length() == 0)
-			return false;
-
-		// preserve @TAGS
-		if (lineContents.startsWith("@")) //$NON-NLS-1$
-			return false;
-
-		// preserve HTML tags which are not inline
-		if (lineContents.startsWith("<") && !isInlineTag(lineContents)) //$NON-NLS-1$
-			return false;
-
-		return true;
-	}
-
-	protected void jdocHandleBackspaceDelete(IDocument document,
-			DocumentCommand c) {
-
-		if (!getPreferenceStore().getBoolean(
-				PreferenceConstants.EDITOR_FORMAT_JAVADOCS))
-			return;
-
-		try {
-			String text = document.get(c.offset, c.length);
-			int line = document.getLineOfOffset(c.offset);
-			int lineOffset = document.getLineOffset(line);
-
-			// erase line delimiter
-			String lineDelimiter = document.getLineDelimiter(line);
-			if (lineDelimiter != null && lineDelimiter.equals(text)) {
-
-				String prefix = jdocExtractLinePrefix(document, line + 1);
-
-				// strip prefix if any
-				if (prefix.length() > 0) {
-					int length = document.getLineDelimiter(line).length()
-							+ prefix.length();
-					document.replace(c.offset, length, null);
-
-					c.doit = false;
-					c.length = 0;
-					return;
-				}
-
-				// backspace: beginning of a javadoc line
-			} else if (document.getChar(c.offset - 1) == '*'
-					&& jdocExtractLinePrefix(document, line).length() - 1 >= c.offset
-							- lineOffset) {
-
-				lineDelimiter = document.getLineDelimiter(line - 1);
-				String prefix = jdocExtractLinePrefix(document, line);
-				int length = (lineDelimiter != null ? lineDelimiter.length()
-						: 0)
-						+ prefix.length();
-				document.replace(c.offset - length + 1, length, null);
-
-				c.doit = false;
-				c.offset -= length - 1;
-				c.length = 0;
-				return;
-
-			} else {
-				document.replace(c.offset, c.length, null);
-				c.doit = false;
-				c.length = 0;
-			}
-
-		} catch (BadLocationException e) {
-			WebUI.log(e);
-		}
-
-		try {
-			int line = document.getLineOfOffset(c.offset);
-			int lineOffset = document.getLineOffset(line);
-			String prefix = jdocExtractLinePrefix(document, line);
-			boolean always = c.offset > lineOffset
-					&& c.offset <= lineOffset + prefix.length();
-			int[] caretOffset = { c.offset };
-			jdocWrapParagraphFromLine(document, document
-					.getLineOfOffset(c.offset), caretOffset, always);
-			c.offset = caretOffset[0];
-
-		} catch (BadLocationException e) {
-			WebUI.log(e);
-		}
-	}
-
-	/**
-	 * Returns the compilation unit of the CompilationUnitEditor invoking the
-	 * AutoIndentStrategy, might return <code>null</code> on error.
-	 */
-//	private static ICompilationUnit getCompilationUnit() {
-//
-//		IWorkbenchWindow window = PlatformUI.getWorkbench()
-//				.getActiveWorkbenchWindow();
-//		if (window == null)
-//			return null;
-//
-//		IWorkbenchPage page = window.getActivePage();
-//		if (page == null)
-//			return null;
-//
-//		IEditorPart editor = page.getActiveEditor();
-//		if (editor == null)
-//			return null;
-//
-//		IWorkingCopyManager manager = WebUI.getDefault()
-//				.getWorkingCopyManager();
-//		ICompilationUnit unit = manager.getWorkingCopy(editor.getEditorInput());
-//		if (unit == null)
-//			return null;
-//
-//		return unit;
-//	}
-
-}