navigator.java

fortran并行计算包

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

/*
 *  @author  Anthony Chan
 */

package logformat.slog2.input;

import java.util.StringTokenizer;
import java.io.InputStreamReader;
import java.io.BufferedReader;

import base.drawable.*;
import logformat.slog2.*;
import logformat.slog2.input.InputLog;

public class Navigator
{
    private static boolean            printAll          = false;
    private static boolean            changedPrintAll   = false;
    private static boolean            isVerbose         = false;

    private static InputStreamReader  sys_insrdr
                                      = new InputStreamReader( System.in );
    private static BufferedReader     sys_bufrdr
                                      = new BufferedReader( sys_insrdr );

    private static String             in_filename;
    private static short              depth_max, depth;

    public static final void main( String[] args )
    {
        InputLog          slog_ins;
        CategoryMap       objdefs;
        TreeTrunk         treetrunk;
        TreeNode          treeroot;
        TimeBoundingBox   timeframe_root, timeframe_old, timeframe;
        String            err_msg;

        parseCmdLineArgs( args );

        slog_ins   = new InputLog( in_filename );
        if ( slog_ins == null ) {
            System.err.println( "Null input logfile!" );
            System.exit( 1 );
        }
        if ( ! slog_ins.isSLOG2() ) {
            System.err.println( in_filename + " is NOT SLOG-2 file!." );
            System.exit( 1 );
        }
        if ( (err_msg = slog_ins.getCompatibleHeader()) != null ) {
            System.err.print( err_msg );
            InputLog.stdoutConfirmation();
        }
        slog_ins.initialize();
        // System.out.println( slog_ins );

        // Initialize the TreeTrunk
        treetrunk  = new TreeTrunk( slog_ins, Drawable.INCRE_STARTTIME_ORDER );
        treetrunk.setDebuggingEnabled( isVerbose );
        treetrunk.initFromTreeTop();
        treeroot        = treetrunk.getTreeRoot();
        if ( treeroot == null ) {
            System.out.println( "SLOG-2 file, " + in_filename + " "
                              + "contains no drawables" );
            slog_ins.close();
            System.exit( 0 );
        }
        timeframe_root  = new TimeBoundingBox( treeroot );
        depth_max       = treeroot.getTreeNodeID().depth;
        System.out.println( "TimeWindow = " + timeframe_root
                          + " @ dmax = " + depth_max );
        timeframe_old   = new TimeBoundingBox( timeframe_root );

        // Grow to a fixed size first
        // Init depth before getTimeWindowFromStdin()
        depth           = depth_max; 
        timeframe       = getTimeWindowFromStdin( timeframe_old );
        System.out.println( "TimeWindow = " + timeframe
                          + " @ d = " + depth );
        treetrunk.growInTreeWindow( treeroot, depth, timeframe );
        if ( printAll )
            System.out.println( treetrunk.toString( timeframe ) );
        else
            System.out.println( treetrunk.toStubString() );
        timeframe_old = timeframe;

        // Navigate the slog2 tree
        while (    ( timeframe = getTimeWindowFromStdin( timeframe_old ) )
                != null ) {
            System.out.println( "TimeWindow = " + timeframe
                              + " @ d = " + depth );
            if ( changedPrintAll 
               ||   treetrunk.updateTimeWindow( timeframe_old, timeframe )
                  > TreeTrunk.TIMEBOX_EQUAL ) {
                if ( printAll )
                    //System.out.println( treetrunk.toFloorString( timeframe ) );
                    System.out.println( treetrunk.toString( timeframe ) );
                    // System.out.println( treetrunk.toString() );
                else
                    System.out.println( treetrunk.toStubString() );
                timeframe_old = timeframe;
                changedPrintAll = false;
            }
        }

        slog_ins.close();
    }

    private static String format_msg = "[s|a] [d=I] [[ts=D] [tf=D]] "
                                     + "[-[=D]] [+[=D]] [<[=F]] [>[=F]]";

