Class MIFFile


  • public class MIFFile
    extends MIFElement
    The MIF File. This organises the MIF File and the corresponding elements. The catalog elements are used to setup the resources that are referenced.
    • Field Detail

      • colorCatalog

        protected MIFElement colorCatalog
        colorCatalog
      • pgfCatalog

        protected PGFElement pgfCatalog
        pgfCatalog
      • rulingCatalog

        protected RulingElement rulingCatalog
        rulingCatalog
      • pages

        protected java.util.List pages
        pages
    • Constructor Detail

      • MIFFile

        public MIFFile()
        default constructor
    • Method Detail

      • setup

        protected void setup()
        Do some setup. Currently adds some dummy values to the resources.
      • output

        public void output​(java.io.OutputStream os)
                    throws java.io.IOException
        Parameters:
        os - output stream
        Throws:
        java.io.IOException - if not caught
      • addPage

        public void addPage​(MIFElement p)
        Parameters:
        p - a page element to add