Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.multijava.mjc
Class Main.TaskTimes

java.lang.Object
  extended byorg.multijava.mjc.Main.TaskTimes
Enclosing class:
Main
public static class Main.TaskTimes
extends Object

Field Summary
private static TreeMap map
           
 
Constructor Summary
Main.TaskTimes()
           
 
Method Summary
static void add(Object o, long time)
           
static void init()
           
static void report()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

map

private static TreeMap map
Constructor Detail

Main.TaskTimes

public Main.TaskTimes()
Method Detail

init

public static void init()

add

public static void add(Object o,
                       long time)

report

public static void report()
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
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.