| package org.eclipse.web.core.document; |
| |
| import java.io.PrintStream; |
| import java.util.Dictionary; |
| import java.util.EventListener; |
| |
| |
| |
| |
| |
| |
| import org.eclipse.jface.text.BadPositionCategoryException; |
| |
| import org.eclipse.jface.text.AbstractDocument; |
| import org.eclipse.jface.text.BadPositionCategoryException; |
| import org.eclipse.jface.text.IDocument; |
| import org.eclipse.jface.text.IDocumentListener; |
| import org.eclipse.jface.text.IDocumentPartitioner; |
| import org.eclipse.jface.text.IDocumentPartitioningListener; |
| import org.eclipse.jface.text.IPositionUpdater; |
| import org.eclipse.jface.text.IRegion; |
| import org.eclipse.jface.text.ITypedRegion; |
| import org.eclipse.jface.text.Position; |
| |
| |
| public interface IDocumentFacade { |
| |
| |
| |
| |
| |
| } |