001         package com.croftsoft.apps.vaft.core;
002    
003         import java.io.*;
004         import java.rmi.*;
005    
006         import com.croftsoft.core.role.actor.ActorRemote;
007    
008         /*********************************************************************
009         * <P>
010         * @author
011         *   <A HREF="http://www.alumni.caltech.edu/~croft/">David W. Croft</A>
012         * @version
013         *   1998-04-26
014         *********************************************************************/
015    
016         public class  ActorRemoteInfo implements Serializable
017         //////////////////////////////////////////////////////////////////////
018         //////////////////////////////////////////////////////////////////////
019         {
020    
021         public String      rmi_server_name;
022         public int         rmi_server_port;
023         public String      rmi_object_name;
024         public String [ ]  roles;
025    
026         //////////////////////////////////////////////////////////////////////
027         // Static methods
028         //////////////////////////////////////////////////////////////////////
029    
030         public static ActorRemote  getActorRemote ( String  url )
031           throws java.net.MalformedURLException,
032                  NotBoundException,
033                  RemoteException
034         //////////////////////////////////////////////////////////////////////
035         {
036           return ( ActorRemote ) Naming.lookup ( url );
037         }
038    
039         //////////////////////////////////////////////////////////////////////
040         // Constructor method
041         //////////////////////////////////////////////////////////////////////
042    
043         public  ActorRemoteInfo (
044           String      rmi_server_name,
045           int         rmi_server_port,
046           String      rmi_object_name,
047           String [ ]  roles )
048         //////////////////////////////////////////////////////////////////////
049         {
050           this.rmi_server_name = rmi_server_name;
051           this.rmi_server_port = rmi_server_port;
052           this.rmi_object_name = rmi_object_name;
053           this.roles           = roles;
054         }
055    
056         //////////////////////////////////////////////////////////////////////
057         //////////////////////////////////////////////////////////////////////
058         }