Package org.renjin.graphics.geom

Examples of org.renjin.graphics.geom.Dimension


    this.driver = driver;
   
    /* For new devices, have to check the device's idea of its size
    * in case there has been a resize.
    */
    Dimension inchesPerPixel = driver.getInchesPerPixel();

   
//   
//   
//    dp->fig[0] = 0.0;
View Full Code Here


    double lineHeight = driver.getCharacterSize().getHeight() *
        scale *
        parameters.getCexBase() *
        parameters.getMex();
   
    return new Dimension(
        lineHeight * driver.getInchesPerPixel().getAspectRatio(),
        lineHeight);
      
  }
View Full Code Here

        lineHeight);
      
  }
 
  public Dimension getDefaultCharacterSize() {
    return new Dimension( driver.getCharacterSize().getWidth() * scale,
                          driver.getCharacterSize().getHeight() * scale);
  }
View Full Code Here

    this.size = size;
  }

  public GraphicsDeviceDriverStub(int widthPixels, int heightPixels) {
    deviceRegion = new Rectangle(0, widthPixels, 0, heightPixels);
    size = new Dimension(widthPixels / 72d, heightPixels / 72d);
  }
View Full Code Here

    size = new Dimension(widthPixels / 72d, heightPixels / 72d);
  }

  @Override
  public Dimension getInchesPerPixel() {
    return new Dimension(size.getWidth() / deviceRegion.getWidth(),
                         size.getHeight() / deviceRegion.getHeight());
  }
View Full Code Here

                         size.getHeight() / deviceRegion.getHeight());
  }

  @Override
  public Dimension getCharacterSize() {
    return new Dimension(10.8, 14.4);
  }
View Full Code Here

        size.getHeight() / bounds.getHeight());
  }

  @Override
  public Dimension getCharacterSize() {
    return new Dimension(10.8, 14.4);
  }
View Full Code Here

TOP

Related Classes of org.renjin.graphics.geom.Dimension

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.