changeset 10663:204d8d4f91a4

Minor Java fix.
author Christian Haeubl <haeubl@ssw.jku.at>
date Tue, 09 Jul 2013 11:18:52 +0200
parents 678cdd287d60
children a9b76e1e5ab3
files graal/com.oracle.graal.api.code/src/com/oracle/graal/api/code/Assumptions.java
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.api.code/src/com/oracle/graal/api/code/Assumptions.java	Mon Jul 08 17:32:05 2013 +0200
+++ b/graal/com.oracle.graal.api.code/src/com/oracle/graal/api/code/Assumptions.java	Tue Jul 09 11:18:52 2013 +0200
@@ -281,10 +281,12 @@
 
             int index;
 
+            @Override
             public void remove() {
                 throw new UnsupportedOperationException();
             }
 
+            @Override
             public Assumption next() {
                 if (index >= count) {
                     throw new NoSuchElementException();
@@ -292,6 +294,7 @@
                 return list[index++];
             }
 
+            @Override
             public boolean hasNext() {
                 return index < count;
             }