org.jsweet.transpiler.util

Class DirectedGraph.Edge<T>

java.lang.Object

org.jsweet.transpiler.util.DirectedGraph.Edge<T>

Type Parameters:

T - the type of the objects being stored in the graph

Enclosing class:

DirectedGraph<T>

public static class DirectedGraph.Edge<T>
extends Object

A generic object representing an edge in the graph.

Author:

Renaud Pawlak

Field Summary

Fields

Modifier and Type	Field and Description
DirectedGraph.Node<T>	from The node this edge starts from
DirectedGraph.Node<T>	to The node this edge goes to

Constructor Summary

Constructors

Constructor and Description
Edge(DirectedGraph.Node<T> from, DirectedGraph.Node<T> to) Creates a new edge.

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

from

public final DirectedGraph.Node<T> from

The node this edge starts from

to

public final DirectedGraph.Node<T> to

The node this edge goes to

Constructor Detail

Edge

public Edge(DirectedGraph.Node<T> from,
            DirectedGraph.Node<T> to)

Creates a new edge.

Parameters:

from - the start node

to - the end node

Method Detail

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object