blob: 674f61e70448e7547fd01f85f3464a220cb9d523 [file] [log] [blame]
/*******************************************************************************
* Copyright (c) 2000, 2009 IBM Corporation and others.
*
* This program and the accompanying materials
* are made available under the terms of the Eclipse Public License 2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/legal/epl-2.0/
*
* SPDX-License-Identifier: EPL-2.0
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.jdt.internal.ui.text.spelling;
import org.eclipse.swt.graphics.Image;
import org.eclipse.swt.graphics.Point;
import org.eclipse.jface.text.BadLocationException;
import org.eclipse.jface.text.IDocument;
import org.eclipse.jface.text.contentassist.IContextInformation;
import org.eclipse.jface.text.quickassist.IQuickAssistInvocationContext;
import org.eclipse.jdt.internal.corext.util.Messages;
import org.eclipse.jdt.ui.text.java.IJavaCompletionProposal;
import org.eclipse.jdt.internal.ui.JavaPluginImages;
import org.eclipse.jdt.internal.ui.JavaUIMessages;
import org.eclipse.jdt.internal.ui.text.javadoc.IHtmlTagConstants;
/**
* Proposal to correct the incorrectly spelled word.
*
* @since 3.0
*/
public class WordCorrectionProposal implements IJavaCompletionProposal {
/**
* Returns the html representation of the specified string.
*
* @param string
* The string to return the html representation for
* @return The html representation for the string
*/
public static String getHtmlRepresentation(final String string) {
final int length= string.length();
final StringBuilder buffer= new StringBuilder(string);
for (int offset= length - 1; offset >= 0; offset--) {
for (int index= 0; index < IHtmlTagConstants.HTML_ENTITY_CHARACTERS.length; index++) {
if (string.charAt(offset) == IHtmlTagConstants.HTML_ENTITY_CHARACTERS[index]) {
buffer.replace(offset, offset + 1, String.valueOf(IHtmlTagConstants.HTML_ENTITY_CODES[index]));
break;
}
}
}
return buffer.toString();
}
/** The invocation context */
private final IQuickAssistInvocationContext fContext;
/** The length in the document */
private final int fLength;
/** The line where to apply the correction */
private final String fLine;
/** The offset in the document */
private final int fOffset;
/** The relevance of this proposal */
private final int fRelevance;
/** The word to complete */
private final String fWord;
/**
* Creates a new word correction proposal.
*
* @param word the corrected word
* @param arguments the problem arguments associated with the spelling problem
* @param offset the offset in the document where to apply the proposal
* @param length the lenght in the document to apply the proposal
* @param context the invocation context for this proposal
* @param relevance the relevance of this proposal
*/
public WordCorrectionProposal(final String word, final String[] arguments, final int offset, final int length, final IQuickAssistInvocationContext context, final int relevance) {
fWord= Character.isUpperCase(arguments[0].charAt(0)) ? Character.toUpperCase(word.charAt(0)) + word.substring(1) : word;
fOffset= offset;
fLength= length;
fContext= context;
fRelevance= relevance;
final StringBuilder buffer= new StringBuilder(80);
buffer.append("...<br>"); //$NON-NLS-1$
buffer.append(getHtmlRepresentation(arguments[1]));
buffer.append("<b>"); //$NON-NLS-1$
buffer.append(getHtmlRepresentation(fWord));
buffer.append("</b>"); //$NON-NLS-1$
buffer.append(getHtmlRepresentation(arguments[2]));
buffer.append("<br>..."); //$NON-NLS-1$
fLine= buffer.toString();
}
/*
* @see org.eclipse.jface.text.contentassist.ICompletionProposal#apply(org.eclipse.jface.text.IDocument)
*/
@Override
public final void apply(final IDocument document) {
try {
document.replace(fOffset, fLength, fWord);
} catch (BadLocationException exception) {
// Do nothing
}
}
/*
* @see org.eclipse.jface.text.contentassist.ICompletionProposal#getAdditionalProposalInfo()
*/
@Override
public String getAdditionalProposalInfo() {
return fLine;
}
/*
* @see org.eclipse.jface.text.contentassist.ICompletionProposal#getContextInformation()
*/
@Override
public final IContextInformation getContextInformation() {
return null;
}
/*
* @see org.eclipse.jface.text.contentassist.ICompletionProposal#getDisplayString()
*/
@Override
public String getDisplayString() {
return Messages.format(JavaUIMessages.Spelling_correct_label, new String[] { fWord });
}
/*
* @see org.eclipse.jface.text.contentassist.ICompletionProposal#getImage()
*/
@Override
public Image getImage() {
return JavaPluginImages.get(JavaPluginImages.IMG_CORRECTION_RENAME);
}
/*
* @see org.eclipse.jdt.ui.text.java.IJavaCompletionProposal#getRelevance()
*/
@Override
public final int getRelevance() {
return fRelevance;
}
/*
* @see org.eclipse.jface.text.contentassist.ICompletionProposal#getSelection(org.eclipse.jface.text.IDocument)
*/
@Override
public final Point getSelection(final IDocument document) {
int offset= fContext.getOffset();
int length= fContext.getLength();
final int delta= fWord.length() - fLength;
if (offset > fOffset && offset + length > fOffset + fLength) {
offset += delta;
length -= delta;
} else {
length += delta;
}
return new Point(offset, length);
}
}