KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > edu > rice > cs > drjava > ConfigFileTest


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