Package net.sourceforge.jeuclid.ant

Class MathMLConverter

  • All Implemented Interfaces:
    java.lang.Cloneable, org.apache.tools.ant.types.selectors.SelectorContainer
    public class MathMLConverter
extends org.apache.tools.ant.taskdefs.MatchingTask
    This task converts MathML files to images.
    Version:
    $Revision: ee8eb070689f $

    • Field Summary

      • Fields inherited from class org.apache.tools.ant.taskdefs.MatchingTask

        fileset

      • Fields inherited from class org.apache.tools.ant.Task

        target, taskName, taskType, wrapper

      • Fields inherited from class org.apache.tools.ant.ProjectComponent

        description, location, project

    • Constructor Summary

      Constructors 
      Constructor Description
      MathMLConverter()
      Creates a new MathMLConverter Task.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void execute()
      Executes the task.
      void setAntiAlias​(boolean antiAlias)
      Sets support for anti alias (default is true).
      void setAntiAliasMinSize​(float antiAliasMinSize)
      Sets minimal size for turn on anti alias (default is 10.0).
      void setBackgroundColor​(java.lang.String color)
      Sets background color.
      void setBasedir​(java.io.File dir)
      Set the base directory.
      void setDebug​(boolean debug)
      Sets support for debug (default is false).
      void setDestdir​(java.io.File dir)
      Set the destination directory into which the result files should be copied to.
      void setDisplay​(java.lang.String display)
      Sets display style (default is BLOCK.
      void setFontsDoublestruck​(java.lang.String fonts)
      Sets list of supported font families for Double-Struck.
      void setFontsFraktur​(java.lang.String fonts)
      Sets list of supported font families for Fraktur.
      void setFontSize​(float fontSize)
      Sets font size of text.
      void setFontsMonospaced​(java.lang.String fonts)
      Sets list of supported font families for Monospaced.
      void setFontsSansSerif​(java.lang.String fonts)
      Sets list of supported font families for Sans-Serif.
      void setFontsScript​(java.lang.String fonts)
      Sets list of supported font families for Script.
      void setFontsSerif​(java.lang.String fonts)
      Sets list of supported font families for Serif.
      void setForce​(boolean force)
      Set whether to check dependencies, or always generate.
      void setForegroundColor​(java.lang.String color)
      Sets foreground color.
      void setIn​(java.io.File inFile)
      Sets an input xml file to be converted.
      void setMfracKeepScriptLevel​(boolean keepScriptLevel)
      Sets <mfrac> keep scriptlevel.
      void setOut​(java.io.File outFile)
      Sets an out file.
      void setScriptLevel​(int level)
      Sets scripts level (default is 0).
      void setScriptMinSize​(float minSize)
      Sets minimal size of smallest font size (default is 8.0).
      void setScriptSizeMult​(float multSize)
      Sets size of multiplier (default is 0.71).
      void setType​(java.lang.String mimetype)
      Sets output file mimetype.

      • Methods inherited from class org.apache.tools.ant.taskdefs.MatchingTask

        add, addAnd, addContains, addContainsRegexp, addCustom, addDate, addDepend, addDepth, addDifferent, addFilename, addMajority, addModified, addNone, addNot, addOr, addPresent, addSelector, addSize, addType, appendSelector, createExclude, createExcludesFile, createInclude, createIncludesFile, createPatternSet, getDirectoryScanner, getImplicitFileSet, getSelectors, hasSelectors, selectorCount, selectorElements, setCaseSensitive, setDefaultexcludes, setExcludes, setExcludesfile, setFollowSymlinks, setIncludes, setIncludesfile, setProject, XsetIgnore, XsetItems

      • Methods inherited from class org.apache.tools.ant.Task

        bindToOwner, getOwningTarget, getRuntimeConfigurableWrapper, getTaskName, getTaskType, getWrapper, handleErrorFlush, handleErrorOutput, handleFlush, handleInput, handleOutput, init, isInvalid, log, log, log, log, maybeConfigure, perform, reconfigure, setOwningTarget, setRuntimeConfigurableWrapper, setTaskName, setTaskType

      • Methods inherited from class org.apache.tools.ant.ProjectComponent

        clone, getDescription, getLocation, getProject, setDescription, setLocation

      • Methods inherited from class java.lang.Object

        equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • MathMLConverter

        public MathMLConverter()
        Creates a new MathMLConverter Task.

    • Method Detail

      • execute

        public void execute()
        Executes the task.
        Overrides:
        execute in class org.apache.tools.ant.Task

      • setAntiAlias

        public void setAntiAlias​(boolean antiAlias)
        Sets support for anti alias (default is true).
        Parameters:
        antiAlias - Flag for support anti alias.

      • setAntiAliasMinSize

        public void setAntiAliasMinSize​(float antiAliasMinSize)
        Sets minimal size for turn on anti alias (default is 10.0).
        Parameters:
        antiAliasMinSize - Minimal size in float number.

      • setBackgroundColor

        public void setBackgroundColor​(java.lang.String color)
        Sets background color.
        Parameters:
        color - String representation of color.

      • setDebug

        public void setDebug​(boolean debug)
        Sets support for debug (default is false).
        Parameters:
        debug - Flag for support debug.

      • setDisplay

        public void setDisplay​(java.lang.String display)
        Sets display style (default is BLOCK.
        Parameters:
        display - String value of display style.
        See Also:
        Display

      • setFontsDoublestruck

        public void setFontsDoublestruck​(java.lang.String fonts)
        Sets list of supported font families for Double-Struck.
        Parameters:
        fonts - List separated by comma.

      • setFontsFraktur

        public void setFontsFraktur​(java.lang.String fonts)
        Sets list of supported font families for Fraktur.
        Parameters:
        fonts - List separated by comma.

      • setFontSize

        public void setFontSize​(float fontSize)
        Sets font size of text.
        Parameters:
        fontSize - Font size as float value.

      • setFontsMonospaced

        public void setFontsMonospaced​(java.lang.String fonts)
        Sets list of supported font families for Monospaced.
        Parameters:
        fonts - List separated by comma.

      • setFontsSansSerif

        public void setFontsSansSerif​(java.lang.String fonts)
        Sets list of supported font families for Sans-Serif.
        Parameters:
        fonts - List separated by comma.

      • setFontsScript

        public void setFontsScript​(java.lang.String fonts)
        Sets list of supported font families for Script.
        Parameters:
        fonts - List separated by comma.

      • setFontsSerif

        public void setFontsSerif​(java.lang.String fonts)
        Sets list of supported font families for Serif.
        Parameters:
        fonts - List separated by comma.

      • setForegroundColor

        public void setForegroundColor​(java.lang.String color)
        Sets foreground color.
        Parameters:
        color - String representation of color.

      • setMfracKeepScriptLevel

        public void setMfracKeepScriptLevel​(boolean keepScriptLevel)
        Sets <mfrac> keep scriptlevel.
        Parameters:
        keepScriptLevel - if true, element will NEVER increase children's scriptlevel (in violation of the spec).

      • setScriptLevel

        public void setScriptLevel​(int level)
        Sets scripts level (default is 0).
        Parameters:
        level - Script level.

      • setScriptMinSize

        public void setScriptMinSize​(float minSize)
        Sets minimal size of smallest font size (default is 8.0).
        Parameters:
        minSize - Size of font.

      • setScriptSizeMult

        public void setScriptSizeMult​(float multSize)
        Sets size of multiplier (default is 0.71).
        Parameters:
        multSize - Size of multiplier.

      • setForce

        public void setForce​(boolean force)
        Set whether to check dependencies, or always generate.
        Parameters:
        force - True, if the task should always generate the images.

      • setBasedir

        public void setBasedir​(java.io.File dir)
        Set the base directory.
        Parameters:
        dir - Base directory

      • setDestdir

        public void setDestdir​(java.io.File dir)
        Set the destination directory into which the result files should be copied to.
        Parameters:
        dir - Destination directory

      • setOut

        public void setOut​(java.io.File outFile)
        Sets an out file.
        Parameters:
        outFile - Output file

      • setIn

        public void setIn​(java.io.File inFile)
        Sets an input xml file to be converted.
        Parameters:
        inFile - Input file

      • setType

        public void setType​(java.lang.String mimetype)
        Sets output file mimetype.
        Parameters:
        mimetype - mimetype for output file.