org.jmlspecs.jmlrac
Class Main.JmlPrettyPrintTask

java.lang.Object
  org.multijava.mjc.Main.Task
      org.multijava.mjc.Main.TreeProcessingTask
          org.multijava.mjc.Main.PrettyPrintTask
              org.jmlspecs.jmlrac.Main.JmlPrettyPrintTask

All Implemented Interfaces:

Comparable, Main.Trees

Direct Known Subclasses:

Main.JmlWriteAssertionTask

Enclosing class:

Main

public class Main.JmlPrettyPrintTask

extends Main.PrettyPrintTask

A task class for pretty-printing the trees in the AST forest.

Field Summary

 

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

passCompletedMessage, trees

 

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

 

Constructor Summary

Main.JmlPrettyPrintTask(CompilerPassEnterable[] trees, Object sequenceID)           Constructs a task for pretty printer the trees in the given forest.

 

Method Summary
private  void	prettyPrint(File file, JmlCompilationUnit tree)           Pretty-print the AST tree to the given file
protected  void	processTree(CompilerPassEnterable tree)           Generate the source code of parsed compilation unit

 

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

execute

 

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

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

 

Constructor Detail

Main.JmlPrettyPrintTask

public Main.JmlPrettyPrintTask(CompilerPassEnterable[] trees,
                               Object sequenceID)

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

processTree

protected void processTree(CompilerPassEnterable tree)

Generate the source code of parsed compilation unit

Overrides:

processTree in class Main.PrettyPrintTask

Parameters:

tree - the compilation unit

prettyPrint

private void prettyPrint(File file,
                         JmlCompilationUnit tree)

Pretty-print the AST tree to the given file