KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > polepos > teams > jdo > JdoSettings


1 /*
2 This file is part of the PolePosition database benchmark
3 http://www.polepos.org
4
5 This program is free software; you can redistribute it and/or
6 modify it under the terms of the GNU General Public License
7 as published by the Free Software Foundation; either version 2
8 of the License, or (at your option) any later version.
9
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
14
15 You should have received a copy of the GNU General Public
16 License along with this program; if not, write to the Free
17 Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
18 MA 02111-1307, USA. */
19
20 package org.polepos.teams.jdo;
21
22 import org.polepos.framework.*;
23
24 /**
25  * @author Herkules
26  */
27 public class JdoSettings extends Settings{
28     
29     private final static String JavaDoc KEY_ENHANCE = "enhance";
30     private final static String JavaDoc KEY_ENHANCER = "enhancer";
31     private final static String JavaDoc KEY_CONNECTURL = "javax.jdo.option.ConnectionURL";
32     private final static String JavaDoc FILENAME = "settings/Jdo.properties";
33     
34     public JdoSettings(){
35         super(FILENAME);
36     }
37     
38     public String JavaDoc[] getJdoImplementations(){
39         return getArray( KEY_JDO );
40     }
41     
42     public String JavaDoc getConnectUrl(){
43         return get( KEY_CONNECTURL );
44     }
45     
46     public boolean enhance(){
47         return getBoolean(KEY_ENHANCE);
48     }
49     
50     public String JavaDoc enhancer(){
51         return get(KEY_ENHANCER);
52     }
53
54
55 }
56
Popular Tags