changeset 12437:c991f8291f1b

add missing @Override to Iterator.remove overrides
author twisti
date Tue, 15 Oct 2013 22:38:35 -0700
parents 39308acea2f7
children 27a67adaf4f7
files graal/com.oracle.graal.graph/src/com/oracle/graal/graph/Node.java graal/com.oracle.graal.loop/src/com/oracle/graal/loop/LoopFragment.java
diffstat 2 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/Node.java	Tue Oct 15 18:04:13 2013 -0700
+++ b/graal/com.oracle.graal.graph/src/com/oracle/graal/graph/Node.java	Tue Oct 15 22:38:35 2013 -0700
@@ -220,6 +220,7 @@
             return result;
         }
 
+        @Override
         public void remove() {
             throw new UnsupportedOperationException();
         }
--- a/graal/com.oracle.graal.loop/src/com/oracle/graal/loop/LoopFragment.java	Tue Oct 15 18:04:13 2013 -0700
+++ b/graal/com.oracle.graal.loop/src/com/oracle/graal/loop/LoopFragment.java	Tue Oct 15 22:38:35 2013 -0700
@@ -231,6 +231,7 @@
                 final Iterator<Block> it = blocks.iterator();
                 return new Iterator<AbstractBeginNode>() {
 
+                    @Override
                     public void remove() {
                         throw new UnsupportedOperationException();
                     }