JML

org.multijava.relaxed.runtime
Class RMJUnreachableSignature

java.lang.Object
  extended byorg.multijava.relaxed.runtime.RMJUnreachableSignature

public class RMJUnreachableSignature
extends Object


Field Summary
private  RMJAnnotation.Method _anno
           
private  int _unloadedCount
           
 
Constructor Summary
RMJUnreachableSignature(RMJAnnotation.Method anno, Set unloadedClasses)
           
 
Method Summary
 RMJAnnotation.Method annotation()
           
 String bodyString()
           
 boolean equals(Object other)
           
 int hashCode()
           
 boolean isReachable()
           
 void registerLoadedClass(String className)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

_anno

private RMJAnnotation.Method _anno

_unloadedCount

private int _unloadedCount
Constructor Detail

RMJUnreachableSignature

public RMJUnreachableSignature(RMJAnnotation.Method anno,
                               Set unloadedClasses)
Method Detail

registerLoadedClass

public void registerLoadedClass(String className)

isReachable

public boolean isReachable()

toString

public String toString()
Overrides:
toString in class Object

bodyString

public String bodyString()

equals

public boolean equals(Object other)
Overrides:
equals in class Object

hashCode

public int hashCode()
Overrides:
hashCode in class Object

annotation

public RMJAnnotation.Method annotation()

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.