public interface IDocumentInformationMappingExtension
IDocumentInformationMapping
.
Extends the information available in the mapping by providing explicit access to the isomorphic portion of the basically homomorphic information mapping.
IDocumentInformationMapping
Modifier and Type | Method and Description |
---|---|
IRegion[] |
getExactCoverage(IRegion originRegion)
Returns the maximal sub-regions of the given origin region which are
completely covered.
|
int |
getImageLength()
Returns the length of the image document.
|
IRegion |
toExactImageRegion(IRegion originRegion)
Adheres to
originRegion=toOriginRegion(toExactImageRegion(originRegion)) ,
if toExactImageRegion(originRegion) ! |
IRegion[] |
toExactImageRegions(IRegion originRegion)
Returns the segments of the image document that exactly correspond to the
given region of the original document.
|
IRegion[] |
toExactOriginRegions(IRegion imageRegion)
Returns the fragments of the original document that exactly correspond to
the given region of the image document.
|
IRegion toExactImageRegion(IRegion originRegion) throws BadLocationException
originRegion=toOriginRegion(toExactImageRegion(originRegion))
,
if toExactImageRegion(originRegion) != null
. Returns
null
if there is no image for the given origin region.originRegion
- the origin regionnull
BadLocationException
- if origin region is not a valid region in
the origin documentIRegion[] toExactImageRegions(IRegion originRegion) throws BadLocationException
null
if
there are no such image regions.originRegion
- the region in the origin documentnull
BadLocationException
- in case the given origin region is not valid
in the original documentIRegion[] toExactOriginRegions(IRegion imageRegion) throws BadLocationException
imageRegion
- the region in the image documentBadLocationException
- in case the given image region is not valid
in the image documentint getImageLength()
IRegion[] getExactCoverage(IRegion originRegion) throws BadLocationException
null
if there are no such
sub-regions.originRegion
- the region in the origin documentnull
BadLocationException
- in case the given origin region is not valid
in the original document
Copyright (c) 2000, 2014 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.