📄 napletdirectory.java
字号:
/*
* @<#>NapletDirectory.java version 0.0.1, 1/1/2000
*
* THIS PROGRAM IS FREE SOFTWARE; YOU CAN DISTRIBUTE IT AND/OR
* MODIFY IT UNDER THE TERMS OF THE GNU GENERAL PUBLIC LICENSE
* AS PUBLISHED BY THE FREE SOFTWARE FOUNDATION.
*
* THIS PROGRAM IS DISTRIBUTED IN THE HOPE THAT IT WILL BE USEFUL,
* BUT WITHOUT ANY WARRANTY; WITHOUT EVEN THE IMPLIED WARRANTY OF
* MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE. SEE THE
* GNU GENERAL PUBLIC LICENSE FOR MORE DETAILS.
*
* Copyright (c) 2000 Wayne State Universtiy. All Rights Reserved.
*/
package naplet.directory;
/**
* The <code>NapletDirectory</code> interface identifies the methods
* of a naplet directory implementation.
*
* @version 0.0.1, 1/1/2000
* @author C. Xu
*/
import java.util.Date;
import naplet.*;
public interface NapletDirectory extends java.rmi.Remote {
public static final int DefaultDirPort = 2100;
public static final String DefaultDirName = "NapletDirectory";
/**
* Register a naplet event with the directory
* @param nid Naplet identifier
* @param server Where the event occurs
* @param time When the event occurs
* @param event Type of the event
*/
public void register(NapletID nid, URN server, Date time, int event)
throws java.rmi.RemoteException;
public URN lookup(NapletID nid ) throws java.rmi.RemoteException ;
// public Vector checkTrace( String name ) throws RemoteException;
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -