JML

java.lang
Class Runtime

java.lang.Object
  extended byjava.lang.Runtime

public class Runtime
extends Object


Model Field Summary
 
Model fields inherited from class java.lang.Object
_getClass, objectState, theString
 
Ghost Field Summary
 
Ghost fields inherited from class java.lang.Object
objectTimesFinalized, owner
 
Field Summary
private static Runtime currentRuntime
           
 
Constructor Summary
private Runtime()
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
 void addShutdownHook(Thread)
           
 int availableProcessors()
           
 Process exec(String)
           
 Process exec(String, String[])
           
 Process exec(String, String[], File)
           
 Process exec(String[])
           
 Process exec(String[], String[])
           
 Process exec(String[], String[], File)
           
private  Process execInternal(String[], String[], String)
           
 void exit(int)
           
 long freeMemory()
           
 void gc()
           
 InputStream getLocalizedInputStream(InputStream)
           
 OutputStream getLocalizedOutputStream(OutputStream)
           
static Runtime getRuntime()
           
 void halt(int)
           
 void load(String)
           
(package private)  void load0(Class, String)
           
 void loadLibrary(String)
           
(package private)  void loadLibrary0(Class, String)
           
 long maxMemory()
           
 boolean removeShutdownHook(Thread)
           
 void runFinalization()
           
private static void runFinalization0()
           
static void runFinalizersOnExit(boolean)
           
 long totalMemory()
           
 void traceInstructions(boolean)
           
 void traceMethodCalls(boolean)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

currentRuntime

private static Runtime currentRuntime
Constructor Detail

Runtime

private Runtime()
Method Detail

availableProcessors

public int availableProcessors()

freeMemory

public long freeMemory()

maxMemory

public long maxMemory()

totalMemory

public long totalMemory()

gc

public void gc()

runFinalization

public void runFinalization()

runFinalization0

private static void runFinalization0()

exit

public void exit(int)

halt

public void halt(int)

runFinalizersOnExit

public static void runFinalizersOnExit(boolean)

traceInstructions

public void traceInstructions(boolean)

traceMethodCalls

public void traceMethodCalls(boolean)

getRuntime

public static Runtime getRuntime()

load

public void load(String)

loadLibrary

public void loadLibrary(String)

addShutdownHook

public void addShutdownHook(Thread)

removeShutdownHook

public boolean removeShutdownHook(Thread)

getLocalizedInputStream

public InputStream getLocalizedInputStream(InputStream)

getLocalizedOutputStream

public OutputStream getLocalizedOutputStream(OutputStream)

exec

public Process exec(String)
             throws IOException
Throws:
IOException

exec

public Process exec(String[])
             throws IOException
Throws:
IOException

load0

void load0(Class,
           String)

loadLibrary0

void loadLibrary0(Class,
                  String)

exec

public Process exec(String,
                    String[])
             throws IOException
Throws:
IOException

exec

public Process exec(String[],
                    String[])
             throws IOException
Throws:
IOException

exec

public Process exec(String,
                    String[],
                    File)
             throws IOException
Throws:
IOException

exec

public Process exec(String[],
                    String[],
                    File)
             throws IOException
Throws:
IOException

execInternal

private Process execInternal(String[],
                             String[],
                             String)
                      throws IOException
Throws:
IOException

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.