Class FsmDotGenTask

  • All Implemented Interfaces:
    Cloneable

    public class FsmDotGenTask
    extends org.apache.tools.ant.Task
    Ant task used to generate a GraphViz dot file.
    • Constructor Detail

      • FsmDotGenTask

        public FsmDotGenTask()
    • Method Detail

      • execute

        public void execute()
                     throws org.apache.tools.ant.BuildException
        Overrides:
        execute in class org.apache.tools.ant.Task
        Throws:
        org.apache.tools.ant.BuildException
      • setFsmSpecificationFilename

        public void setFsmSpecificationFilename​(String fsmSpecificationFilename)
      • getFsmSpecificationFilename

        public String getFsmSpecificationFilename()
      • setFsmDotTemplateFilename

        public void setFsmDotTemplateFilename​(String fsmDotTemplateFilename)
      • getFsmDotTemplateFilename

        public String getFsmDotTemplateFilename()
      • setOutputFile

        public void setOutputFile​(String outputFile)
      • getOutputFile

        public String getOutputFile()