1 package net.sourceforge.phpeclipse.phpeditor;
4 * (c) Copyright IBM Corp. 2000, 2001.
8 import org.eclipse.jface.text.Position;
10 public interface IPositionManager {
12 void addManagedPosition(Position position);
14 void removeManagedPosition(Position position);