View Javadoc

1   // Skeleton class generated by rmic, do not edit.
2   // Contents subject to change without notice.
3   
4   package nl.tudelft.simulation.naming.listener;
5   
6   public final class RemoteContextListener_Skel implements
7   		java.rmi.server.Skeleton
8   {
9   	private static final java.rmi.server.Operation[] operations = {
10  			new java.rmi.server.Operation(
11  					"void namingExceptionThrown(javax.naming.event.NamingExceptionEvent)"),
12  			new java.rmi.server.Operation(
13  					"void objectAdded(javax.naming.event.NamingEvent)"),
14  			new java.rmi.server.Operation(
15  					"void objectChanged(javax.naming.event.NamingEvent)"),
16  			new java.rmi.server.Operation(
17  					"void objectRemoved(javax.naming.event.NamingEvent)"),
18  			new java.rmi.server.Operation(
19  					"void objectRenamed(javax.naming.event.NamingEvent)")};
20  
21  	private static final long interfaceHash = 1330269890773764833L;
22  
23  	public java.rmi.server.Operation[] getOperations()
24  	{
25  		return (java.rmi.server.Operation[]) operations.clone();
26  	}
27  
28  	public void dispatch(java.rmi.Remote obj, java.rmi.server.RemoteCall call,
29  			int opnum, long hash) throws java.lang.Exception
30  	{
31  		if (opnum < 0)
32  		{
33  			if (hash == -7387742496009370008L)
34  			{
35  				opnum = 0;
36  			} else if (hash == 7788981834081827903L)
37  			{
38  				opnum = 1;
39  			} else if (hash == 385728719389957123L)
40  			{
41  				opnum = 2;
42  			} else if (hash == 5487915857061689211L)
43  			{
44  				opnum = 3;
45  			} else if (hash == -4465494126274515993L)
46  			{
47  				opnum = 4;
48  			} else
49  			{
50  				throw new java.rmi.UnmarshalException("invalid method hash");
51  			}
52  		} else
53  		{
54  			if (hash != interfaceHash)
55  				throw new java.rmi.server.SkeletonMismatchException(
56  						"interface hash mismatch");
57  		}
58  
59  		nl.tudelft.simulation.naming.listener.RemoteContextListener server = (nl.tudelft.simulation.naming.listener.RemoteContextListener) obj;
60  		switch (opnum)
61  		{
62  			case 0 : // namingExceptionThrown(NamingExceptionEvent)
63  			{
64  				javax.naming.event.NamingExceptionEvent $param_NamingExceptionEvent_1;
65  				try
66  				{
67  					java.io.ObjectInput in = call.getInputStream();
68  					$param_NamingExceptionEvent_1 = (javax.naming.event.NamingExceptionEvent) in
69  							.readObject();
70  				} catch (java.io.IOException e)
71  				{
72  					throw new java.rmi.UnmarshalException(
73  							"error unmarshalling arguments", e);
74  				} catch (java.lang.ClassNotFoundException e)
75  				{
76  					throw new java.rmi.UnmarshalException(
77  							"error unmarshalling arguments", e);
78  				} finally
79  				{
80  					call.releaseInputStream();
81  				}
82  				server.namingExceptionThrown($param_NamingExceptionEvent_1);
83  				try
84  				{
85  					call.getResultStream(true);
86  				} catch (java.io.IOException e)
87  				{
88  					throw new java.rmi.MarshalException(
89  							"error marshalling return", e);
90  				}
91  				break;
92  			}
93  
94  			case 1 : // objectAdded(NamingEvent)
95  			{
96  				javax.naming.event.NamingEvent $param_NamingEvent_1;
97  				try
98  				{
99  					java.io.ObjectInput in = call.getInputStream();
100 					$param_NamingEvent_1 = (javax.naming.event.NamingEvent) in
101 							.readObject();
102 				} catch (java.io.IOException e)
103 				{
104 					throw new java.rmi.UnmarshalException(
105 							"error unmarshalling arguments", e);
106 				} catch (java.lang.ClassNotFoundException e)
107 				{
108 					throw new java.rmi.UnmarshalException(
109 							"error unmarshalling arguments", e);
110 				} finally
111 				{
112 					call.releaseInputStream();
113 				}
114 				server.objectAdded($param_NamingEvent_1);
115 				try
116 				{
117 					call.getResultStream(true);
118 				} catch (java.io.IOException e)
119 				{
120 					throw new java.rmi.MarshalException(
121 							"error marshalling return", e);
122 				}
123 				break;
124 			}
125 
126 			case 2 : // objectChanged(NamingEvent)
127 			{
128 				javax.naming.event.NamingEvent $param_NamingEvent_1;
129 				try
130 				{
131 					java.io.ObjectInput in = call.getInputStream();
132 					$param_NamingEvent_1 = (javax.naming.event.NamingEvent) in
133 							.readObject();
134 				} catch (java.io.IOException e)
135 				{
136 					throw new java.rmi.UnmarshalException(
137 							"error unmarshalling arguments", e);
138 				} catch (java.lang.ClassNotFoundException e)
139 				{
140 					throw new java.rmi.UnmarshalException(
141 							"error unmarshalling arguments", e);
142 				} finally
143 				{
144 					call.releaseInputStream();
145 				}
146 				server.objectChanged($param_NamingEvent_1);
147 				try
148 				{
149 					call.getResultStream(true);
150 				} catch (java.io.IOException e)
151 				{
152 					throw new java.rmi.MarshalException(
153 							"error marshalling return", e);
154 				}
155 				break;
156 			}
157 
158 			case 3 : // objectRemoved(NamingEvent)
159 			{
160 				javax.naming.event.NamingEvent $param_NamingEvent_1;
161 				try
162 				{
163 					java.io.ObjectInput in = call.getInputStream();
164 					$param_NamingEvent_1 = (javax.naming.event.NamingEvent) in
165 							.readObject();
166 				} catch (java.io.IOException e)
167 				{
168 					throw new java.rmi.UnmarshalException(
169 							"error unmarshalling arguments", e);
170 				} catch (java.lang.ClassNotFoundException e)
171 				{
172 					throw new java.rmi.UnmarshalException(
173 							"error unmarshalling arguments", e);
174 				} finally
175 				{
176 					call.releaseInputStream();
177 				}
178 				server.objectRemoved($param_NamingEvent_1);
179 				try
180 				{
181 					call.getResultStream(true);
182 				} catch (java.io.IOException e)
183 				{
184 					throw new java.rmi.MarshalException(
185 							"error marshalling return", e);
186 				}
187 				break;
188 			}
189 
190 			case 4 : // objectRenamed(NamingEvent)
191 			{
192 				javax.naming.event.NamingEvent $param_NamingEvent_1;
193 				try
194 				{
195 					java.io.ObjectInput in = call.getInputStream();
196 					$param_NamingEvent_1 = (javax.naming.event.NamingEvent) in
197 							.readObject();
198 				} catch (java.io.IOException e)
199 				{
200 					throw new java.rmi.UnmarshalException(
201 							"error unmarshalling arguments", e);
202 				} catch (java.lang.ClassNotFoundException e)
203 				{
204 					throw new java.rmi.UnmarshalException(
205 							"error unmarshalling arguments", e);
206 				} finally
207 				{
208 					call.releaseInputStream();
209 				}
210 				server.objectRenamed($param_NamingEvent_1);
211 				try
212 				{
213 					call.getResultStream(true);
214 				} catch (java.io.IOException e)
215 				{
216 					throw new java.rmi.MarshalException(
217 							"error marshalling return", e);
218 				}
219 				break;
220 			}
221 
222 			default :
223 				throw new java.rmi.UnmarshalException("invalid method number");
224 		}
225 	}
226 }