|
Eclipse Platform Release 3.2 |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface IDocumentInformationMappingExtension
Extension to IDocumentInformationMapping.
Extends the information available in the mapping by providing explicit access to the isomorphic portion of the basically homomorphic information mapping.
IDocumentInformationMapping| Method Summary | |
|---|---|
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. |
| Method Detail |
|---|
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 region
null
BadLocationException - if origin region is not a valid region in
the origin document
IRegion[] toExactImageRegions(IRegion originRegion)
throws BadLocationException
null if
there are no such image regions.
originRegion - the region in the origin document
null
BadLocationException - in case the given origin region is not valid
in the original document
IRegion[] toExactOriginRegions(IRegion imageRegion)
throws BadLocationException
imageRegion - the region in the image document
BadLocationException - 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 document
null
BadLocationException - in case the given origin region is not valid
in the original document
|
Eclipse Platform Release 3.2 |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
Guidelines for using Eclipse APIs.
Copyright (c) IBM Corp. and others 2000, 2006. All rights reserved.