JML

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)

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.