propertiespathname.java

来自「FuncPlotter is a combined Java applicati」· Java 代码 · 共 115 行

/*====================================================================*\

PropertiesPathname.java

Properties pathname class.

------------------------------------------------------------------------

This file is part of FuncPlotter, a combined Java application and applet
for plotting explicit functions in one variable.
Copyright 2005-2007 Andy Morgan-Richards.

FuncPlotter is free software: you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
Free Software Foundation, either version 3 of the License, or (at your
option) any later version.

This program is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License along
with this program.  If not, see <http://www.gnu.org/licenses/>.

\*====================================================================*/


// PACKAGE


package util;

//----------------------------------------------------------------------


// IMPORTS


import java.io.File;

import javax.swing.JApplet;

//----------------------------------------------------------------------


// PROPERTIES PATHNAME CLASS


public class PropertiesPathname
{

////////////////////////////////////////////////////////////////////////
//  Constants
////////////////////////////////////////////////////////////////////////

    private static final    String  APP_PREFIX  = "app.";

    private static final    String  PROPERTIES_PATH_PROPERTY_KEY    = "propertiesPath";

    private static final    String  DEFAULT_PROPERTIES_PATH = ".puckfist";

////////////////////////////////////////////////////////////////////////
//  Constructors
////////////////////////////////////////////////////////////////////////

    private PropertiesPathname( )
    {
    }

    //------------------------------------------------------------------

////////////////////////////////////////////////////////////////////////
//  Class methods
////////////////////////////////////////////////////////////////////////

    public static String getPathname( )
    {
        return getPathname( null );
    }

    //------------------------------------------------------------------

    public static String getPathname( JApplet applet )
    {
        String pathname = null;
        try
        {
            pathname = (applet == null) ? System.getProperty( APP_PREFIX + PROPERTIES_PATH_PROPERTY_KEY )
                                        : applet.getParameter( APP_PREFIX + PROPERTIES_PATH_PROPERTY_KEY );
            if ( pathname == null )
            {
                pathname = System.getProperty( "user.home" );
                if ( pathname != null )
                    pathname += File.separator + DEFAULT_PROPERTIES_PATH;
            }
            else
                pathname = PropertyString.parsePathname( pathname );

            if ( (pathname != null) && !pathname.endsWith( File.separator ) && !pathname.endsWith( "/" ) )
                pathname += File.separator;
        }
        catch ( SecurityException e )
        {
            // ignore
        }
        return pathname;
    }

    //------------------------------------------------------------------

}

//----------------------------------------------------------------------