platform/platform-impl/src/com/intellij/openapi/diff/impl/incrementalMerge/DiffRangeMarker.java

/*
 * Copyright 2000-2009 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.diagnostic.Logger;
import com.intellij.openapi.editor.Document;
import com.intellij.openapi.editor.event.DocumentAdapter;
import com.intellij.openapi.editor.event.DocumentEvent;
import com.intellij.openapi.editor.ex.DocumentEx;
import com.intellij.openapi.editor.impl.RangeMarkerImpl;
import com.intellij.openapi.util.Key;
import com.intellij.openapi.util.TextRange;
import org.jetbrains.annotations.NotNull;

import java.util.ArrayList;

class DiffRangeMarker extends RangeMarkerImpl {
  private static final Logger LOG = Logger.getInstance("#com.intellij.openapi.diff.impl.incrementalMerge.DiffRangeMarker");
  private RangeInvalidListener myListener;

  DiffRangeMarker(@NotNull DocumentEx document, @NotNull TextRange range, RangeInvalidListener listener) {
    super(document, range.getStartOffset(), range.getEndOffset(),true);
    myListener = listener;
    if (myListener != null) InvalidRangeDispatcher.addClient(document);
  }

  @Override
  protected void changedUpdateImpl(DocumentEvent e) {
    super.changedUpdateImpl(e);
    if (!isValid() && myListener != null) InvalidRangeDispatcher.notify(e.getDocument(), myListener);
  }

  public void removeListener(RangeInvalidListener listener) {
    LOG.assertTrue(myListener == listener || myListener == null);
    myListener = null;
    InvalidRangeDispatcher.removeClient(getDocument());
  }

  public interface RangeInvalidListener {
    void onRangeInvalidated();
  }

  private static class InvalidRangeDispatcher extends DocumentAdapter {
    private static final Key<InvalidRangeDispatcher> KEY = Key.create("deferedNotifier");
    private final ArrayList<RangeInvalidListener> myDeferedNotifications = new ArrayList<RangeInvalidListener>();
    private int myClientCount = 0;

    public void documentChanged(DocumentEvent e) {
      if (myDeferedNotifications.isEmpty()) return;
      RangeInvalidListener[] notifications = myDeferedNotifications.toArray(new RangeInvalidListener[myDeferedNotifications.size()]);
      myDeferedNotifications.clear();
      for (RangeInvalidListener notification : notifications) {
        notification.onRangeInvalidated();
      }
    }

    public static void notify(Document document, RangeInvalidListener listener) {
      InvalidRangeDispatcher notifier = document.getUserData(KEY);
      notifier.myDeferedNotifications.add(listener);
    }

    public static void addClient(@NotNull Document document) {
      InvalidRangeDispatcher notifier = document.getUserData(KEY);
      if (notifier == null) {
        notifier = new InvalidRangeDispatcher();
        document.putUserData(KEY, notifier);
        document.addDocumentListener(notifier);
      }
      notifier.myClientCount++;
    }

    private static void removeClient(Document document) {
      InvalidRangeDispatcher notifier = document.getUserData(KEY);
      notifier.onClientRemoved(document);
    }

    private void onClientRemoved(Document document) {
      myClientCount--;
      LOG.assertTrue(myClientCount >= 0);
      if (myClientCount == 0) {
        document.putUserData(KEY, null);
        document.removeDocumentListener(this);
      }
    }
  }
}