parameters.java

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

/*
 *  (C) 2001 by Argonne National Laboratory
 *      See COPYRIGHT in top-level directory.
 */

/*
 *  @author  Anthony Chan
 */

package viewer.common;

import java.awt.Font;
import java.util.Properties;
import java.io.InputStream;
import java.io.OutputStream;
import java.io.FileInputStream;
import java.io.FileOutputStream;
import java.io.FileNotFoundException;
import java.io.IOException;
import java.awt.Component;

import base.topology.Line;
import base.topology.Arrow;
import base.topology.StateBorder;
import base.topology.State;
import base.topology.Event;
import base.topology.PreviewState;
import base.topology.PreviewEvent;
import base.topology.SummaryState;
import base.topology.SummaryArrow;
import base.drawable.Shadow;
import base.drawable.NestingStacks;

public class Parameters
{
    private static final String       VERSION_INFO             = "1.0.1.1";
    private static       String       setupfile_path           = null;

    // Options: Zoomable window reinitialization (requires window restart)
    public  static       String       Y_AXIS_ROOT_LABEL        = "SLOG-2";
    public  static       short        INIT_SLOG2_LEVEL_READ    = 4;
    public  static       boolean      AUTO_WINDOWS_LOCATION    = true;
    public  static       float        SCREEN_HEIGHT_RATIO      = 0.5f;
    public  static       float        TIME_SCROLL_UNIT_RATIO   = 0.01f;

    // Options: All zoomable windows
    public  static       boolean      Y_AXIS_ROOT_VISIBLE      = true;
    public  static       boolean      ACTIVE_REFRESH           = false;
    public  static       String       ROW_RESIZE_MODE          = "Row";
    public  static       Alias        BACKGROUND_COLOR
                                      = Const.COLOR_BLACK;

    public  static       float        STATE_HEIGHT_FACTOR      = 0.90f;
    public  static       float        NESTING_HEIGHT_FACTOR    = 0.80f;
    public  static       Alias        ARROW_ANTIALIASING
                                      = Const.ANTIALIAS_DEFAULT;
    public  static       int          MIN_WIDTH_TO_DRAG        = 4;
    public  static       int          CLICK_RADIUS_TO_LINE     = 3;
    public  static       boolean      LEFTCLICK_INSTANT_ZOOM   = true;

    // Options: Timeline zoomable window
    public  static       StateBorder  STATE_BORDER
                                      = StateBorder.COLOR_RAISED_BORDER;
    public  static       int          ARROW_HEAD_LENGTH        = 10;
    public  static       int          ARROW_HEAD_WIDTH         = 6;
    public  static       int          EVENT_BASE_WIDTH         = 8;

    public  static       String       PREVIEW_STATE_DISPLAY
                                      = PreviewState.CUMULATIVE_EXCLUSION;
    public  static       StateBorder  PREVIEW_STATE_BORDER
                                      = StateBorder.COLOR_XOR_BORDER;
    public  static       int          PREVIEW_STATE_BORDER_W   = 3;
    public  static       int          PREVIEW_STATE_BORDER_H   = 0;
    public  static       int          PREVIEW_STATE_LEGEND_H   = 2;
    public  static       int          PREVIEW_ARROW_LOG_BASE   = 5;

    public  static       int          SEARCH_ARROW_LENGTH      = 20;
    public  static       int          SEARCH_FRAME_THICKNESS   = 3;
    public  static       boolean      SEARCHED_OBJECT_ON_TOP   = false;

    // Options: Histogram zoomable window
    public  static       boolean      HISTOGRAM_ZERO_ORIGIN    = true;
    public  static       StateBorder  SUMMARY_STATE_BORDER
                                      = StateBorder.COLOR_RAISED_BORDER;
    public  static       int          SUMMARY_ARROW_LOG_BASE   = 5;

    // Options: Legend window
    public  static       boolean      LEGEND_PREVIEW_ORDER     = true;
    public  static       boolean      LEGEND_TOPOLOGY_ORDER    = true;


