showjlink("gzz.view.View", (bboxmeasuredpic(View))); drawmeasuredpic(View); draw bboxmeasuredpic(View); drawmeasuredpic(XXXView); draw bboxmeasuredpic(XXXView); drawmeasuredpic(XXXViewTool); draw bboxmeasuredpic(XXXViewTool); drawmeasuredpic(XXXRaster); draw bboxmeasuredpic(XXXRaster); drawmeasuredpic(AbstractViewTool); draw bboxmeasuredpic(AbstractViewTool); drawmeasuredpic(AbstractRaster); draw bboxmeasuredpic(AbstractRaster); if not known vqWYeIgGvNrmCHONuZPY.p: vqWYeIgGvNrmCHONuZPY.p = backuppath(XXXView, View); show vqWYeIgGvNrmCHONuZPY.p; else: vqWYeIgGvNrmCHONuZPY.p := clipmeasuredpath(XXXView, View, vqWYeIgGvNrmCHONuZPY.p); fi realize(vqWYeIgGvNrmCHONuZPY.p); if not known yONfKdufJEDhpXTCPSOe.p: yONfKdufJEDhpXTCPSOe.p = backuppath(XXXView, XXXViewTool); show yONfKdufJEDhpXTCPSOe.p; else: yONfKdufJEDhpXTCPSOe.p := clipmeasuredpath(XXXView, XXXViewTool, yONfKdufJEDhpXTCPSOe.p); fi drawarrow yONfKdufJEDhpXTCPSOe.p dashed evenly; if not known BueHdmWynjQoOPJbwcqA.p: BueHdmWynjQoOPJbwcqA.p = backuppath(XXXViewTool, AbstractViewTool); show BueHdmWynjQoOPJbwcqA.p; else: BueHdmWynjQoOPJbwcqA.p := clipmeasuredpath(XXXViewTool, AbstractViewTool, BueHdmWynjQoOPJbwcqA.p); fi inherit(BueHdmWynjQoOPJbwcqA.p); if not known zwtRkHsxvpAMFsExNsdF.p: zwtRkHsxvpAMFsExNsdF.p = backuppath(XXXViewTool, XXXRaster); show zwtRkHsxvpAMFsExNsdF.p; else: zwtRkHsxvpAMFsExNsdF.p := clipmeasuredpath(XXXViewTool, XXXRaster, zwtRkHsxvpAMFsExNsdF.p); fi drawarrow zwtRkHsxvpAMFsExNsdF.p dashed evenly; if not known ktZiemfuziHpZakEItmn.p: ktZiemfuziHpZakEItmn.p = backuppath(XXXRaster, AbstractRaster); show ktZiemfuziHpZakEItmn.p; else: ktZiemfuziHpZakEItmn.p := clipmeasuredpath(XXXRaster, AbstractRaster, ktZiemfuziHpZakEItmn.p); fi inherit(ktZiemfuziHpZakEItmn.p); draw ulcorner(bbox(currentpicture))+(0,10) -- urcorner(bbox(currentpicture))+(0,10) withpen pencircle scaled 1.5pt; picture YLxJULfLqludJGyGwXHI.pict; YLxJULfLqludJGyGwXHI.pict = diagramTitle("PEG 1018: ViewTool"); picmeasurements(YLxJULfLqludJGyGwXHI); YLxJULfLqludJGyGwXHI.sw = ulcorner(bbox(currentpicture))+(35,0); showfocus("PEG_1018.gen.html#umltool", (bboxmeasuredpic(YLxJULfLqludJGyGwXHI))); drawmeasuredpic(YLxJULfLqludJGyGwXHI); draw (infontBB("from:", "Helvetica") scaled 1.3) shifted (ulcorner(bbox(currentpicture))+(2,-13)); showjlinksize("bbox", (bbox currentpicture));