Class LatexManager

  • All Implemented Interfaces:
    java.lang.AutoCloseable

    public class LatexManager
    extends java.lang.Object
    implements java.lang.AutoCloseable
    • Constructor Summary

      Constructors 
      Constructor Description
      LatexManager​(java.lang.String system, java.lang.String preamble)  
    • Constructor Detail

      • LatexManager

        public LatexManager​(java.lang.String system,
                            java.lang.String preamble)
    • Method Detail

      • getWidthHeightDepth

        public double[] getWidthHeightDepth​(java.lang.String s)
      • doGetWidthHeightDepth

        protected double[] doGetWidthHeightDepth​(java.lang.String s)
      • protectText

        public static java.lang.String protectText​(java.lang.String text)
      • close

        public void close()
        Specified by:
        close in interface java.lang.AutoCloseable