📄 resourcemanagerwssei.java
字号:
package jwsgrid.resourcemanager.ws;import jwsgrid.resourcemanager.ResourceManager;import java.lang.String;/** * This is the service endpoint interface for the ResourceManagerWSweb service. * Created 27-Apr-2005 6:19:50 PM * @author sean */public interface ResourceManagerWSSEI extends java.rmi.Remote { /** * Web service operation */ public void registerJobHost( String wsAddr, String clusterId, String xmlStaticInfo, String xmlDynamicInfo ) throws Exception, java.rmi.RemoteException; /** * Web service operation */ public boolean unregisterJobHost( String wsAddr, String clusterId ) throws Exception, java.rmi.RemoteException; /** * Web service operation */ public String searchJobHosts( String xmlJobHostConstraints ) throws ConstraintMatchException, ConstraintDistanceException, Exception, java.rmi.RemoteException; /** * Web service operation */ public long ping() throws java.rmi.RemoteException; }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -