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.jmlrac
Class TransExpression.DiagTerm

java.lang.Object
  extended byorg.jmlspecs.jmlrac.TransExpression.DiagTerm
Enclosing class:
TransExpression
public static class TransExpression.DiagTerm
extends Object

A class representing a term to be presented when an assertion is violated.

Field Summary
private  String term
           
private  Object value
           
 
Constructor Summary
TransExpression.DiagTerm(String term, Object value)
           
 
Method Summary
 boolean equals(Object obj)
          Does the argument equal to this object?
 int hashCode()
           
 String term()
           
 Object value()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

term

private String term

value

private Object value
Constructor Detail

TransExpression.DiagTerm

public TransExpression.DiagTerm(String term,
                                Object value)
Method Detail

term

public String term()

value

public Object value()

equals

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

Overrides:
equals in class Object

hashCode

public int hashCode()
Overrides:
hashCode in class Object
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.