Mercurial > hg > graal-compiler

comparison visualizer/Settings/src/com/sun/hotspot/igv/settings/Settings.java @ 4512:015fb895586b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Moved visualizer to new directory.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Tue, 07 Feb 2012 22:41:09 +0100
parents
children
comparison
equal deleted inserted replaced
4511:6cb549627941 4512:015fb895586b
1 /*
2 * Copyright (c) 1998, 2007, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation. Oracle designates this
8 * particular file as subject to the "Classpath" exception as provided
9 * by Oracle in the LICENSE file that accompanied this code.
10 *
11 * This code is distributed in the hope that it will be useful, but WITHOUT
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 * version 2 for more details (a copy is included in the LICENSE file that
15 * accompanied this code).
16 *
17 * You should have received a copy of the GNU General Public License version
18 * 2 along with this work; if not, write to the Free Software Foundation,
19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
20 *
21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
22 * or visit www.oracle.com if you need additional information or have any
23 * questions.
24 */
25 package com.sun.hotspot.igv.settings;
26
27 import java.util.prefs.Preferences;
28
29 /**
30 *
31 * @author Thomas Wuerthinger
32 */
33 public class Settings {
34
35 public final static String NODE_TEXT = "nodeText";
36 public final static String NODE_TEXT_DEFAULT = "[idx] [name]";
37 public final static String NODE_WIDTH = "nodeWidth";
38 public final static String NODE_WIDTH_DEFAULT = "100";
39 public final static String PORT = "port";
40 public final static String PORT_DEFAULT = "4444";
41 public final static String DIRECTORY = "directory";
42 public final static String DIRECTORY_DEFAULT = System.getProperty("user.dir");
43
44 public static Preferences get() {
45 return Preferences.userNodeForPackage(Settings.class);
46 }
47 }