Java DocumentChangeTransaction.replace Examples

Example #1

File: PsiToDocumentSynchronizer.java Project: jameshnsears/intellij-community

 private void replaceString(
     Document document,
     int startOffset,
     int endOffset,
     String s,
     @Nullable PsiElement replacement) {
   final DocumentChangeTransaction documentChangeTransaction = getTransaction(document);
   if (documentChangeTransaction != null) {
     documentChangeTransaction.replace(startOffset, endOffset - startOffset, s, replacement);
   }
 }

Example #2

File: PsiToDocumentSynchronizer.java Project: opticyclic/intellij-community

 private void deleteString(Document document, int startOffset, int endOffset) {
   final DocumentChangeTransaction documentChangeTransaction = getTransaction(document);
   if (documentChangeTransaction != null) {
     documentChangeTransaction.replace(startOffset, endOffset - startOffset, "");
   }
 }

Example #3

File: PsiToDocumentSynchronizer.java Project: opticyclic/intellij-community

 public void insertString(Document document, int offset, String s) {
   final DocumentChangeTransaction documentChangeTransaction = getTransaction(document);
   if (documentChangeTransaction != null) {
     documentChangeTransaction.replace(offset, 0, s);
   }
 }

Example #4

File: PsiToDocumentSynchronizer.java Project: opticyclic/intellij-community

 public void replaceString(Document document, int startOffset, int endOffset, String s) {
   final DocumentChangeTransaction documentChangeTransaction = getTransaction(document);
   if (documentChangeTransaction != null) {
     documentChangeTransaction.replace(startOffset, endOffset - startOffset, s);
   }
 }