Package de.saar.chorus.domgraph.graph

Class EdgeData

java.lang.Object

de.saar.chorus.domgraph.graph.EdgeData

public class EdgeData
extends Object

The data associated with an edge. At this point, this is simply the edge type (tree or dominance).

Author:

Alexander Koller

Constructor Summary

Constructors

Constructor	Description
EdgeData(EdgeType type)	The constructor.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
EdgeType	getType()	Returns the edge type.
int	hashCode()
String	toString()	Returns a string representation of this edge-data object.

Methods inherited from class java.lang.Object

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

Constructor Details

EdgeData

public EdgeData(EdgeType type)

The constructor.

Parameters:

type - the type of this edge

Method Details

getType

public EdgeType getType()

Returns the edge type.

Returns:

the type

toString

public String toString()

Returns a string representation of this edge-data object.

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object