appconfig.java

FuncPlotter is a combined Java application and applet for displaying two-dimensional plots of explic

        value = ColourUtilities.colourToRgbString( plotScaleColour );
        configFile.setValue( name, value );

        // Function directory

        name = ElementName.FUNCTION + "." + ElementName.DIRECTORY;
        value = functionPathname;
        configFile.setValue( name, value );

        // Function list size

        name = ElementName.FUNCTION + "." + ElementName.LIST_SIZE;
        value = Integer.toString( functionListSize.width ) + ", " +
                                                                Integer.toString( functionListSize.height );
        configFile.setValue( name, value );

        // Function colours

        name = ElementName.FUNCTION + "." + ElementName.COLOUR;
        for ( int i = 0; i < functionColours.length; ++i )
        {
            value = ColourUtilities.colourToRgbString( functionColours[i] );
            configFile.setValue( name, i, value );
        }

        // Fonts

        for ( AppFont appFont : AppFont.values( ) )
        {
            name = ElementName.FONT + "." + appFont.getKey( );
            value = appFont.getFontEx( ).toString( );
            configFile.setValue( name, value );
        }

    }

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

    private void setLookAndFeel( Parameter param )
    {
        lookAndFeel = param.getValue( );
    }

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

    private void setOrientationByLocale( Parameter param )
    {
        Boolean value = parseParamBoolean( param );
        if ( value != null )
            orientationByLocale = value.booleanValue( );
    }

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

    private void setDefaultFileType( Parameter param )
    {
        try
        {
            FileType value = FileType.get( param.getValue( ) );
            if ( value == null )
                throw new Parameter.IllegalValueException( param );
            defaultFileType = value;
        }
        catch ( AppException e )
        {
            showWarningMessage( e );
        }
    }

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

    private void setNewDocumentOnStartup( Parameter param )
    {
        Boolean value = parseParamBoolean( param );
        if ( value != null )
            newDocumentOnStartup = value.booleanValue( );
    }

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

    private void setSaveFunctionColours( Parameter param )
    {
        try
        {
            NoYesAsk value = NoYesAsk.get( param.getValue( ) );
            if ( value == null )
                throw new Parameter.IllegalValueException( param );
            saveFunctionColours = value;
        }
        catch ( AppException e )
        {
            showWarningMessage( e );
        }
    }

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

    private void setShowUnixPathnames( Parameter param )
    {
        Boolean value = parseParamBoolean( param );
        if ( value != null )
            showUnixPathnames = value.booleanValue( );
    }

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

    private void setShowFullPathnames( Parameter param )
    {
        Boolean value = parseParamBoolean( param );
        if ( value != null )
            showFullPathnames = value.booleanValue( );
    }

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

    private void setMainWindowLocation( Parameter param )
    {
        int[] values = parseParamIntegers( param, 2, null );
        if ( values != null )
            mainWindowLocation = new Point( values[0], values[1] );
    }

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

    private void setBackgroundColour( Parameter param )
    {
        if ( param.getValue( ).length( ) > 0 )
        {
            Color colour = parseParamColour( param );
            if ( colour != null )
                backgroundColour = colour;
        }
    }

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

    private void setPlotSize( Parameter param )
    {
        final   IntegerRange[]  RANGES  =
        {
            new IntegerRange( PlotPanel.MIN_PLOT_WIDTH, PlotPanel.MAX_PLOT_WIDTH ),
            new IntegerRange( PlotPanel.MIN_PLOT_HEIGHT, PlotPanel.MAX_PLOT_HEIGHT )
        };

        int[] values = parseParamIntegers( param, 2, RANGES );
        if ( values != null )
            plotSize = new Dimension( values[0], values[1] );
    }

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

    private void setPlotShowGrid( Parameter param )
    {
        Boolean value = parseParamBoolean( param );
        if ( value != null )
            plotShowGrid = value.booleanValue( );
    }

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

    private void setPlotNumFractionDigits( Parameter param )
    {
        final   IntegerRange    RANGE   = new IntegerRange( MIN_NUM_FRACTION_DIGITS,
                                                            MAX_NUM_FRACTION_DIGITS );

        Integer value = parseParamInteger( param, RANGE );
        if ( value != null )
            plotNumFractionDigits = value.intValue( );
    }

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

    private void setPlotFixedPointExponentRange( Parameter param )
    {
        final   IntegerRange[]  RANGES  =
        {
            new IntegerRange( MIN_FIXED_POINT_EXPONENT_LIMIT, MAX_FIXED_POINT_EXPONENT_LIMIT ),
            new IntegerRange( MIN_FIXED_POINT_EXPONENT_LIMIT, MAX_FIXED_POINT_EXPONENT_LIMIT )
        };

        int[] values = parseParamIntegers( param, 2, RANGES, Parameter.Order.GREATER_THAN_OR_EQUAL_TO );
        if ( values != null )
            plotFixedPointExponentRange = new IntegerRange( values[0], values[1] );
    }

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

    private void setPlotNormaliseScientificNotation( Parameter param )
    {
        Boolean value = parseParamBoolean( param );
        if ( value != null )
            plotNormaliseScientificNotation = value.booleanValue( );
    }

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

    private void setPlotFocusedBorderColour( Parameter param )
    {
        Color colour = parseParamColour( param );
        if ( colour != null )
            plotFocusedBorderColour = colour;
    }

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

    private void setPlotImageMarginColour( Parameter param )
    {
        Color colour = parseParamColour( param );
        if ( colour != null )
            plotImageMarginColour = colour;
    }

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

    private void setPlotBackgroundColour( Parameter param )
    {
        Color colour = parseParamColour( param );
        if ( colour != null )
            plotBackgroundColour = colour;
    }

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

    private void setPlotGridColour( Parameter param )
    {
        Color colour = parseParamColour( param );
        if ( colour != null )
            plotGridColour = colour;
    }

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

    private void setPlotAxisColour( Parameter param )
    {
        Color colour = parseParamColour( param );
        if ( colour != null )
            plotAxisColour = colour;
    }

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

    private void setPlotScaleColour( Parameter param )
    {
        Color colour = parseParamColour( param );
        if ( colour != null )
            plotScaleColour = colour;
    }

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

    private void setFunctionPathname( Parameter param )
    {
        functionPathname = param.getValue( );
    }

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

    private void setFunctionListSize( Parameter param )
    {
        final   IntegerRange[]  RANGES  =
        {
            new IntegerRange( FunctionView.MIN_FUNCTION_LIST_NUM_COLUMNS,
                              FunctionView.MAX_FUNCTION_LIST_NUM_COLUMNS ),
            new IntegerRange( FunctionView.MIN_FUNCTION_LIST_NUM_ROWS,
                              FunctionView.MAX_FUNCTION_LIST_NUM_ROWS )
        };

        int[] values = parseParamIntegers( param, 2, RANGES );
        if ( values != null )
            functionListSize = new Dimension( values[0], values[1] );
    }

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

    private void setFunctionColour( Parameter param )
    {
        Color colour = parseParamColour( param );
        if ( colour != null )
            functionColours[param.getIndex( )] = colour;
    }

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

    private void setFont( AppFont   appFont,
                          Parameter param )
    {
        try
        {
            String[] paramStrs = FontEx.splitString( param.getValue( ), FontEx.SEPARATOR_CHAR );
            if ( paramStrs.length != 3 )
                throw new Parameter.IllegalValueException( param );

            FontEx font = new FontEx( );
            for ( int i = 0; i < paramStrs.length; ++i )
            {
                String str = paramStrs[i].trim( );
                if ( str.length( ) > 0 )
                {
                    switch ( i )
                    {
                        case FontEx.Param.NAME:
                            font.setName( str );
                            break;

                        case FontEx.Param.STYLE:
                        {
                            FontEx.Style style = FontEx.Style.get( str );
                            if ( style == null )
                                throw new Parameter.IllegalValueException( param );
                            font.setStyle( style );
                            break;
                        }

                        case FontEx.Param.SIZE:
                        {
                            try
                            {
                                int size = Integer.parseInt( str );
                                if ( (size < FontEx.MIN_FONT_SIZE) || (size > FontEx.MAX_FONT_SIZE) )
                                    throw new Parameter.ValueOutOfBoundsException( param );
                                font.setSize( size );
                            }
                            catch ( NumberFormatException e )
                            {
                                throw new Parameter.IllegalValueException( param );
                            }
                            break;
                        }
                    }
                }
            }
            appFont.setFontEx( font );
        }
        catch ( AppException e )
        {
            showWarningMessage( e );
        }
    }

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