    private static String input_msg = "Interactive Input Options: \n"
                                    + "\t Specification of the Time Frame : \n"
                                    + "\t \t " + format_msg + "\n"
                                    + "\t [s|a], print details              "
                                    + " s for stub, a for all drawables.\n"
                                    + "\t [d=I], depth=Integer              "
                                    + " Needed only when program starts.\n"
                                    + "\t [ts=D], timeframe_start=Double    "
                                    + " Specify Start of TimeFrame.\n"
                                    + "\t [tf=D], timeframe_final=Double    "
                                    + " Specify Final of TimeFrame.\n"
                                    + "\t [-[=D]], zoom-out[=Double]        "
                                    + " Specify Center of Zoom-Out Frame.\n"
                                    + "\t [+[=D]], zoom-in[=Double]         "
                                    + " Specify Center of Zoom-In Frame.\n"
                                    + "\t [<[=F]], scroll-backward[=Frames] "
                                    + " Specify Frames to Scroll Backward.\n"
                                    + "\t [>[=F]], scroll-forward[=Frames]  "
                                    + " Specify Frames to Scroll Forward.\n";

    private static double zoom_ftr = 2.0d;

    private static TimeBoundingBox getTimeWindow(
                                   final TimeBoundingBox  timeframe_old,
                                   String           argv[] )
    {
        StringBuffer     err_msg   = new StringBuffer();
        TimeBoundingBox  timeframe = new TimeBoundingBox( timeframe_old );
        String        str;
        int           idx = 0;

        try {
            while ( idx < argv.length ) {
                if ( argv[ idx ].indexOf( '=' ) != -1 ) {
                    if ( argv[ idx ].startsWith( "d=" ) ) {
                        str = argv[ idx ].trim().substring( 2 );
                        depth  = Short.parseShort( str );
                        err_msg.append( "\n lowest_depth = " + str );
                        idx++;
                    }
                    else if ( argv[ idx ].startsWith( "ts=" ) ) {
                        str = argv[ idx ].trim().substring( 3 );
                        timeframe.setEarliestTime( Double.parseDouble( str ) );
                        err_msg.append( "\n time_frame_start = " + str );
                        idx++;
                    }
                    else if ( argv[ idx ].startsWith( "tf=" ) ) {
                        str = argv[ idx ].trim().substring( 3 );
                        timeframe.setLatestTime( Double.parseDouble( str ) );
                        err_msg.append( "\n time_frame_final = " + str );
                        idx++;
                    }
                    else if ( argv[ idx ].startsWith( "+=" ) ) {
                        str = argv[ idx ].trim().substring( 2 );
                        double zoom_ctr = Double.parseDouble( str );
                        double ctr_span = timeframe_old.getDuration() / 2.0d
                                        / zoom_ftr;
                        timeframe.setEarliestTime( zoom_ctr - ctr_span );
                        timeframe.setLatestTime( zoom_ctr + ctr_span );
                        err_msg.append( "\n zoom_in_center = " + str );
                        idx++;
                    }
                    else if ( argv[ idx ].startsWith( "-=" ) ) {
                        str = argv[ idx ].trim().substring( 2 );
                        double zoom_ctr = Double.parseDouble( str );
                        double ctr_span = timeframe_old.getDuration() / 2.0d
                                        * zoom_ftr;
                        timeframe.setEarliestTime( zoom_ctr - ctr_span );
                        timeframe.setLatestTime( zoom_ctr + ctr_span );
                        err_msg.append( "\n zoom_out_center = " + str );
                        idx++;
                    }
                    else if ( argv[ idx ].startsWith( ">=" ) ) {
                        str = argv[ idx ].trim().substring( 2 );
                        double Nwins = Double.parseDouble( str );
                        double win_span = timeframe_old.getDuration();
                        timeframe.setEarliestTime( Nwins * win_span
                                 + timeframe_old.getEarliestTime() );
                        timeframe.setLatestTime( win_span
                                 + timeframe.getEarliestTime() );
                        err_msg.append( "\n scroll_forward = " + str
                                      + " frames" );
                        idx++;
                    }
                    else if ( argv[ idx ].startsWith( "<=" ) ) {
                        str = argv[ idx ].trim().substring( 2 );
                        double Nwins = Double.parseDouble( str );
                        double win_span = timeframe_old.getDuration();
                        timeframe.setEarliestTime( - Nwins * win_span
                                 + timeframe_old.getEarliestTime() );
                        timeframe.setLatestTime( win_span
                                 + timeframe.getEarliestTime() );
                        err_msg.append( "\n scroll_forward = " + str
                                      + " frames" );
                        idx++;
                    }
                    else {