MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 06:05:01 +07:00
Code Issues Packages Projects Releases Wiki Activity

fix NormalCompletionTest

Browse Source
This commit is contained in:
peter
2011-04-13 19:04:39 +02:00
parent 7cf41dd668
commit e77c088663
3 changed files with 5 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-impl/src/com/intellij/codeInsight/completion/AllClassesGetter.java
+1 -1
View File
@@ -73,7 +73,7 @@ public class AllClassesGetter {
LOG.error(endOffset + " became invalid: " + context.getOffsetMap() + "; inserting " + qname);
}
final RangeMarker toDelete = JavaCompletionUtil.insertSpace(endOffset, document);
final RangeMarker toDelete = JavaCompletionUtil.insertTemporary(endOffset, document, " ");
psiDocumentManager.commitAllDocuments();
PsiReference psiReference = file.findReferenceAt(endOffset - 1);
java/java-impl/src/com/intellij/codeInsight/completion/JavaCompletionUtil.java
+3 -3
View File
@@ -763,7 +763,7 @@ public class JavaCompletionUtil {
String name = psiClass.getName();
document.replaceString(startOffset, endOffset, name);
final RangeMarker toDelete = insertSpace(startOffset + name.length(), document);
final RangeMarker toDelete = insertTemporary(startOffset + name.length(), document, ";");
PsiDocumentManager.getInstance(project).commitAllDocuments();
@@ -812,12 +812,12 @@ public class JavaCompletionUtil {
return psiReference.resolve();
}
public static RangeMarker insertSpace(final int endOffset, final Document document) {
public static RangeMarker insertTemporary(final int endOffset, final Document document, final String temporary) {
final CharSequence chars = document.getCharsSequence();
final int length = chars.length();
final RangeMarker toDelete;
if (endOffset < length && Character.isJavaIdentifierPart(chars.charAt(endOffset))){
document.insertString(endOffset, " ");
document.insertString(endOffset, temporary);
toDelete = document.createRangeMarker(endOffset, endOffset + 1);
} else if (endOffset >= length) {
toDelete = document.createRangeMarker(length, length);