JML

org.multijava.util.jperf
Class Main

java.lang.Object
  extended byorg.multijava.util.jperf.Main

public class Main
extends Object

Main is the main driver of the package.

Author:
Jiejun KONG

Field Summary
private static String input_file_name
           
private static double loadFactor
           
private static String output_file_name
           
 
Constructor Summary
Main()
           
 
Method Summary
static void main(String[] args)
          The main driver.
private static String[] makeStringArray(ArrayList vec)
          Transforms a list of strings into a string array, clears the list, and returns the list to the ArrayList cache.
private static void parseOptions(String[] args)
           
private static String[] readFooter(RandomAccessFile input)
          Reads unction section Assume that file is already open and file pointer is already set correctly
private static String[] readHeader(RandomAccessFile input)
          read and skip the declaration part Assume that file is already open and file pointer is already set correctly
private static String[] readKeywords(RandomAccessFile input)
          Reads keyword section Assume that file is already open and file pointer is already set correctly
private static void usage(String[] args)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

loadFactor

private static double loadFactor

input_file_name

private static String input_file_name

output_file_name

private static String output_file_name
Constructor Detail

Main

public Main()
Method Detail

readHeader

private static String[] readHeader(RandomAccessFile input)
                            throws IOException
read and skip the declaration part Assume that file is already open and file pointer is already set correctly

Throws:
IOException

readKeywords

private static String[] readKeywords(RandomAccessFile input)
Reads keyword section Assume that file is already open and file pointer is already set correctly


readFooter

private static String[] readFooter(RandomAccessFile input)
                            throws IOException
Reads unction section Assume that file is already open and file pointer is already set correctly

Throws:
IOException

makeStringArray

private static String[] makeStringArray(ArrayList vec)
Transforms a list of strings into a string array, clears the list, and returns the list to the ArrayList cache. Clients must not retain an alias to vec!


main

public static void main(String[] args)
                 throws IOException
The main driver.

Throws:
IOException

parseOptions

private static void parseOptions(String[] args)

usage

private static void usage(String[] args)

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.