////////////////////////////////////////////////////////////////////////
//  Class variables
////////////////////////////////////////////////////////////////////////

    private static  AppConfig   instance;

////////////////////////////////////////////////////////////////////////
//  Instance variables
////////////////////////////////////////////////////////////////////////

    private File            file;
    private File            selectedFile;
    private JFileChooser    fileChooser;
    private boolean         changed;
    private boolean         permissionAccessClipboard;
    private String          lookAndFeel;
    private boolean         orientationByLocale;
    private FileType        defaultFileType;
    private boolean         newDocumentOnStartup;
    private NoYesAsk        saveFunctionColours;
    private boolean         showUnixPathnames;
    private boolean         showFullPathnames;
    private Point           mainWindowLocation;
    private Color           backgroundColour;
    private Dimension       plotSize;
    private boolean         plotShowGrid;
    private int             plotNumFractionDigits;
    private IntegerRange    plotFixedPointExponentRange;
    private boolean         plotNormaliseScientificNotation;
    private Color           plotFocusedBorderColour;
    private Color           plotImageMarginColour;
    private Color           plotBackgroundColour;
    private Color           plotGridColour;
    private Color           plotAxisColour;
    private Color           plotScaleColour;
    private String          functionPathname;
    private Dimension       functionListSize;
    private Color[]         functionColours;

}

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