Merge pull request jgrapht#104 from altenbernd/missing-annotations-or…

…g.jgrapht.event Add missing Override and Deprecated annotations in org.jgrapht.event
fitash · Dec 11, 2014 · 1622321 · 1622321
2 parents 32a2502 + d075b2d
commit 1622321
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/jgrapht-core/src/main/java/org/jgrapht/event/GraphEdgeChangeEvent.java b/jgrapht-core/src/main/java/org/jgrapht/event/GraphEdgeChangeEvent.java
@@ -105,6 +105,7 @@ public class GraphEdgeChangeEvent<V, E>
      *
      * @deprecated Use new constructor which takes vertex parameters.
      */
+    @Deprecated
     public GraphEdgeChangeEvent(
         Object eventSource,
         int type,

diff --git a/jgrapht-core/src/main/java/org/jgrapht/event/TraversalListenerAdapter.java b/jgrapht-core/src/main/java/org/jgrapht/event/TraversalListenerAdapter.java
@@ -53,6 +53,7 @@ public class TraversalListenerAdapter<V, E>
     /**
      * @see TraversalListener#connectedComponentFinished(ConnectedComponentTraversalEvent)
      */
+    @Override
     public void connectedComponentFinished(
         ConnectedComponentTraversalEvent e)
     {
@@ -61,27 +62,31 @@ public void connectedComponentFinished(
     /**
      * @see TraversalListener#connectedComponentStarted(ConnectedComponentTraversalEvent)
      */
+    @Override
     public void connectedComponentStarted(ConnectedComponentTraversalEvent e)
     {
     }
 
     /**
      * @see TraversalListener#edgeTraversed(EdgeTraversalEvent)
      */
+    @Override
     public void edgeTraversed(EdgeTraversalEvent<V, E> e)
     {
     }
 
     /**
      * @see TraversalListener#vertexTraversed(VertexTraversalEvent)
      */
+    @Override
     public void vertexTraversed(VertexTraversalEvent<V> e)
     {
     }
 
     /**
      * @see TraversalListener#vertexFinished(VertexTraversalEvent)
      */
+    @Override
     public void vertexFinished(VertexTraversalEvent<V> e)
     {
     }