org.jmlspecs.samples.digraph
Class ArcType

java.lang.Object
  org.jmlspecs.samples.digraph.ArcType

All Implemented Interfaces:

Cloneable, JMLType, Serializable

public class ArcType

extends Object

implements JMLType

Field Summary
private  NodeType	_from
private  NodeType	_to

 

Constructor Summary

ArcType(NodeType from, NodeType to)

 

Method Summary
protected  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.
NodeType	getFrom()
NodeType	getTo()
int	hashCode()           Return a hash code for this object.
String	toString()

 

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

 

Field Detail

_from

private NodeType _from

_to

private NodeType _to

ArcType

public ArcType(NodeType from,
               NodeType to)

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 JMLType

Overrides:

equals in class Object

hashCode

public int hashCode()

Description copied from interface: JMLType

Return a hash code for this object.

Specified by:

hashCode in interface JMLType

Overrides:

hashCode in class Object

getFrom

public NodeType getFrom()

getTo

public NodeType getTo()

clone

public Object clone()

Description copied from interface: JMLType

Return a clone of this object.

Specified by:

clone in interface JMLType

Overrides:

clone in class Object

className

protected String className()

toString

public String toString()

Overrides:

toString in class Object