JML

org.jmlspecs.racwrap
Class InterfacePrinter

java.lang.Object
  extended byorg.jmlspecs.racwrap.InterfacePrinter

public class InterfacePrinter
extends Object

The InterfacePrinter is an object that is used to output the interface definition of a class to a file, given an abstract syntax tree. This class extends JmlAbstractVisitor, so we only need to implement the parts that we need.


Field Summary
 PrintStream out
           
 
Constructor Summary
InterfacePrinter()
          Parameterless constructor.
InterfacePrinter(PrintStream out)
          Constructor.
 
Method Summary
 void print(JmlCompilationUnit compileUnit)
          Prints the equivalent interface of a class.
private  void print_class(JmlTypeDeclaration clazz)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

out

public PrintStream out
Constructor Detail

InterfacePrinter

public InterfacePrinter(PrintStream out)
Constructor. Initialize a new Interface printer.

Parameters:
out - the File object to output the result to.

InterfacePrinter

public InterfacePrinter()
Parameterless constructor. Defaults to having out as System.out

Method Detail

print

public void print(JmlCompilationUnit compileUnit)
Prints the equivalent interface of a class. This is limited to: files with only one toplevel class


print_class

private void print_class(JmlTypeDeclaration clazz)

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.