KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > jface > text > projection > IMinimalMapping


1 /*******************************************************************************
2  * Copyright (c) 2000, 2005 IBM Corporation and others.
3  * All rights reserved. This program and the accompanying materials
4  * are made available under the terms of the Eclipse Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/epl-v10.html
7  *
8  * Contributors:
9  * IBM Corporation - initial API and implementation
10  *******************************************************************************/
11 package org.eclipse.jface.text.projection;
12
13
14 import org.eclipse.jface.text.BadLocationException;
15 import org.eclipse.jface.text.IRegion;
16
17
18 /**
19  * Internal interface for defining the exact subset of
20  * {@link org.eclipse.jface.text.projection.ProjectionMapping} that the
21  * {@link org.eclipse.jface.text.projection.ProjectionTextStore} is allowed to
22  * access.
23  *
24  * @since 3.0
25  */
26 interface IMinimalMapping {
27
28     /*
29      * @see org.eclipse.jface.text.IDocumentInformationMapping#getCoverage()
30      */
31     IRegion getCoverage();
32
33     /*
34      * @see org.eclipse.jface.text.IDocumentInformationMapping#toOriginRegion(IRegion)
35      */
36     IRegion toOriginRegion(IRegion region) throws BadLocationException;
37
38     /*
39      * @see org.eclipse.jface.text.IDocumentInformationMapping#toOriginOffset(int)
40      */
41     int toOriginOffset(int offset) throws BadLocationException;
42
43     /*
44      * @see org.eclipse.jface.text.IDocumentInformationMappingExtension#toExactOriginRegions(IRegion)
45      */
46     IRegion[] toExactOriginRegions(IRegion region) throws BadLocationException;
47
48     /*
49      * @see org.eclipse.jface.text.IDocumentInformationMappingExtension#getImageLength()
50      */
51     int getImageLength();
52 }
53
Popular Tags