com.intellij.openapi.diff.impl.incrementalMerge.DiffRangeMarker Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of platform-impl Show documentation
A packaging of the IntelliJ Community Edition platform-impl library. This is release number 1 of trunk branch 142.
The newest version!
/*
 * Copyright 2000-2014 JetBrains s.r.o.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
package com.intellij.openapi.diff.impl.incrementalMerge;

import com.intellij.openapi.editor.Document;
import com.intellij.openapi.editor.RangeMarker;
import com.intellij.openapi.editor.event.DocumentAdapter;
import com.intellij.openapi.editor.event.DocumentEvent;
import com.intellij.openapi.util.Key;
import com.intellij.openapi.util.TextRange;
import com.intellij.util.containers.ContainerUtil;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;

import java.util.Iterator;
import java.util.Map;

class DiffRangeMarker implements RangeMarker {
  private final RangeMarker myRangeMarker;

  DiffRangeMarker(@NotNull Document document, @NotNull TextRange range, RangeInvalidListener listener) {
    myRangeMarker = document.createRangeMarker(range.getStartOffset(), range.getEndOffset());
    if (listener != null) {
      InvalidRangeDispatcher.addClient(document, this, listener);
    }
  }

  public void removeListener(@NotNull RangeInvalidListener listener) {
    InvalidRangeDispatcher.removeClient(getDocument(), this, listener);
  }

  interface RangeInvalidListener {
    void onRangeInvalidated();
  }

  private static class InvalidRangeDispatcher extends DocumentAdapter {
    private static final Key KEY = Key.create("deferedNotifier");
    private final Map myDiffRangeMarkers = ContainerUtil.newConcurrentMap();

    @Override
    public void documentChanged(DocumentEvent e) {
      for (Iterator> iterator = myDiffRangeMarkers.entrySet().iterator();
           iterator.hasNext(); ) {
        Map.Entry entry = iterator.next();
        DiffRangeMarker diffRangeMarker = entry.getKey();
        RangeInvalidListener listener = entry.getValue();
        if (!diffRangeMarker.isValid() && listener != null) {
          listener.onRangeInvalidated();
          iterator.remove();
        }
      }
    }

    private static void addClient(@NotNull Document document,
                                  @NotNull DiffRangeMarker marker,
                                  @NotNull RangeInvalidListener listener) {
      InvalidRangeDispatcher notifier = document.getUserData(KEY);
      if (notifier == null) {
        notifier = new InvalidRangeDispatcher();
        document.putUserData(KEY, notifier);
        document.addDocumentListener(notifier);
      }
      assert !notifier.myDiffRangeMarkers.containsKey(marker);
      notifier.myDiffRangeMarkers.put(marker, listener);
    }

    private static void removeClient(@NotNull Document document,
                                     @NotNull DiffRangeMarker marker,
                                     @NotNull RangeInvalidListener listener) {
      InvalidRangeDispatcher notifier = document.getUserData(KEY);
      assert notifier != null;
      notifier.onClientRemoved(document, marker, listener);
    }

    private void onClientRemoved(@NotNull Document document, @NotNull DiffRangeMarker marker, @NotNull RangeInvalidListener listener) {
      if (myDiffRangeMarkers.remove(marker) == listener && myDiffRangeMarkers.isEmpty()) {
        document.putUserData(KEY, null);
        document.removeDocumentListener(this);
      }
    }
  }

  /// delegates

  @Override
  @NotNull
  public Document getDocument() {
    return myRangeMarker.getDocument();
  }

  @Override
  public int getStartOffset() {
    return myRangeMarker.getStartOffset();
  }

  @Override
  public int getEndOffset() {
    return myRangeMarker.getEndOffset();
  }

  @Override
  public boolean isValid() {
    return myRangeMarker.isValid();
  }

  @Override
  public void setGreedyToLeft(boolean greedy) {
    myRangeMarker.setGreedyToLeft(greedy);
  }

  @Override
  public void setGreedyToRight(boolean greedy) {
    myRangeMarker.setGreedyToRight(greedy);
  }

  @Override
  public boolean isGreedyToRight() {
    return myRangeMarker.isGreedyToRight();
  }

  @Override
  public boolean isGreedyToLeft() {
    return myRangeMarker.isGreedyToLeft();
  }

  @Override
  public void dispose() {
    myRangeMarker.dispose();
  }

  @Override
  @Nullable
  public  T getUserData(@NotNull Key key) {
    return myRangeMarker.getUserData(key);
  }

  @Override
  public  void putUserData(@NotNull Key key, @Nullable T value) {
    myRangeMarker.putUserData(key, value);
  }
}