2003-12-26 Guilhem Lavaux <guilhem@kaffe.org>
[official-gcc.git] / libjava / gnu / java / rmi / dgc / DGCImpl_Skel.java
blob545ebc7bdea1a51c59328e963854c8159eb8d87a
1 /* DGCImpl_Skel.java
2 Copyright (C) 2002 Free Software Foundation, Inc.
4 This file is part of GNU Classpath.
6 GNU Classpath is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
9 any later version.
11 GNU Classpath is distributed in the hope that it will be useful, but
12 WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GNU Classpath; see the file COPYING. If not, write to the
18 Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
19 02111-1307 USA.
21 Linking this library statically or dynamically with other modules is
22 making a combined work based on this library. Thus, the terms and
23 conditions of the GNU General Public License cover the whole
24 combination.
26 As a special exception, the copyright holders of this library give you
27 permission to link this library with independent modules to produce an
28 executable, regardless of the license terms of these independent
29 modules, and to copy and distribute the resulting executable under
30 terms of your choice, provided that you also meet, for each linked
31 independent module, the terms and conditions of the license of that
32 module. An independent module is a module which is not derived from
33 or based on this library. If you modify this library, you may extend
34 this exception to your version of the library, but you are not
35 obligated to do so. If you do not wish to do so, delete this
36 exception statement from your version. */
39 // Skel class generated by rmic - DO NOT EDIT!
41 package gnu.java.rmi.dgc;
43 public final class DGCImpl_Skel
44 implements java.rmi.server.Skeleton
46 private static final long interfaceHash = -669196253586618813L;
48 private static final java.rmi.server.Operation[] operations = {
49 new java.rmi.server.Operation("void clean(java.rmi.server.ObjID[], long, java.rmi.dgc.VMID, boolean"),
50 new java.rmi.server.Operation("java.rmi.dgc.Lease dirty(java.rmi.server.ObjID[], long, java.rmi.dgc.Lease")
53 public java.rmi.server.Operation[] getOperations() {
54 return ((java.rmi.server.Operation[]) operations.clone());
57 public void dispatch(java.rmi.Remote obj, java.rmi.server.RemoteCall call, int opnum, long hash) throws java.lang.Exception {
58 if (opnum < 0) {
59 if (hash == -5803803475088455571L) {
60 opnum = 0;
62 else if (hash == -8139341527526761862L) {
63 opnum = 1;
65 else {
66 throw new java.rmi.server.SkeletonMismatchException("interface hash mismatch");
69 else if (hash != interfaceHash) {
70 throw new java.rmi.server.SkeletonMismatchException("interface hash mismatch");
73 gnu.java.rmi.dgc.DGCImpl server = (gnu.java.rmi.dgc.DGCImpl)obj;
74 switch (opnum) {
75 case 0:
77 java.rmi.server.ObjID[] $param_0;
78 long $param_1;
79 java.rmi.dgc.VMID $param_2;
80 boolean $param_3;
81 try {
82 java.io.ObjectInput in = call.getInputStream();
83 $param_0 = (java.rmi.server.ObjID[])in.readObject();
84 $param_1 = (long)in.readLong();
85 $param_2 = (java.rmi.dgc.VMID)in.readObject();
86 $param_3 = (boolean)in.readBoolean();
89 catch (java.io.IOException e) {
90 throw new java.rmi.UnmarshalException("error unmarshalling arguments", e);
92 catch (java.lang.ClassCastException e) {
93 throw new java.rmi.UnmarshalException("error unmarshalling arguments", e);
95 finally {
96 call.releaseInputStream();
98 server.clean($param_0, $param_1, $param_2, $param_3);
99 try {
100 java.io.ObjectOutput out = call.getResultStream(true);
102 catch (java.io.IOException e) {
103 throw new java.rmi.MarshalException("error marshalling return", e);
105 break;
108 case 1:
110 java.rmi.server.ObjID[] $param_0;
111 long $param_1;
112 java.rmi.dgc.Lease $param_2;
113 try {
114 java.io.ObjectInput in = call.getInputStream();
115 $param_0 = (java.rmi.server.ObjID[])in.readObject();
116 $param_1 = (long)in.readLong();
117 $param_2 = (java.rmi.dgc.Lease)in.readObject();
120 catch (java.io.IOException e) {
121 throw new java.rmi.UnmarshalException("error unmarshalling arguments", e);
123 catch (java.lang.ClassCastException e) {
124 throw new java.rmi.UnmarshalException("error unmarshalling arguments", e);
126 finally {
127 call.releaseInputStream();
129 java.rmi.dgc.Lease $result = server.dirty($param_0, $param_1, $param_2);
130 try {
131 java.io.ObjectOutput out = call.getResultStream(true);
132 out.writeObject($result);
134 catch (java.io.IOException e) {
135 throw new java.rmi.MarshalException("error marshalling return", e);
137 break;
140 default:
141 throw new java.rmi.UnmarshalException("invalid method number");