Package org.rascalmpl.library.vis.util.vector

Examples of org.rascalmpl.library.vis.util.vector.Rectangle

210
211
212
213
214
215
216
217
218
219
220
    SWTGraphicsContext swtGC = new SWTGraphicsContext();
    swtGC.setGC(gc);
   
    gc.setBackground(getDisplay().getSystemColor(SWT.COLOR_WHITE));

    figure.draw(new Coordinate(1.0, 1.0), swtGC, new Rectangle(0, 0, figureWidth, figureHeight), new SWTElementsVisibilityManager().getVisibleSWTElementsVector());
 
    ImageLoader il = new ImageLoader();
    il.data = new ImageData[] {image.getImageData()};
    il.save(to, SWT.IMAGE_PNG);
  }
View Full Code Here
95
96
97
98
99
100
101
    scrollableMinSize = new BoundingBox(MIN_SIZE + scrollbarSize.getX(), MIN_SIZE+ scrollbarSize.getY());
    swtVisiblityMangager = new SWTElementsVisibilityManager();
    zorderManager = new SWTZOrderManager(parent,overlapFigures);
    gc = new SWTGraphicsContext();
    topLevel = new TransformMatrix();
    viewPortRectangle = new Rectangle(viewPortLocation, viewPortSize);
  }
View Full Code Here
116
117
118
119
120
121
122
123
        figure.size.set(d,figure.minSize.get(d));
      } else {
        figure.size.set(d,viewPortSize.get(d));
      }
    }
    Rectangle part = getViewPortRectangle();
    figure.resize(part,topLevel);
  }
View Full Code Here
122
123
124
125
126
127
128
129
    figure.resize(part,topLevel);
  }
 
  private void distributeExtraSize(){
    figure.size.set(viewPortSize);
    Rectangle part = getViewPortRectangle();
    figure.resize(part,topLevel);
  }
View Full Code Here
128
129
130
131
132
133
134
135
    figure.resize(part,topLevel);
  }
 
  private void  distributeSizeWidthDependsOnHeight(){
    figure.size.set(viewPortSize);
    Rectangle part = getViewPortRectangle();
    figure.resize(part,topLevel);
  }
View Full Code Here
236
237
238
239
240
241
242
243
244
245
    if(viewPortSize.contains(figure.getMinViewingSize())){
      distributeExtraSize();
    } else {
      resetToMinSize();
    }
    Rectangle part = getViewPortRectangle();
    adjustOverlaps(part);
    updateScrollBars();
    parent.notifyLayoutChanged();
  }
View Full Code Here
264
265
266
267
268
269
270
271
272
273
274
     
      ScrollBar bar = scrollBars.get(d);
     
      if(bar != null){
        viewPortLocation.set(d,bar.getSelection());
        Rectangle part = getViewPortRectangle();
        adjustOverlaps(part);
      } else {
      }
    }
    parent.requestRedraw();
View Full Code Here
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
      gc.setGC(new GC(backbuffer));
    }
   
    gc.getGC().setBackground(parent.getDisplay().getSystemColor(SWT.COLOR_WHITE));
   
    Rectangle part = getViewPortRectangle();
    gc.getGC().fillRectangle(0, 0, FigureMath.ceil(part.getSize().getX()), FigureMath.ceil(part.getSize().getY()));
    gc.translate(-part.getLocation().getX(), -part.getLocation().getY());

   
    figure.draw(zoom, gc, part,swtVisiblityMangager.getVisibleSWTElementsVector());
    for(Overlap f : overlapFigures){
      if(f.over.overlapsWith(part)){
        f.over.draw(zoom, gc, part, swtVisiblityMangager.getVisibleSWTElementsVector());
      }
    }
    gc.translate(part.getLocation().getX(), part.getLocation().getY());
   

   
    gc.dispose();
    swtGC.drawImage(backbuffer, 0, 0);
View Full Code Here
290
291
292
293
294
295
296
297
298
299
  public void drawChildren(Coordinate zoom, GraphicsContext gc,
      Rectangle part, List<IHasSWTElement> visibleSWTElements) {
    for(Figure f : children){
      //if(f.overlapsWith(part)){
        Rectangle npart = f.isContainedIn(part) ? null : part;
        f.draw(zoom, gc, npart, visibleSWTElements);
      //}
    }
  }
View Full Code Here
409
410
411
412
413
414
415
  public boolean isContainedIn(Rectangle r){
    return  r == null || r.contains(globalLocation,size);
  }
 
  public Rectangle getRectangle(){
    return new Rectangle(globalLocation, size);
  }
View Full Code Here
TOP

Related Classes of org.rascalmpl.library.vis.util.vector.Rectangle

  • org.rascalmpl.library.vis.figure.Figure
  • org.rascalmpl.library.vis.swt.applet.FigureSWTApplet
  • org.rascalmpl.library.vis.swt.applet.ViewPortHandler
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.