1    package RmiSynthesizer; 
2     
3    import java.rmi.Remote; 
4    import java.rmi.RemoteException; 
5     
6    /** 
7     * DocJava, Inc. 
8     * http://www.docjava.com 
9     * Programmer: dlyon 
10    * Date: Nov 23, 2004 
11    * Time: 3:46:23 PM 
12    */ 
13    
14   interface HelloWorldDateStub extends 
15       HelloWorldStub, DateStub, Remote { 
16   } 
17    interface HelloWorldStub { 
18       public java.lang.String getMsg() throws RemoteException; 
19       public void testGetMsg() throws RemoteException; 
20    } 
21   // eliminate methods like: 
22   // public void main 
23   // Object clone 
24   // String toString 
25   // Object equals 
26    interface DateStub { 
27       public int hashCode(); 
28       public int compareTo(java.lang.Object v0) throws RemoteException; 
29       public int compareTo(java.util.Date v0) throws RemoteException; 
30       public long parse(java.lang.String v0) throws RemoteException; 
31       public void setTime(long v0)throws RemoteException; 
32       public long getTime()throws RemoteException; 
33       public int getYear()throws RemoteException; 
34       public int getMonth()throws RemoteException; 
35       public int getDate()throws RemoteException; 
36       public int getHours()throws RemoteException; 
37       public int getMinutes()throws RemoteException; 
38       public int getSeconds()throws RemoteException; 
39       public boolean after(java.util.Date v0)throws RemoteException; 
40       public boolean before(java.util.Date v0)throws RemoteException; 
41       public long UTC(int v0,int v1,int v2,int v3,int v4,int v5)throws RemoteException; 
42       public void setYear(int v0); 
43       public void setMonth(int v0); 
44       public void setDate(int v0); 
45       public int getDay(); 
46       public void setHours(int v0); 
47       public void setMinutes(int v0); 
48       public void setSeconds(int v0); 
49       public java.lang.String toLocaleString(); 
50       public java.lang.String toGMTString(); 
51       public int getTimezoneOffset(); 
52    } 
53