Ignore:
Timestamp:
2012-05-22T13:01:04+12:00 (12 years ago)
Author:
sjm84
Message:

Fixing Greenstone 3's use (or lack thereof) of generics, this was done automatically so we may want to change it over time. This change will also auto-format any files that have not already been formatted.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • main/trunk/greenstone3/src/java/org/greenstone/gsdl3/Library2.java

    r24993 r25635  
    4747    protected Document doc = null;
    4848
    49     protected HashMap saved_args = null;
     49    protected HashMap<String, String> saved_args = null;
    5050    protected GSParams params = null;
    5151    protected DefaultReceptionist recept = null;
     
    5555        this.converter = new XMLConverter();
    5656        this.doc = converter.newDOM();
    57         this.saved_args = new HashMap();
     57        this.saved_args = new HashMap<String, String>();
    5858        this.params = new GSParams();
    5959        this.recept = new DefaultReceptionist();
     
    6363    {
    6464
    65         HashMap config_params = new HashMap();
     65        HashMap<String, Comparable> config_params = new HashMap<String, Comparable>();
    6666        //config_params.put(GSConstants.GSDL3_HOME, gsdl_home);
    6767        config_params.put(GSConstants.SITE_NAME, site_name);
     
    140140        String action = "p";
    141141        String subaction = "home";
    142         String lang = (String) saved_args.get(GSParams.LANGUAGE);
     142        String lang = saved_args.get(GSParams.LANGUAGE);
    143143        if (lang == null)
    144144        {
     
    193193
    194194        // put in all the params from the session cache
    195         Set params = saved_args.keySet();
    196         Iterator i = params.iterator();
     195        Set<String> params = saved_args.keySet();
     196        Iterator<String> i = params.iterator();
    197197        while (i.hasNext())
    198198        {
    199             String name = (String) i.next();
     199            String name = i.next();
    200200            if (name.equals(GSParams.LANGUAGE))
    201201                continue;
    202202            Element param = this.doc.createElement(GSXML.PARAM_ELEM);
    203203            param.setAttribute(GSXML.NAME_ATT, name);
    204             param.setAttribute(GSXML.VALUE_ATT, GSXML.xmlSafe((String) saved_args.get(name)));
     204            param.setAttribute(GSXML.VALUE_ATT, GSXML.xmlSafe(saved_args.get(name)));
    205205            xml_param_list.appendChild(param);
    206206        }
Note: See TracChangeset for help on using the changeset viewer.