JML

org.jmlspecs.samples.digraph
Class ValueNode

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

public abstract class ValueNode
extends Object
implements NodeType, Cloneable

Nodes with values

Author:
Gary T. Leavens, Katie Becker

Field Summary
protected  Object value
           
 
Constructor Summary
ValueNode()
           
 
Method Summary
protected abstract  String className()
           
 Object clone()
          Return a clone of this object.
 boolean equals(Object o)
          Test whether this object's value is equal to the given argument.
 Object getValue()
           
 int hashCode()
          Return a hash code for this object.
 void setValue(Object value)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

value

protected Object value
Constructor Detail

ValueNode

public ValueNode()
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 Object

clone

public Object clone()
Description copied from interface: JMLType
Return a clone of this object.

Specified by:
clone in interface NodeType
Overrides:
clone in class Object

setValue

public void setValue(Object value)

getValue

public Object getValue()

hashCode

public int hashCode()
Description copied from interface: JMLType
Return a hash code for this object.

Specified by:
hashCode in interface NodeType
Overrides:
hashCode in class Object

className

protected abstract String className()

toString

public String toString()
Overrides:
toString 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.