errorlistdialog.java

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

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

ErrorListDialog.java

File error dialog box 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/>.

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


// IMPORTS


import gui.NonEditableTextAreaDialog;

import java.awt.Window;

import java.util.List;

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


// ERROR LIST DIALOG BOX CLASS


class ErrorListDialog
    extends NonEditableTextAreaDialog
{

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

    private static final    int MAX_NUM_ERRORS  = FunctionDocument.MAX_NUM_FUNCTIONS;

    private static final    int NUM_COLUMNS = 64;
    private static final    int NUM_ROWS    = MAX_NUM_ERRORS + 1;

    private static final    String  FIRST_ERRORS_STR    = " : First " + MAX_NUM_ERRORS + " errors";

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

    private ErrorListDialog( Window owner,
                             String titleStr,
                             String text )
    {
        super( owner, titleStr, NUM_COLUMNS, NUM_ROWS, text );
    }

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

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

    public static ErrorListDialog showDialog( Window       owner,
                                              String       titleStr,
                                              String       pathname,
                                              List<String> errorStrs )
    {
        if ( errorStrs.size( ) > MAX_NUM_ERRORS )
            titleStr += FIRST_ERRORS_STR;

        int numErrors = Math.min( errorStrs.size( ), MAX_NUM_ERRORS );
        StringBuilder buffer = new StringBuilder( numErrors * 64 );
        buffer.append( pathname );
        for ( int i = 0; i < numErrors; ++i )
        {
            buffer.append( '\n' );
            buffer.append( errorStrs.get( i ) );
        }

        return new ErrorListDialog( owner, titleStr, buffer.toString( ) );
    }

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

////////////////////////////////////////////////////////////////////////
//  Instance methods : overriding methods
////////////////////////////////////////////////////////////////////////

    protected void applyOrientation( )
    {
        App.applyOrientationByLocale( this );
    }

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

}

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