JML

org.jmlspecs.samples.digraph
Class TransposableNode

java.lang.Object
  extended byorg.jmlspecs.samples.digraph.ValueNode
      extended byorg.jmlspecs.samples.digraph.TransposableNode
All Implemented Interfaces:
Cloneable, JMLType, NodeType, Serializable

public class TransposableNode
extends ValueNode

Nodes for transposable directed graphs.

Author:
Katie Becker, Gary T. Leavens

Field Summary
 
Fields inherited from class org.jmlspecs.samples.digraph.ValueNode
value
 
Constructor Summary
TransposableNode(Object v)
           
 
Method Summary
protected  String className()
           
 boolean equals(Object o)
          Test whether this object's value is equal to the given argument.
 
Methods inherited from class org.jmlspecs.samples.digraph.ValueNode
clone, getValue, hashCode, setValue, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TransposableNode

public TransposableNode(Object v)
Method Detail

equals

public boolean equals(Object o)
Description copied from interface: JMLType
Test whether this object's value is equal to the given argument.

Specified by:
equals in interface NodeType
Overrides:
equals in class ValueNode

className

protected String className()

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.