jde.debugger
Class ProcessRegistry

java.lang.Object
  |
  +--jde.debugger.ProcessRegistry

public class ProcessRegistry
extends java.lang.Object

ProcessRegistry.java Registry of processes. The registry maps each process to its ID. Created: Thu Feb 15 13:48:06 2001

Version:
$Revision: 1.1 $
Author:
Paul Kinnucan

Method Summary
 void addProcess(java.lang.Integer procID, DebuggeeProcess proc)
           
 DebuggeeProcess getProcess(java.lang.Integer procID)
           
static ProcessRegistry getRegistry()
           
 boolean processExists(java.lang.Integer procID)
           
 void removeProcess(java.lang.Integer procID)
          called by DebuggeeProcess.shutdown() to remove it's own entry from the applications collection here
 void shutdownProcesses()
          Shuts down all the applications prior to exiting
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

addProcess

public void addProcess(java.lang.Integer procID,
                       DebuggeeProcess proc)

removeProcess

public void removeProcess(java.lang.Integer procID)
called by DebuggeeProcess.shutdown() to remove it's own entry from the applications collection here

processExists

public boolean processExists(java.lang.Integer procID)

getProcess

public DebuggeeProcess getProcess(java.lang.Integer procID)

getRegistry

public static ProcessRegistry getRegistry()

shutdownProcesses

public void shutdownProcesses()
                       throws JDEException
Shuts down all the applications prior to exiting