Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.jmlspec
Class JspBinaryPrinter

java.lang.Object
  extended byorg.jmlspecs.jmlspec.JspBinaryPrinter
public class JspBinaryPrinter
extends Object

Field Summary
protected  CClass cclass
           
protected  long nprivacy
           
protected  long privacy
           
 
Constructor Summary
JspBinaryPrinter(CClass cclass, long privacy)
           
 
Method Summary
 boolean ok(long mods)
           
 void print(String dir, String suffix)
           
 void print(CClass cclass, PrintWriter io, String otab)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

cclass

protected CClass cclass

privacy

protected long privacy

nprivacy

protected long nprivacy
Constructor Detail

JspBinaryPrinter

public JspBinaryPrinter(CClass cclass,
                        long privacy)
Method Detail

ok

public boolean ok(long mods)

print

public void print(String dir,
                  String suffix)

print

public void print(CClass cclass,
                  PrintWriter io,
                  String otab)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
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.