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 regionnullBadLocationException - 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 documentnullBadLocationException - 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 documentnullBadLocationException - in case the given origin region is not valid
in the original documentGuidelines for using Eclipse APIs. Copyright (c) IBM Corp. and others 2000, 2006. All rights reserved.