KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > edu > rice > cs > drjava > config > OptionMapLoader


1 /*BEGIN_COPYRIGHT_BLOCK
2  *
3  * This file is part of DrJava. Download the current version of this project from http://www.drjava.org/
4  * or http://sourceforge.net/projects/drjava/
5  *
6  * DrJava Open Source License
7  *
8  * Copyright (C) 2001-2005 JavaPLT group at Rice University (javaplt@rice.edu). All rights reserved.
9  *
10  * Developed by: Java Programming Languages Team, Rice University, http://www.cs.rice.edu/~javaplt/
11  *
12  * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated
13  * documentation files (the "Software"), to deal with the Software without restriction, including without limitation
14  * the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and
15  * to permit persons to whom the Software is furnished to do so, subject to the following conditions:
16  *
17  * - Redistributions of source code must retain the above copyright notice, this list of conditions and the
18  * following disclaimers.
19  * - Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the
20  * following disclaimers in the documentation and/or other materials provided with the distribution.
21  * - Neither the names of DrJava, the JavaPLT, Rice University, nor the names of its contributors may be used to
22  * endorse or promote products derived from this Software without specific prior written permission.
23  * - Products derived from this software may not be called "DrJava" nor use the term "DrJava" as part of their
24  * names without prior written permission from the JavaPLT group. For permission, write to javaplt@rice.edu.
25  *
26  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO
27  * THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
28  * CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
29  * CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
30  * WITH THE SOFTWARE.
31  *
32  *END_COPYRIGHT_BLOCK*/
33
34 package edu.rice.cs.drjava.config;
35 import edu.rice.cs.util.UnexpectedException;
36
37 import java.util.Properties JavaDoc;
38 import java.util.Iterator JavaDoc;
39 import java.io.*;
40 import java.lang.reflect.*;
41 public class OptionMapLoader implements OptionConstants {
42
43   /** bag of default options (programmatically defined, instead of in an options file) */
44   private static DefaultOptionMap DEFAULTS = new DefaultOptionMap();
45   private static Properties JavaDoc DEFAULT_STRINGS = new Properties JavaDoc();
46
47   static {
48     // initialize DEFAULTS objects, based on OptionConstants using reflection.
49 Field[] fields = OptionConstants.class.getDeclaredFields();
50     for (int i = 0; i < fields.length; i++) {
51       Field field = fields[i];
52       int mods = field.getModifiers();
53       if (Modifier.isStatic(mods) && Modifier.isPublic(mods) && Modifier.isFinal(mods)) {
54         // field is public static and final.
55 Option<?> option;
56         try {
57           Object JavaDoc o = field.get(null); // we should be able to pass in null as the 'receiver', since it's static.
58 //System.out.println("field name: "+field.getName()+" o: "+o);
59 if (o == null || !(o instanceof Option)) {
60             continue; // Development options can be null in the stable version of the code
61 }
62
63           option = (Option<?>) o;
64         }
65         catch(IllegalAccessException JavaDoc e) {
66           // this cannot happen, since we don't get in here unless the field is public.
67 throw new UnexpectedException(e);
68         }
69
70         String JavaDoc sval = option.getDefaultString();
71         DEFAULT_STRINGS.setProperty(option.name,sval);
72         DEFAULTS.setString(option,sval);
73       }
74     }
75   }
76
77   /** Default OptionMapLoader. */
78   public static final OptionMapLoader DEFAULT = new OptionMapLoader(DEFAULT_STRINGS);
79
80   /** Creates an OptionMapLoader from a given input stream. Does not maintain a reference to this input stream.
81    * @param is the input stream to read.
82    */
83   public OptionMapLoader(InputStream is) throws IOException {
84     this(new Properties JavaDoc(DEFAULT_STRINGS));
85     try { prop.load(is); }
86     finally { is.close(); }
87   }
88
89   private final Properties JavaDoc prop;
90
91   private OptionMapLoader(Properties JavaDoc prop) {
92     this.prop = prop;
93   }
94
95   public void loadInto(OptionMap map) {
96     Iterator JavaDoc<OptionParser<?>> options = DEFAULTS.keys();
97     while(options.hasNext()) {
98       OptionParser<?> option = options.next();
99       String JavaDoc val = prop.getProperty(option.name);
100       map.setString(option,val);
101     }
102   }
103 }
104
Popular Tags