01: /*BEGIN_COPYRIGHT_BLOCK
02: *
03: * Copyright (c) 2001-2007, JavaPLT group at Rice University (javaplt@rice.edu)
04: * All rights reserved.
05: *
06: * Redistribution and use in source and binary forms, with or without
07: * modification, are permitted provided that the following conditions are met:
08: * * Redistributions of source code must retain the above copyright
09: * notice, this list of conditions and the following disclaimer.
10: * * Redistributions in binary form must reproduce the above copyright
11: * notice, this list of conditions and the following disclaimer in the
12: * documentation and/or other materials provided with the distribution.
13: * * Neither the names of DrJava, the JavaPLT group, Rice University, nor the
14: * names of its contributors may be used to endorse or promote products
15: * derived from this software without specific prior written permission.
16: *
17: * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
18: * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
19: * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
20: * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
21: * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
22: * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
23: * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
24: * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
25: * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
26: * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
27: * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28: *
29: * This software is Open Source Initiative approved Open Source Software.
30: * Open Source Initative Approved is a trademark of the Open Source Initiative.
31: *
32: * This file is part of DrJava. Download the current version of this project
33: * from http://www.drjava.org/ or http://sourceforge.net/projects/drjava/
34: *
35: * END_COPYRIGHT_BLOCK*/
36:
37: package edu.rice.cs.drjava.config;
38:
39: import java.util.Vector;
40: import java.util.Iterator;
41:
42: public class DefaultOptionMap implements OptionMap {
43:
44: private final Vector<OptionParser<?>> keys = new Vector<OptionParser<?>>();
45:
46: public <T> T getOption(OptionParser<T> o) {
47: return o.getOption(this );
48: }
49:
50: public <T> T setOption(Option<T> o, T val) {
51: setOption(o);
52: return o.setOption(this , val);
53: }
54:
55: private <T> void setOption(OptionParser<T> o) {
56: if (keys.indexOf(o) == -1)
57: keys.add(o);
58: }
59:
60: public <T> String getString(OptionParser<T> o) {
61: return o.getString(this );
62: }
63:
64: public <T> void setString(OptionParser<T> o, String s) {
65: setOption(o);
66: o.setString(this , s);
67: }
68:
69: public <T> T removeOption(OptionParser<T> o) {
70: keys.remove(o);
71: return o.remove(this );
72: }
73:
74: public Iterator<OptionParser<?>> keys() {
75: return keys.iterator();
76: }
77:
78: public String toString() {
79: final StringBuilder result = new StringBuilder("\n{ ");
80:
81: for (OptionParser<?> key : keys) {
82: result.append(key.name).append(" = ")
83: .append(getString(key)).append('\n');
84: }
85:
86: result.append('}');
87: return result.toString();
88: }
89: }
|