Package net.sourceforge.jeuclid.ant

Class MathMLConverter

java.lang.Object
org.apache.tools.ant.ProjectComponent
org.apache.tools.ant.Task
org.apache.tools.ant.taskdefs.MatchingTask
net.sourceforge.jeuclid.ant.MathMLConverter
All Implemented Interfaces:
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

    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(String color)
    Sets background color.
    void
    setBasedir(File dir)
    Set the base directory.
    void
    setDebug(boolean debug)
    Sets support for debug (default is false).
    void
    setDestdir(File dir)
    Set the destination directory into which the result files should be copied to.
    void
    setDisplay(String display)
    Sets display style (default is BLOCK.
    void
    setFontsDoublestruck(String fonts)
    Sets list of supported font families for Double-Struck.
    void
    setFontsFraktur(String fonts)
    Sets list of supported font families for Fraktur.
    void
    setFontSize(float fontSize)
    Sets font size of text.
    void
    setFontsMonospaced(String fonts)
    Sets list of supported font families for Monospaced.
    void
    setFontsSansSerif(String fonts)
    Sets list of supported font families for Sans-Serif.
    void
    setFontsScript(String fonts)
    Sets list of supported font families for Script.
    void
    setFontsSerif(String fonts)
    Sets list of supported font families for Serif.
    void
    setForce(boolean force)
    Set whether to check dependencies, or always generate.
    void
    setForegroundColor(String color)
    Sets foreground color.
    void
    setIn(File inFile)
    Sets an input xml file to be converted.
    void
    setMfracKeepScriptLevel(boolean keepScriptLevel)
    Sets <mfrac> keep scriptlevel.
    void
    setOut(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(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 Details

    • MathMLConverter

      public MathMLConverter()
      Creates a new MathMLConverter Task.

  • Method Details

    • 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(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(String display)
      Sets display style (default is BLOCK.
      Parameters:
      display - String value of display style.
      See Also:

    • setFontsDoublestruck

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

    • setFontsFraktur

      public void setFontsFraktur(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(String fonts)
      Sets list of supported font families for Monospaced.
      Parameters:
      fonts - List separated by comma.

    • setFontsSansSerif

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

    • setFontsScript

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

    • setFontsSerif

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

    • setForegroundColor

      public void setForegroundColor(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(File dir)
      Set the base directory.
      Parameters:
      dir - Base directory

    • setDestdir

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

    • setOut

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

    • setIn

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

    • setType

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