41 |
import java.rmi.RemoteException; |
import java.rmi.RemoteException; |
42 |
import java.rmi.MarshalledObject; |
import java.rmi.MarshalledObject; |
43 |
|
|
44 |
public interface ActivationMonitor |
public interface ActivationMonitor extends Remote |
45 |
extends Remote { |
{ |
46 |
|
void inactiveObject (ActivationID id) |
47 |
|
throws UnknownObjectException, RemoteException; |
48 |
|
|
49 |
public void inactiveObject(ActivationID id) throws UnknownObjectException, RemoteException; |
void activeObject (ActivationID id, MarshalledObject obj) |
50 |
public void activeObject(ActivationID id, MarshalledObject obj) throws UnknownObjectException, RemoteException; |
throws UnknownObjectException, RemoteException; |
|
public void inactiveGroup(ActivationGroupID id, long incarnation) throws UnknownGroupException, RemoteException; |
|
51 |
|
|
52 |
|
void inactiveGroup (ActivationGroupID id, long incarnation) |
53 |
|
throws UnknownGroupException, RemoteException; |
54 |
} |
} |