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

java.lang
Class Runtime

java.lang.Object
  extended byjava.lang.Runtime
public class Runtime
extends Object

Class Specifications

Specifications inherited from class Object
represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT;
public represents _getClass <- \typeof(this);

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
 
Constructor Summary
Runtime()
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
 void addShutdownHook(non_null Thread hook)
           
 int availableProcessors()
           
 Process exec(non_null String command)
           
 Process exec(non_null String command, non_null String[] envp)
           
 Process exec(non_null String command, non_null String[] envp, non_null File dir)
           
 Process exec(non_null String[] cmdarray)
           
 Process exec(non_null String[] cmdarray, non_null String[] envp)
           
 Process exec(non_null String[] cmdarray, non_null String[] envp, non_null File dir)
           
 void exit(int status)
           
 long freeMemory()
           
 void gc()
           
 InputStream getLocalizedInputStream(non_null InputStream in)
          Deprecated.  
 OutputStream getLocalizedOutputStream(non_null OutputStream out)
          Deprecated.  
static Runtime getRuntime()
           
 void halt(int status)
           
 void load(non_null String filename)
           
 void loadLibrary(non_null String libname)
           
 long maxMemory()
           
 boolean removeShutdownHook(non_null Thread hook)
           
 void runFinalization()
           
static void runFinalizersOnExit(boolean value)
          Deprecated.  
 long totalMemory()
           
 void traceInstructions(boolean on)
           
 void traceMethodCalls(boolean on)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Runtime

public Runtime()
Method Detail

getRuntime

public static Runtime getRuntime()
Specifications: pure non_null

exit

public void exit(int status)

addShutdownHook

public void addShutdownHook(non_null Thread hook)

removeShutdownHook

public boolean removeShutdownHook(non_null Thread hook)

halt

public void halt(int status)

runFinalizersOnExit

public static void runFinalizersOnExit(boolean value)
Deprecated.  

exec

public Process exec(non_null String command)
             throws IOException
Throws:
IOException
Specifications: non_null

exec

public Process exec(non_null String command,
                    non_null String[] envp)
             throws IOException
Throws:
IOException
Specifications: non_null

exec

public Process exec(non_null String command,
                    non_null String[] envp,
                    non_null File dir)
             throws IOException
Throws:
IOException
Specifications: non_null

exec

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

exec

public Process exec(non_null String[] cmdarray,
                    non_null String[] envp)
             throws IOException
Throws:
IOException
Specifications: non_null

exec

public Process exec(non_null String[] cmdarray,
                    non_null String[] envp,
                    non_null File dir)
             throws IOException
Throws:
IOException
Specifications: non_null

availableProcessors

public int availableProcessors()

freeMemory

public long freeMemory()
Specifications: pure

totalMemory

public long totalMemory()
Specifications: pure

maxMemory

public long maxMemory()
Specifications: pure

gc

public void gc()

runFinalization

public void runFinalization()

traceInstructions

public void traceInstructions(boolean on)

traceMethodCalls

public void traceMethodCalls(boolean on)

load

public void load(non_null String filename)

loadLibrary

public void loadLibrary(non_null String libname)

getLocalizedInputStream

public InputStream getLocalizedInputStream(non_null InputStream in)
Deprecated.  

Specifications: non_null

getLocalizedOutputStream

public OutputStream getLocalizedOutputStream(non_null OutputStream out)
Deprecated.  

Specifications: non_null
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.