Examples of OurPDFWriter


Examples of edu.mit.csail.sdg.alloy4.OurPDFWriter

          double xwidth = dpi*8L+(dpi/2L); // Width is up to 8.5 inch
          double xheight = dpi*11L;        // Height is up to 11 inch
          double scale1 = (xwidth-dpi/ graph.getTotalWidth()// We leave 0.5 inch on the left and right
          double scale2 = (xheight-dpi) / graph.getTotalHeight(); // We leave 0.5 inch on the left and right
          if (scale1<scale2) scale2=scale1; // Choose the scale such that the image does not exceed the page in either direction
          OurPDFWriter x = new OurPDFWriter(filename, dpi, scale2);
          graph.draw(new Artist(x), scale2, null, false);
          x.close();
       } catch(Throwable ex) {
          if (ex instanceof IOException) throw (IOException)ex;
          throw new IOException("Failure writing the PDF file to " + filename + " (" + ex + ")");
       }
    }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.