org.jmlspecs.samples.digraph
Class ValueNode
java.lang.Object
org.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
value
protected Object value
ValueNode
public ValueNode()
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 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.