svn commit: r1165061 - /commons/proper/chain/branches/version-2.0-work/src/main/java/org/apache/commons/chain/web/servlet/ServletParamMap.java

[simonetripodi]

Author: simonetripodi
Date: Sun Sep  4 16:03:49 2011
New Revision: 1165061

URL: http://svn.apache.org/viewvc?rev=1165061&view=rev
Log:
muted HttpServletReuqets.getInitParameterNames() warnings, it is known that 
Servlet request parameter names are String
        

Modified:
    
commons/proper/chain/branches/version-2.0-work/src/main/java/org/apache/commons/chain/web/servlet/ServletParamMap.java

Modified: 
commons/proper/chain/branches/version-2.0-work/src/main/java/org/apache/commons/chain/web/servlet/ServletParamMap.java
URL: 
http://svn.apache.org/viewvc/commons/proper/chain/branches/version-2.0-work/src/main/java/org/apache/commons/chain/web/servlet/ServletParamMap.java?rev=1165061&r1=1165060&r2=1165061&view=diff
==============================================================================
--- 
commons/proper/chain/branches/version-2.0-work/src/main/java/org/apache/commons/chain/web/servlet/ServletParamMap.java
 (original)
+++ 
commons/proper/chain/branches/version-2.0-work/src/main/java/org/apache/commons/chain/web/servlet/ServletParamMap.java
 Sun Sep  4 16:03:49 2011
@@ -64,6 +64,7 @@ final class ServletParamMap implements M
 
     public Set<Entry<String, String>> entrySet() {
         Set<Entry<String, String>> set = new HashSet<Entry<String, String>>();
+        @SuppressWarnings( "unchecked" ) // it is known that Servlet request 
parameter names are String
         Enumeration<String> keys = request.getParameterNames();
         String key;
         while (keys.hasMoreElements()) {
@@ -96,6 +97,7 @@ final class ServletParamMap implements M
 
     public Set<String> keySet() {
         Set<String> set = new HashSet<String>();
+        @SuppressWarnings( "unchecked" ) // it is known that Servlet request 
parameter names are String
         Enumeration<String> keys = request.getParameterNames();
         while (keys.hasMoreElements()) {
             set.add(keys.nextElement());
@@ -121,6 +123,7 @@ final class ServletParamMap implements M
 
     public int size() {
         int n = 0;
+        @SuppressWarnings( "unchecked" ) // it is known that Servlet request 
parameter names are String
         Enumeration<String> keys = request.getParameterNames();
         while (keys.hasMoreElements()) {
             keys.nextElement();
@@ -132,6 +135,7 @@ final class ServletParamMap implements M
 
     public Collection<String> values() {
         List<String> list = new ArrayList<String>();
+        @SuppressWarnings( "unchecked" ) // it is known that Servlet request 
parameter names are String
         Enumeration<String> keys = request.getParameterNames();
         while (keys.hasMoreElements()) {
             list.add(request.getParameter(keys.nextElement()));