[Jrman-commit] drafts/src/org/jrman/parameters Declaration.java, 1.9, 1.10

[Gerardo H. <ma...@us...>]

Update of /cvsroot/jrman/drafts/src/org/jrman/parameters
In directory sc8-pr-cvs6.sourceforge.net:/tmp/cvs-serv1255/src/org/jrman/parameters

Modified Files:
	Declaration.java 
Log Message:
Compiles for Java 1.5 with -Xlint without any warning.


Index: Declaration.java
===================================================================
RCS file: /cvsroot/jrman/drafts/src/org/jrman/parameters/Declaration.java,v
retrieving revision 1.9
retrieving revision 1.10
diff -C2 -d -r1.9 -r1.10
*** Declaration.java	24 Dec 2006 05:25:56 -0000	1.9
--- Declaration.java	1 Mar 2007 00:50:28 -0000	1.10
***************
*** 48,52 ****
          public static final StorageClass VERTEX = new StorageClass("vertex");
  
!         private final static Map map = new HashMap();
  
          static {
--- 48,53 ----
          public static final StorageClass VERTEX = new StorageClass("vertex");
  
!         private final static Map<String, StorageClass> map =
!             new HashMap<String, StorageClass>();
  
          static {
***************
*** 64,68 ****
  
          public static StorageClass getNamed(String name) {
!             StorageClass result = (StorageClass) map.get(name);
              if (result == null)
                  throw new IllegalArgumentException("No such storage class: " +
--- 65,69 ----
  
          public static StorageClass getNamed(String name) {
!             StorageClass result = map.get(name);
              if (result == null)
                  throw new IllegalArgumentException("No such storage class: " +
***************
*** 101,105 ****
          public static final Type HPOINT = new Type("hpoint");
  
!         private final static Map map = new HashMap();
  
          static {
--- 102,107 ----
          public static final Type HPOINT = new Type("hpoint");
  
!         private final static Map<String, Type> map =
!             new HashMap<String, Type>();
  
          static {
***************
*** 122,126 ****
  
          public static Type getNamed(String name) {
!             Type result = (Type) map.get(name);
              if (result == null)
                  throw new IllegalArgumentException("No such data type: " +
--- 124,128 ----
  
          public static Type getNamed(String name) {
!             Type result = map.get(name);
              if (result == null)
                  throw new IllegalArgumentException("No such data type: " +