|
Eclipse Platform Release 3.1 |
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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 |
public 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 documentpublic 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 documentpublic 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 documentpublic int getImageLength()
public 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.1 |
|||||||||||
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, 2005. All rights reserved.