[PATCH 3 of 3] Adds @Override annotation to appropriate generated methods if 1.5 level is selected

[wleggette]

# HG changeset patch
# User wleggette
# Date 1241673797 18000
# Node ID b5a21d5074b4963ecc82dc2f79f170f22a85d821
# Parent  a1a0fd69fc89eb1a13b01ac96364ce5caba51b35
Adds @Override annotation to appropriate generated methods if 1.5 level is 
selected.

diff -r a1a0fd69fc89 -r b5a21d5074b4 
src/typeimpl/org/apache/xmlbeans/impl/schema/SchemaTypeCodePrinter.java
--- a/src/typeimpl/org/apache/xmlbeans/impl/schema/SchemaTypeCodePrinter.java   
Thu May 07 00:16:51 2009 -0500
+++ b/src/typeimpl/org/apache/xmlbeans/impl/schema/SchemaTypeCodePrinter.java   
Thu May 07 00:23:17 2009 -0500
@@ -2012,11 +2012,15 @@
         startBlock();
 
         // Object get(i)
+        if (_useJava15)
+            emit("@Override");
         emit("public " + wrappedType + " get(int i)");
         emit("    { return " + parentThis + xgetMethod + arrayName + "(i); }");
         emit("");
 
         // Object set(i, o)
+        if (_useJava15)
+            emit("@Override");
         emit("public " + wrappedType + " set(int i, " + wrappedType + " o)");
         startBlock();
         emit(wrappedType + " old = " + parentThis + xgetMethod + arrayName + 
"(i);");
@@ -2026,6 +2030,8 @@
         emit("");
 
         // void add(i, o)
+        if (_useJava15)
+            emit("@Override");
         emit("public void add(int i, " + wrappedType +" o)");
         if (xmltype || xget)
             emit("    { " + parentThis + "insertNew" + propertyName + 
"(i).set(o); }");
@@ -2034,6 +2040,8 @@
         emit("");
 
         // Object remove(i)
+        if (_useJava15)
+            emit("@Override");
         emit("public " + wrappedType +" remove(int i)");
         startBlock();
         emit(wrappedType + " old = " + parentThis + xgetMethod + arrayName + 
"(i);");
@@ -2043,6 +2051,8 @@
         emit("");
 
         // int size()
+        if (_useJava15)
+            emit("@Override");
         emit("public int size()");
         emit("    { return " + parentThis + "sizeOf" + arrayName + "(); }");
         emit("");

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@xmlbeans.apache.org
For additional commands, e-mail: dev-h...@xmlbeans.apache.org