net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/IPositionManager.java

   1 package net.sourceforge.phpeclipse.phpeditor;
   2
   3 /*
   4  * (c) Copyright IBM Corp. 2000, 2001.
   5  * All Rights Reserved.
   6  */
   7
   8 import org.eclipse.jface.text.Position;
   9
  10
  11 public interface IPositionManager {
  12
  13         void addManagedPosition(Position position);
  14
  15         void removeManagedPosition(Position position);
  16 }