pl.edu.agh.age.compute.api.topology

Class AnnotatedEdge

java.lang.Object

org.jgrapht.graph.DefaultEdge

pl.edu.agh.age.compute.api.topology.AnnotatedEdge

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

public final class AnnotatedEdge
extends org.jgrapht.graph.DefaultEdge

An edge with a set of string annotations attached to it.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<java.lang.String>	annotations
private static long	serialVersionUID

Constructor Summary

Constructors

Constructor and Description
AnnotatedEdge() Creates an empty edge.
AnnotatedEdge(java.util.Set<java.lang.String> annotations)
AnnotatedEdge(java.lang.String... annotations) Creates an edge with provided annotations.

Method Summary

Modifier and Type	Method and Description
java.util.Set<java.lang.String>	annotations()
AnnotatedEdge	clone()
java.lang.String	toString()

Methods inherited from class org.jgrapht.graph.DefaultEdge

getSource, getTarget

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

annotations

private final java.util.Set<java.lang.String> annotations

Constructor Detail

AnnotatedEdge

public AnnotatedEdge()

Creates an empty edge.

AnnotatedEdge

public AnnotatedEdge(java.lang.String... annotations)

Creates an edge with provided annotations.

AnnotatedEdge

AnnotatedEdge(java.util.Set<java.lang.String> annotations)

Method Detail

annotations

public java.util.Set<java.lang.String> annotations()

toString

public java.lang.String toString()

Overrides:

toString in class org.jgrapht.graph.DefaultEdge

clone

public AnnotatedEdge clone()

Overrides:

clone in class org.jgrapht.graph.DefaultEdge