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.jmldoc.jmldoc_142
Class JmldocClassWriter.JmlMemberFilter

java.lang.Object
  extended byorg.multijava.mjdoc.mjdoc_142.MjClassDoc.MjMemberFilter
      extended byorg.jmlspecs.jmldoc.jmldoc_142.JmldocClassWriter.JmlMemberFilter
All Implemented Interfaces:
org.multijava.mjdoc.mjdoc_142.MjClassDoc.MemberFilter
Enclosing class:
JmldocClassWriter
public static class JmldocClassWriter.JmlMemberFilter
extends org.multijava.mjdoc.mjdoc_142.MjClassDoc.MjMemberFilter

Field Summary
private  long useModFields
           
 
Constructor Summary
JmldocClassWriter.JmlMemberFilter()
           
 
Method Summary
 boolean use(CMember f)
           
 boolean use(JMemberDeclarationType f)
           
 void useModFields(long m)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

useModFields

private long useModFields
Constructor Detail

JmldocClassWriter.JmlMemberFilter

public JmldocClassWriter.JmlMemberFilter()
Method Detail

use

public boolean use(CMember f)
Specified by:
use in interface org.multijava.mjdoc.mjdoc_142.MjClassDoc.MemberFilter
Overrides:
use in class org.multijava.mjdoc.mjdoc_142.MjClassDoc.MjMemberFilter

use

public boolean use(JMemberDeclarationType f)
Specified by:
use in interface org.multijava.mjdoc.mjdoc_142.MjClassDoc.MemberFilter
Overrides:
use in class org.multijava.mjdoc.mjdoc_142.MjClassDoc.MjMemberFilter

useModFields

public void useModFields(long m)
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.