Return to Resolve.java CVS log

Up to [Public] / java / classes / org / w3c / tools / log

Annotation of java/classes/org/w3c/tools/log/Resolve.java, revision 1.1

1.1     ! ylafon      1: // Resolve.java
        !             2: // $Id: resolve.java,v 1.1 1999/03/16 16:55:58 ylafon Exp $
        !             3: // (c) COPYRIGHT MIT, INRIA and Keio, 1996-1999.
        !             4: // Please first read the full copyright statement in file COPYRIGHT.html
        !             5: 
        !             6: // a small log resolver that can add timestamps for sorting.
        !             7: // @author Yves Lafon <ylafon@w3.org>
        !             8: 
        !             9: package org.w3c.tools.log;
        !            10: 
        !            11: import java.lang.*;
        !            12: import java.util.*;
        !            13: import java.io.*;
        !            14: 
        !            15: public class Resolve {
        !            16: 
        !            17:     public static void main(String args[]) {
        !            18: 
        !            19:        BufferedReader bf        = null;
        !            20:        int            maxThread = 0;
        !            21:        boolean        usage     = false;
        !            22:        int            offset    = 0;
        !            23:        boolean        timestamp = true;
        !            24:        DNSResolver    resolver;
        !            25: 
        !            26:        if (args.length > 0) {
        !            27:            while (args.length - offset > 0 && args[offset].charAt(0) == '-') {
        !            28:                if (args[offset].equals("-thmax")) {
        !            29:                    offset++;
        !            30:                    try {
        !            31:                        maxThread = Integer.parseInt(args[offset]);
        !            32:                    } catch (NumberFormatException nfe) {
        !            33:                        usage = true;
        !            34:                    }
        !            35:                } else if (args[0].equals("-notime")) {
        !            36:                    timestamp = false;
        !            37:                } else if (args[0].equals("-help")) {
        !            38:                    usage = true;
        !            39:                } else {
        !            40:                    usage = true;
        !            41:                }
        !            42:                offset++;
        !            43:            }
        !            44:        }
        !            45:        if (usage) {
        !            46:            System.out.println("Usage: java org.w3c.tools.log.Resolve " + 
        !            47:                               " [-notime] [-thmax #] [logfile]*");
        !            48:            System.out.println("       it can also read from stdin.");
        !            49:            System.out.println("       java -help");
        !            50:            System.exit(0);
        !            51:        }
        !            52:        if (args.length - offset > 0) {
        !            53:            while (offset < args.length) {
        !            54:                File logfile = new File(args[offset]) ;    
        !            55:                FileReader fr;
        !            56:                
        !            57:                if (!logfile.exists()) {
        !            58:                    System.err.println("No logfile of this name :" 
        !            59:                                       + args[offset]);
        !            60:                    System.exit(1);
        !            61:                }
        !            62:                try {
        !            63:                    fr = new FileReader(logfile);
        !            64:                } catch (FileNotFoundException ex) {
        !            65:                    System.err.println("log file " + args[offset] 
        !            66:                                       + "not found!");
        !            67:                    return;
        !            68:                }
        !            69:                bf = new BufferedReader(fr);
        !            70:                if (maxThread != 0)
        !            71:                    resolver = new DNSResolver(bf, maxThread, timestamp);
        !            72:                else
        !            73:                    resolver = new DNSResolver(bf, timestamp);
        !            74:                resolver.readLog();             
        !            75:                offset++;
        !            76:            }
        !            77:        } else {
        !            78:            bf = new BufferedReader(new InputStreamReader(System.in));
        !            79:            if (maxThread != 0)
        !            80:                resolver = new DNSResolver(bf, maxThread, timestamp);
        !            81:            else
        !            82:                resolver = new DNSResolver(bf, timestamp);
        !            83:            resolver.readLog();
        !            84:        }
        !            85:     }
        !            86: }