org.jmlspecs.jmldoc.jmldoc_142
Class Main.JmlHtmlTask

java.lang.Object
  org.multijava.mjc.Main.Task
      org.multijava.mjc.Main.TreeProcessingTask
          org.jmlspecs.jmldoc.jmldoc_142.Main.JmlHtmlTask

All Implemented Interfaces:

Comparable, Main.Trees

Enclosing class:

Main

public class Main.JmlHtmlTask

extends Main.TreeProcessingTask

This class jmlizes java files for each listed java file.

Field Summary
private  boolean	specify           This flag is true if the files identified by this task are to have html written out for them.

 

Fields inherited from class org.multijava.mjc.Main.TreeProcessingTask

passCompletedMessage, trees

 

Fields inherited from class org.multijava.mjc.Main.Task

 

Constructor Summary

Main.JmlHtmlTask(CompilerPassEnterable[] trees, Object sequenceID, boolean specify)           Constructs a task for javadocizing the trees in the given forest.

 

Method Summary
protected  void	processTree(CompilerPassEnterable tree)

 

Methods inherited from class org.multijava.mjc.Main.TreeProcessingTask

execute, trees

 

Methods inherited from class org.multijava.mjc.Main.Task

compareTo, priority, sequenceID, setToMainSequenceID

 

Methods inherited from class java.lang.Object

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

 

Field Detail

specify

private boolean specify

This flag is true if the files identified by this task are to have html written out for them. If not, the classes contained in the file are simply registered in the Doclet code so that their characteristics (e.g. qualified name) can be properly written in the html files that are generated.

Main.JmlHtmlTask

public Main.JmlHtmlTask(CompilerPassEnterable[] trees,
                        Object sequenceID,
                        boolean specify)

Constructs a task for javadocizing the trees in the given forest. Stores an alias to trees.

processTree

protected void processTree(CompilerPassEnterable tree)