mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-03-13 07:06:57 +08:00
71 lines
2.4 KiB
Java
71 lines
2.4 KiB
Java
|
/*
|
||
|
Copyright (c) 1996, 1997, 1998, 1999 Free Software Foundation, Inc.
|
||
|
|
||
|
This file is part of GNU Classpath.
|
||
|
|
||
|
GNU Classpath is free software; you can redistribute it and/or modify
|
||
|
it under the terms of the GNU General Public License as published by
|
||
|
the Free Software Foundation; either version 2, or (at your option)
|
||
|
any later version.
|
||
|
|
||
|
GNU Classpath 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.
|
||
|
|
||
|
You should have received a copy of the GNU General Public License
|
||
|
along with GNU Classpath; see the file COPYING. If not, write to the
|
||
|
Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
|
||
|
02111-1307 USA.
|
||
|
|
||
|
As a special exception, if you link this library with other files to
|
||
|
produce an executable, this library does not by itself cause the
|
||
|
resulting executable to be covered by the GNU General Public License.
|
||
|
This exception does not however invalidate any other reasons why the
|
||
|
executable file might be covered by the GNU General Public License.
|
||
|
*/
|
||
|
|
||
|
package java.rmi;
|
||
|
|
||
|
import java.net.MalformedURLException;
|
||
|
import java.net.URL;
|
||
|
import java.rmi.registry.Registry;
|
||
|
import java.rmi.registry.LocateRegistry;
|
||
|
|
||
|
public final class Naming {
|
||
|
|
||
|
public static Remote lookup(String name) throws NotBoundException, MalformedURLException, RemoteException {
|
||
|
URL u = new URL("http:" + name);
|
||
|
return (getRegistry(u).lookup(u.getFile().substring(1)));
|
||
|
}
|
||
|
|
||
|
public static void bind(String name, Remote obj) throws AlreadyBoundException, MalformedURLException, RemoteException {
|
||
|
URL u = new URL("http:" + name);
|
||
|
getRegistry(u).bind(u.getFile().substring(1), obj);
|
||
|
}
|
||
|
|
||
|
public static void unbind(String name) throws RemoteException, NotBoundException, MalformedURLException {
|
||
|
URL u = new URL("http:" + name);
|
||
|
getRegistry(u).unbind(u.getFile().substring(1));
|
||
|
}
|
||
|
|
||
|
public static void rebind(String name, Remote obj) throws RemoteException, MalformedURLException {
|
||
|
URL u = new URL("http:" + name);
|
||
|
getRegistry(u).rebind(u.getFile().substring(1), obj);
|
||
|
}
|
||
|
|
||
|
public static String[] list(String name) throws RemoteException, MalformedURLException {
|
||
|
return (getRegistry(new URL("http:" + name)).list());
|
||
|
}
|
||
|
|
||
|
private static Registry getRegistry(URL u) throws RemoteException {
|
||
|
if (u.getPort() == -1) {
|
||
|
return (LocateRegistry.getRegistry(u.getHost()));
|
||
|
}
|
||
|
else {
|
||
|
return (LocateRegistry.getRegistry(u.getHost(), u.getPort()));
|
||
|
}
|
||
|
}
|
||
|
|
||
|
}
|