JML

org.jmlspecs.jmlrac.runtime
Class JMLSurrogate.MapKey

java.lang.Object
  extended byorg.jmlspecs.jmlrac.runtime.JMLSurrogate.MapKey
Enclosing class:
JMLSurrogate

private static class JMLSurrogate.MapKey
extends Object

A class for implementing keys for the method cache.


Field Summary
(package private)  Class clazz
           
(package private)  String name
           
(package private)  Class[] types
           
 
Constructor Summary
private JMLSurrogate.MapKey(Class clazz, String name, Class[] types)
          Constructs a new key for a method named name with formal parameter types, types, declared in the class, clazz.
 
Method Summary
static JMLSurrogate.MapKey create(Class clazz, String name, Class[] types)
          Returns a new key for a method named name with formal parameter types, types, declared in the class, clazz.
 boolean equals(Object obj)
          Does the argument equal to this object?
 int hashCode()
          Returns the hash code for this key object.
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

clazz

Class clazz

name

String name

types

Class[] types
Constructor Detail

JMLSurrogate.MapKey

private JMLSurrogate.MapKey(Class clazz,
                            String name,
                            Class[] types)
Constructs a new key for a method named name with formal parameter types, types, declared in the class, clazz.

 requires clazz != null && name != null;
 

Method Detail

create

public static JMLSurrogate.MapKey create(Class clazz,
                                         String name,
                                         Class[] types)
Returns a new key for a method named name with formal parameter types, types, declared in the class, clazz.

 requires clazz != null && name != null;
 


hashCode

public int hashCode()
Returns the hash code for this key object.

Overrides:
hashCode in class Object

equals

public boolean equals(Object obj)
Does the argument equal to this object?

Overrides:
equals in class Object

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.