JML

org.multijava.relaxed.runtime
Class RMJOperation

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

public class RMJOperation
extends Object


Field Summary
private  String _opname
           
private  String _typesString
           
 
Constructor Summary
RMJOperation(String opname, String typesString)
           
 
Method Summary
 String bodyString()
           
 boolean equals(Object other)
           
 boolean equals(RMJOperation other)
           
 int hashCode()
           
 String opName()
           
 String toString()
           
 String typesString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

_opname

private String _opname

_typesString

private String _typesString
Constructor Detail

RMJOperation

public RMJOperation(String opname,
                    String typesString)
Method Detail

equals

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

equals

public boolean equals(RMJOperation other)

hashCode

public int hashCode()
Overrides:
hashCode in class Object

toString

public String toString()
Overrides:
toString in class Object

bodyString

public String bodyString()

opName

public String opName()

typesString

public String typesString()

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.