org.jmlspecs.samples.digraph
Class TransposableNode

java.lang.Object
  org.jmlspecs.samples.digraph.ValueNode
      org.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)

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()