org.jmlspecs.racwrap
Class InterfacePrinter

java.lang.Object
  org.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

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

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)