parameters.java

mpi并行计算的c++代码 可用vc或gcc编译通过 可以用来搭建并行计算试验环境

            ioerr.printStackTrace();
            System.exit( 1 );
        }
        System.out.println( "Finalize Parameters: \n"
                          + Parameters.toInOutString() );
    }

    public static final void readFromSetupFile( Component parent_window )
    {
        String   ppty_val;
        boolean  isFileFound;

        isFileFound = false;
        Properties pptys = new Properties();
        try {
            FileInputStream fins = new FileInputStream( setupfile_path );
            pptys.load( fins );
            fins.close();
            isFileFound = true;
        } catch ( FileNotFoundException ioerr ) {
            System.out.println( "Creating Jumpshot-4 setup file ..." );
            Dialogs.info( parent_window,
                     "It seems this is your first time using Jumpshot-4,\n"
                   + "a setup file will be created in your home directory\n"
                   + "with the default settings.", null );
            writeToSetupFile( parent_window );
        } catch ( IOException ioerr ) {
            ioerr.printStackTrace();
            System.exit( 1 );
        }

        ppty_val = pptys.getProperty( "VERSION_INFO" );
        if ( ! VERSION_INFO.equals( ppty_val ) && isFileFound )
            Dialogs.warn( parent_window,
                          "Version mismatch! This Jumpshot-4 is of version "
                        + VERSION_INFO +" not version " + ppty_val + " that "
                        + "is specified in your setup file.\n"
                        + "You may want to SAVE your preferences again in the "
                        + "Preference window to avoid this warning message." );

        // Options: Zoomable window reinitialization (requires window restart)
        ppty_val = pptys.getProperty( "Y_AXIS_ROOT_LABEL" );
        if ( ppty_val != null )
            Y_AXIS_ROOT_LABEL = ppty_val;
        ppty_val = pptys.getProperty( "INIT_SLOG2_LEVEL_READ" );
        if ( ppty_val != null )
            INIT_SLOG2_LEVEL_READ = Short.parseShort( ppty_val );
        ppty_val = pptys.getProperty( "AUTO_WINDOWS_LOCATION" );
        if ( ppty_val != null )
            AUTO_WINDOWS_LOCATION =    ppty_val.equalsIgnoreCase( "true" )
                                    || ppty_val.equalsIgnoreCase( "yes" );
        ppty_val = pptys.getProperty( "SCREEN_HEIGHT_RATIO" );
        if ( ppty_val != null )
            SCREEN_HEIGHT_RATIO = Float.parseFloat( ppty_val );
        ppty_val = pptys.getProperty( "TIME_SCROLL_UNIT_RATIO" );
        if ( ppty_val != null )
            TIME_SCROLL_UNIT_RATIO = Float.parseFloat( ppty_val );


        // Options: All zoomable windows
        ppty_val = pptys.getProperty( "Y_AXIS_ROOT_VISIBLE" );
        if ( ppty_val != null ) 
            Y_AXIS_ROOT_VISIBLE =    ppty_val.equalsIgnoreCase( "true" )
                                  || ppty_val.equalsIgnoreCase( "yes" );
        /*
        ppty_val = pptys.getProperty( "ACTIVE_REFRESH" );
        if ( ppty_val != null )
            ACTIVE_REFRESH =    ppty_val.equalsIgnoreCase( "true" )
                             || ppty_val.equalsIgnoreCase( "yes" );
        */
        ppty_val = pptys.getProperty( "ROW_RESIZE_MODE" );
        if ( ppty_val != null )
            ROW_RESIZE_MODE = ppty_val;
        ppty_val = pptys.getProperty( "BACKGROUND_COLOR" );
        if ( ppty_val != null )
            BACKGROUND_COLOR = Const.parseBackgroundColor( ppty_val );
        /*
        ppty_val = pptys.getProperty( "Y_AXIS_ROW_HEIGHT" );
        if ( ppty_val != null )
            Y_AXIS_ROW_HEIGHT = Integer.parseInt( ppty_val );
        */

        ppty_val = pptys.getProperty( "STATE_HEIGHT_FACTOR" );
        if ( ppty_val != null )
            STATE_HEIGHT_FACTOR = Float.parseFloat( ppty_val );
        ppty_val = pptys.getProperty( "NESTING_HEIGHT_FACTOR" );
        if ( ppty_val != null )
            NESTING_HEIGHT_FACTOR = Float.parseFloat( ppty_val );
        ppty_val = pptys.getProperty( "ARROW_ANTIALIASING" );
        if ( ppty_val != null )
            ARROW_ANTIALIASING = Const.parseAntiAliasing( ppty_val );
        ppty_val = pptys.getProperty( "MIN_WIDTH_TO_DRAG" );
        if ( ppty_val != null )
            MIN_WIDTH_TO_DRAG = Integer.parseInt( ppty_val );
        ppty_val = pptys.getProperty( "CLICK_RADIUS_TO_LINE" );
        if ( ppty_val != null )
            CLICK_RADIUS_TO_LINE = Integer.parseInt( ppty_val );
        ppty_val = pptys.getProperty( "LEFTCLICK_INSTANT_ZOOM" );
        if ( ppty_val != null )
            LEFTCLICK_INSTANT_ZOOM =    ppty_val.equalsIgnoreCase( "true" )
                                     || ppty_val.equalsIgnoreCase( "yes" );

        // Options: Timeline zoomable window
        ppty_val = pptys.getProperty( "STATE_BORDER" );
        if ( ppty_val != null )
            STATE_BORDER = StateBorder.parseString( ppty_val );
        ppty_val = pptys.getProperty( "ARROW_HEAD_LENGTH" );
        if ( ppty_val != null )
            ARROW_HEAD_LENGTH = Integer.parseInt( ppty_val );
        ppty_val = pptys.getProperty( "ARROW_HEAD_WIDTH" );
        if ( ppty_val != null )
            ARROW_HEAD_WIDTH = Integer.parseInt( ppty_val );
        ppty_val = pptys.getProperty( "EVENT_BASE_WIDTH" );
        if ( ppty_val != null )
            EVENT_BASE_WIDTH = Integer.parseInt( ppty_val );

        ppty_val = pptys.getProperty( "PREVIEW_STATE_DISPLAY" );
        if ( ppty_val != null )
            PREVIEW_STATE_DISPLAY = ppty_val;
        ppty_val = pptys.getProperty( "PREVIEW_STATE_BORDER" );
        if ( ppty_val != null )
            PREVIEW_STATE_BORDER = StateBorder.parseString( ppty_val );
        ppty_val = pptys.getProperty( "PREVIEW_STATE_BORDER_W" );
        if ( ppty_val != null )
            PREVIEW_STATE_BORDER_W = Integer.parseInt( ppty_val );
        ppty_val = pptys.getProperty( "PREVIEW_STATE_BORDER_H" );
        if ( ppty_val != null )
            PREVIEW_STATE_BORDER_H = Integer.parseInt( ppty_val );
        ppty_val = pptys.getProperty( "PREVIEW_STATE_LEGEND_H" );
        if ( ppty_val != null )
            PREVIEW_STATE_LEGEND_H = Integer.parseInt( ppty_val );
        ppty_val = pptys.getProperty( "PREVIEW_ARROW_LOG_BASE" );
        if ( ppty_val != null )
            PREVIEW_ARROW_LOG_BASE = Integer.parseInt( ppty_val );

        ppty_val = pptys.getProperty( "SEARCH_ARROW_LENGTH" );
        if ( ppty_val != null )
            SEARCH_ARROW_LENGTH = Integer.parseInt( ppty_val );
        ppty_val = pptys.getProperty( "SEARCH_FRAME_THICKNESS" );
        if ( ppty_val != null )
            SEARCH_FRAME_THICKNESS = Integer.parseInt( ppty_val );
        ppty_val = pptys.getProperty( "SEARCHED_OBJECT_ON_TOP" );
        if ( ppty_val != null )
            SEARCHED_OBJECT_ON_TOP =    ppty_val.equalsIgnoreCase( "true" )
                                     || ppty_val.equalsIgnoreCase( "yes" );

        // Options: Histogram zoomable window
        ppty_val = pptys.getProperty( "HISTOGRAM_ZERO_ORIGIN" );
        if ( ppty_val != null )
            HISTOGRAM_ZERO_ORIGIN =    ppty_val.equalsIgnoreCase( "true" )
                                    || ppty_val.equalsIgnoreCase( "yes" );
        ppty_val = pptys.getProperty( "SUMMARY_STATE_BORDER" );
        if ( ppty_val != null )
            SUMMARY_STATE_BORDER = StateBorder.parseString( ppty_val );
        ppty_val = pptys.getProperty( "SUMMARY_ARROW_LOG_BASE" );
        if ( ppty_val != null )
            SUMMARY_ARROW_LOG_BASE = Integer.parseInt( ppty_val );

        // Options: Legend window
        ppty_val = pptys.getProperty( "LEGEND_PREVIEW_ORDER" );
        if ( ppty_val != null ) 
            LEGEND_PREVIEW_ORDER =    ppty_val.equalsIgnoreCase( "true" )
                                   || ppty_val.equalsIgnoreCase( "yes" );
        ppty_val = pptys.getProperty( "LEGEND_TOPOLOGY_ORDER" );
        if ( ppty_val != null ) 
            LEGEND_TOPOLOGY_ORDER =    ppty_val.equalsIgnoreCase( "true" )
                                    || ppty_val.equalsIgnoreCase( "yes" );

        System.out.println( "Initialize Parameters: \n"
                          + Parameters.toInOutString() );
    }

    public static String toInOutString()
    {
        StringBuffer rep;
        rep = new StringBuffer();
        rep.append( "Y_AXIS_ROOT_LABEL = "     + Y_AXIS_ROOT_LABEL     + "\n" );
        rep.append( "INIT_SLOG2_LEVEL_READ = " + INIT_SLOG2_LEVEL_READ + "\n" );
        rep.append( "AUTO_WINDOWS_LOCATION = " + AUTO_WINDOWS_LOCATION + "\n" );
        rep.append( "SCREEN_HEIGHT_RATIO = "   + SCREEN_HEIGHT_RATIO   + "\n" );
        rep.append( "TIME_SCROLL_UNIT_RATIO = "+ TIME_SCROLL_UNIT_RATIO+ "\n" );

        rep.append( "Y_AXIS_ROOT_VISIBLE = "   + Y_AXIS_ROOT_VISIBLE   + "\n" );
        rep.append( "ACTIVE_REFRESH = "        + ACTIVE_REFRESH        + "\n" );
        rep.append( "ROW_RESIZE_MODE = "       + ROW_RESIZE_MODE       + "\n" );
        rep.append( "BACKGROUND_COLOR = "      + BACKGROUND_COLOR      + "\n" );
    //  rep.append( "Y_AXIS_ROW_HEIGHT = "     + Y_AXIS_ROW_HEIGHT     + "\n" );

        rep.append( "STATE_HEIGHT_FACTOR = "   + STATE_HEIGHT_FACTOR   + "\n" );
        rep.append( "NESTING_HEIGHT_FACTOR = " + NESTING_HEIGHT_FACTOR + "\n" );
        rep.append( "ARROW_ANTIALIASING = "    + ARROW_ANTIALIASING    + "\n" );
        rep.append( "MIN_WIDTH_TO_DRAG = "     + MIN_WIDTH_TO_DRAG     + "\n" );
        rep.append( "CLICK_RADIUS_TO_LINE = "  + CLICK_RADIUS_TO_LINE  + "\n" );
        rep.append( "LEFTCLICK_INSTANT_ZOOM = "+ LEFTCLICK_INSTANT_ZOOM+ "\n" );

        rep.append( "STATE_BORDER = "          + STATE_BORDER          + "\n" );
        rep.append( "ARROW_HEAD_LENGTH = "     + ARROW_HEAD_LENGTH     + "\n" );
        rep.append( "ARROW_HEAD_WIDTH = "      + ARROW_HEAD_WIDTH      + "\n" );
        rep.append( "EVENT_BASE_WIDTH = "      + EVENT_BASE_WIDTH      + "\n" );
        //
        rep.append( "PREVIEW_STATE_DISPLAY = " + PREVIEW_STATE_DISPLAY + "\n" );
        rep.append( "PREVIEW_STATE_BORDER = "  + PREVIEW_STATE_BORDER  + "\n" );
        rep.append( "PREVIEW_STATE_BORDER_W = "+ PREVIEW_STATE_BORDER_W+ "\n" );
        rep.append( "PREVIEW_STATE_BORDER_H = "+ PREVIEW_STATE_BORDER_H+ "\n" );
        rep.append( "PREVIEW_STATE_LEGEND_H = "+ PREVIEW_STATE_LEGEND_H+ "\n" );
        rep.append( "PREVIEW_ARROW_LOG_BASE = "+ PREVIEW_ARROW_LOG_BASE+ "\n" );
        //
        rep.append( "SEARCH_ARROW_LENGTH = "   + SEARCH_ARROW_LENGTH   + "\n" );
        rep.append( "SEARCH_FRAME_THICKNESS = "+ SEARCH_FRAME_THICKNESS+ "\n" );
        rep.append( "SEARCHED_OBJECT_ON_TOP = "+ SEARCHED_OBJECT_ON_TOP+ "\n" );

        rep.append( "HISTOGRAM_ZERO_ORIGIN = " + HISTOGRAM_ZERO_ORIGIN + "\n" );
        rep.append( "SUMMARY_STATE_BORDER = "  + SUMMARY_STATE_BORDER  + "\n" );
        rep.append( "SUMMARY_ARROW_LOG_BASE = "+ SUMMARY_ARROW_LOG_BASE+ "\n" );

        rep.append( "LEGEND_PREVIEW_ORDER = "  + LEGEND_PREVIEW_ORDER  + "\n" );
        rep.append( "LEGEND_TOPOLOGY_ORDER = " + LEGEND_TOPOLOGY_ORDER + "\n" );

        return rep.toString();
    }

    public static void main( String args[] )
    {
        Parameters.initSetupFile();
        if ( args[ 0 ].trim().equals( "write" ) )
            Parameters.writeToSetupFile( null );
        if ( args[ 0 ].trim().equals( "read" ) )
            Parameters.readFromSetupFile( null );
    }
}