    public static final void initSetupFile()
    {
        String user_homedir, file_sep;
        user_homedir   = System.getProperty( "user.home" );
        file_sep       = System.getProperty( "file.separator" );
        setupfile_path = user_homedir + file_sep + ".jumpshot4.conf";
        System.out.println( "Jumpshot-4 setup file : " + setupfile_path );
    }

    public static void initStaticClasses()
    {
        // Define the Font used in ModelXXXXPanels and PreferencePanel
        LabeledTextField.setDefaultFont( Const.FONT );
        LabeledComboBox.setDefaultFont( Const.FONT );
        // Define the size of ArrowHead
        Arrow.setHeadLength( Parameters.ARROW_HEAD_LENGTH );
        Arrow.setHeadWidth( Parameters.ARROW_HEAD_WIDTH );
        // Define the size of EventBase
        Event.setBaseWidth( Parameters.EVENT_BASE_WIDTH ); 
        // Define how a pixel is considered to be lying on a Line/Arrow/Event
        Line.setPixelClosenessTolerance( Parameters.CLICK_RADIUS_TO_LINE );
        Event.setPixelClosenessTolerance( Parameters.CLICK_RADIUS_TO_LINE );
        // Define state border type
        State.setBorderStyle( Parameters.STATE_BORDER );
        PreviewState.setBorderStyle( Parameters.PREVIEW_STATE_BORDER );
        PreviewState.setDisplayType( Parameters.PREVIEW_STATE_DISPLAY );
        PreviewState.setMinCategoryHeight( Parameters.PREVIEW_STATE_LEGEND_H );
        // PreviewEvent.setBaseWidth( Parameters.EVENT_BASE_WIDTH );
        PreviewEvent.setPixelClosenessTolerance(
                                      Parameters.CLICK_RADIUS_TO_LINE );

        // Define Shadow State's insets dimension
        Shadow.setStateInsetsDimension( Parameters.PREVIEW_STATE_BORDER_W,
                                        Parameters.PREVIEW_STATE_BORDER_H );
        // Define Shadow Arrow's thickness
        Shadow.setBaseOfLogOfObjectNumToArrowWidth(
               Parameters.PREVIEW_ARROW_LOG_BASE );
        // Define all nesting related properties
        NestingStacks.setInitialNestingHeight(
                      Parameters.STATE_HEIGHT_FACTOR );
        NestingStacks.setNestingHeightReduction(
                      Parameters.NESTING_HEIGHT_FACTOR );

        // Define Histogram Dialog's drawing properties
        SummaryArrow.setBaseOfLogOfObjectNumToArrowWidth(
                     Parameters.SUMMARY_ARROW_LOG_BASE );
        SummaryState.setBorderStyle( Parameters.SUMMARY_STATE_BORDER );
    }

