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;
38:
39: import edu.rice.cs.drjava.config.FileConfiguration;
40: import edu.rice.cs.drjava.config.OptionConstants;
41: import edu.rice.cs.plt.io.IOUtil;
42:
43: import java.awt.*;
44: import java.io.File;
45: import java.io.IOException;
46:
47: /**
48: * Tests that a custom config file can be specified.
49: * @version $Id: ConfigFileTest.java 4255 2007-08-28 19:17:37Z mgricken $
50: */
51: public final class ConfigFileTest extends DrJavaTestCase {
52: private static final String CUSTOM_PROPS = "indent.level = 5\n"
53: + "history.max.size = 1\n"
54: + "definitions.keyword.color = #0000ff\n";
55:
56: /** Constructor. */
57: public ConfigFileTest(String name) {
58: super (name);
59: }
60:
61: /** Creates a custom properties file, tells DrJava to use it, and checks that it is being used. */
62: public void testCustomConfigFile() throws IOException {
63: File propsFile = IOUtil.createAndMarkTempFile("DrJavaProps",
64: ".txt");
65: IOUtil.writeStringToFile(propsFile, CUSTOM_PROPS);
66: DrJava.setPropertiesFile(propsFile.getAbsolutePath());
67: DrJava._initConfig();
68: FileConfiguration config = DrJava.getConfig();
69:
70: assertEquals("custom indent level", 5, config.getSetting(
71: OptionConstants.INDENT_LEVEL).intValue());
72: assertEquals("custom history size", 1, config.getSetting(
73: OptionConstants.HISTORY_MAX_SIZE).intValue());
74: //Tests if a user can put a default value in the .drjava file
75: assertEquals("definitions.keyword.color", Color.blue, config
76: .getSetting(OptionConstants.DEFINITIONS_KEYWORD_COLOR));
77: assertEquals("default javac location",
78: OptionConstants.JAVAC_LOCATION.getDefault(), config
79: .getSetting(OptionConstants.JAVAC_LOCATION));
80: }
81: }
|