JML

org.multijava.util.testing
Class Main.SuiteWriter

java.lang.Object
  extended byorg.multijava.util.compiler.TabbedPrintWriter
      extended byorg.multijava.util.testing.Main.SuiteWriter
Enclosing class:
Main

class Main.SuiteWriter
extends TabbedPrintWriter


Field Summary
 
Fields inherited from class org.multijava.util.compiler.TabbedPrintWriter
column, line, pos
 
Constructor Summary
(package private) Main.SuiteWriter(Writer wr)
           
 
Method Summary
(package private)  void println(String s)
           
 
Methods inherited from class org.multijava.util.compiler.TabbedPrintWriter
add, close, getColumn, getLine, getPos, print, println, setPos, sub
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Main.SuiteWriter

Main.SuiteWriter(Writer wr)
Method Detail

println

void println(String s)

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.