    public static final void writeToSetupFile( Component parent_window )
    {
        if ( ! Dialogs.confirm( parent_window,
                      "Save preferred settings to the setup file ?" ) ) 
            return;

        Properties pptys = new Properties();
        pptys.setProperty( "VERSION_INFO", VERSION_INFO );

        // Options: Zoomable window reinitialization (requires window restart)
        pptys.setProperty( "Y_AXIS_ROOT_LABEL", Y_AXIS_ROOT_LABEL );
        pptys.setProperty( "INIT_SLOG2_LEVEL_READ",
                           String.valueOf( INIT_SLOG2_LEVEL_READ ) );
        pptys.setProperty( "AUTO_WINDOWS_LOCATION",
                           String.valueOf( AUTO_WINDOWS_LOCATION ) );
        pptys.setProperty( "SCREEN_HEIGHT_RATIO",
                           String.valueOf( SCREEN_HEIGHT_RATIO ) );
        pptys.setProperty( "TIME_SCROLL_UNIT_RATIO",
                           String.valueOf( TIME_SCROLL_UNIT_RATIO ) );

        // Options: All zoomable windows
        pptys.setProperty( "Y_AXIS_ROOT_VISIBLE",
                           String.valueOf( Y_AXIS_ROOT_VISIBLE ) );
        pptys.setProperty( "ACTIVE_REFRESH",
                           String.valueOf( ACTIVE_REFRESH ) );
        pptys.setProperty( "ROW_RESIZE_MODE", ROW_RESIZE_MODE );
        pptys.setProperty( "BACKGROUND_COLOR",
                           String.valueOf( BACKGROUND_COLOR ) );

        pptys.setProperty( "STATE_HEIGHT_FACTOR",
                           String.valueOf( STATE_HEIGHT_FACTOR ) );
        pptys.setProperty( "NESTING_HEIGHT_FACTOR",
                           String.valueOf( NESTING_HEIGHT_FACTOR ) );
        pptys.setProperty( "ARROW_ANTIALIASING",
                           String.valueOf( ARROW_ANTIALIASING ) );
        pptys.setProperty( "MIN_WIDTH_TO_DRAG",
                           String.valueOf( MIN_WIDTH_TO_DRAG ) );
        pptys.setProperty( "CLICK_RADIUS_TO_LINE",
                           String.valueOf( CLICK_RADIUS_TO_LINE ) );
        pptys.setProperty( "LEFTCLICK_INSTANT_ZOOM",
                           String.valueOf( LEFTCLICK_INSTANT_ZOOM ) );

        // Options: Timeline zoomable window
        pptys.setProperty( "STATE_BORDER",
                           String.valueOf( STATE_BORDER ) );
        pptys.setProperty( "ARROW_HEAD_LENGTH",
                           String.valueOf( ARROW_HEAD_LENGTH ) );
        pptys.setProperty( "ARROW_HEAD_WIDTH",
                           String.valueOf( ARROW_HEAD_WIDTH ) );
        pptys.setProperty( "EVENT_BASE_WIDTH",
                           String.valueOf( EVENT_BASE_WIDTH ) );

        pptys.setProperty( "PREVIEW_STATE_DISPLAY", PREVIEW_STATE_DISPLAY );
        pptys.setProperty( "PREVIEW_STATE_BORDER",
                           String.valueOf( PREVIEW_STATE_BORDER ) );
        pptys.setProperty( "PREVIEW_STATE_BORDER_W",
                           String.valueOf( PREVIEW_STATE_BORDER_W ) );
        pptys.setProperty( "PREVIEW_STATE_BORDER_H",
                           String.valueOf( PREVIEW_STATE_BORDER_H ) );
        pptys.setProperty( "PREVIEW_STATE_LEGEND_H",
                           String.valueOf( PREVIEW_STATE_LEGEND_H ) );
        pptys.setProperty( "PREVIEW_ARROW_LOG_BASE",
                           String.valueOf( PREVIEW_ARROW_LOG_BASE ) );

        pptys.setProperty( "SEARCH_ARROW_LENGTH",
                           String.valueOf( SEARCH_ARROW_LENGTH ) );
        pptys.setProperty( "SEARCH_FRAME_THICKNESS",
                           String.valueOf( SEARCH_FRAME_THICKNESS ) );
        pptys.setProperty( "SEARCHED_OBJECT_ON_TOP",
                           String.valueOf( SEARCHED_OBJECT_ON_TOP ) );

        // Options: Histogram zoomable window
        pptys.setProperty( "HISTOGRAM_ZERO_ORIGIN",
                           String.valueOf( HISTOGRAM_ZERO_ORIGIN ) );
        pptys.setProperty( "SUMMARY_STATE_BORDER",
                           String.valueOf( SUMMARY_STATE_BORDER ) );
        pptys.setProperty( "SUMMARY_ARROW_LOG_BASE",
                           String.valueOf( SUMMARY_ARROW_LOG_BASE ) );

        // Options: Legend window
        pptys.setProperty( "LEGEND_PREVIEW_ORDER",
                           String.valueOf( LEGEND_PREVIEW_ORDER ) );
        pptys.setProperty( "LEGEND_TOPOLOGY_ORDER",
                           String.valueOf( LEGEND_TOPOLOGY_ORDER ) );


        try {
            FileOutputStream fouts = new FileOutputStream( setupfile_path );
            pptys.store( fouts, " Jumpshot-4 setup file" );
            fouts.close();
        } catch ( IOException ioerr ) {