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