JML

org.jmlspecs.racwrap
Class Main.PrintInterfaceTask

java.lang.Object
  extended byorg.multijava.mjc.Main.Task
      extended byorg.multijava.mjc.Main.TreeProcessingTask
          extended byorg.jmlspecs.racwrap.Main.PrintInterfaceTask
All Implemented Interfaces:
Comparable, Main.Trees
Enclosing class:
Main

public class Main.PrintInterfaceTask
extends Main.TreeProcessingTask

PrintInterfaceTask is used for outputting the interface for the input file.


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.PrintInterfaceTask(CompilerPassEnterable[] trees, Object sequenceID)
           
 
Method Summary
 void processTree(CompilerPassEnterable tree)
          This will create the temporary file for the interface, and call on InterfacePrinter to print the interface file.
 
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
 

Constructor Detail

Main.PrintInterfaceTask

public Main.PrintInterfaceTask(CompilerPassEnterable[] trees,
                               Object sequenceID)
Method Detail

processTree

public void processTree(CompilerPassEnterable tree)
This will create the temporary file for the interface, and call on InterfacePrinter to print the interface file.


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.