org.jmlspecs.jmlrac
Class Main.JmlWriteAssertionTask

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

All Implemented Interfaces:

Comparable, Main.Trees

Enclosing class:

Main

public class Main.JmlWriteAssertionTask

extends Main.JmlPrettyPrintTask

A task class for generating RAC code. The instrumented code is stored to a temporary file and further processed to generate bytecode by the following tasks.

Field Summary
private  ArrayList	racFiles           temp rac files to be compiled by the next task

 

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

passCompletedMessage, trees

 

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

 

Constructor Summary

Main.JmlWriteAssertionTask(CompilerPassEnterable[] trees, Object sequenceID)

 

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

 

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

 

Field Detail

racFiles

private ArrayList racFiles

temp rac files to be compiled by the next task

Main.JmlWriteAssertionTask

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

processTree

protected void processTree(CompilerPassEnterable tree)

Description copied from class: Main.JmlPrettyPrintTask

Generate the source code of parsed compilation unit

Overrides:

processTree in class Main.JmlPrettyPrintTask

racFiles

public ArrayList racFiles()

prettyPrint

private void prettyPrint(File file,
                         JmlCompilationUnit tree)

Pretty-print the AST tree to the external file

Overrides:

prettyPrint in class Main.JmlPrettyPrintTask