java.lang.isolate
Class Isolate.IsolateEventHandler

java.lang.Object
  |
  +--java.lang.isolate.Isolate.IsolateEventHandler

All Implemented Interfaces:

TeamEventHandler

Enclosing class:

Isolate

class Isolate.IsolateEventHandler

extends java.lang.Object

implements TeamEventHandler

Field Summary

private java.util.Vector

cleaners

Constructor Summary

Isolate.IsolateEventHandler()

Method Summary

(package private) void	addShutdownHook(java.lang.Runnable r)
(package private) boolean	cleanersUsed()
void	event(EventTeamHandle eth, TeamReservation tr, TeamEvent ev) Callback for handling events related to teams.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait, wait0

Field Detail

cleaners

private java.util.Vector cleaners

Constructor Detail

Isolate.IsolateEventHandler

public Isolate.IsolateEventHandler()

Method Detail

cleanersUsed

boolean cleanersUsed()

addShutdownHook

void addShutdownHook(java.lang.Runnable r)

event

public void event(EventTeamHandle eth,
                  TeamReservation tr,
                  TeamEvent ev)

Description copied from interface: TeamEventHandler

Callback for handling events related to teams.

NOTE: This is called in the context of the kernel so you must use the provided TeamReservation if you want to do anything in the team that caused the Event. The TeamEvent object is allocated in the kernel Team context.

NOTE: Do not modify the TeamEvent that is passed. You will confuse later receivers of the (same) event object. Do not store the TeamEvent object, as it will be modified for subsequent events.

Specified by:

event in interface TeamEventHandler

Following copied from interface: edu.utah.janosvm.sys.TeamEventHandler

Parameters:

eth - The handle that refers to the team that triggered the event.

tr - A TeamReservation thats reserved the team that `this' is in.

ev - The TeamEvent object that describes the event that occurred.