Source for gnu.java.rmi.registry.RegistryImpl_Skel

   1: /* RegistryImpl_Skel.java
   2:    Copyright (C) 2002 Free Software Foundation, Inc.
   3: 
   4: This file is part of GNU Classpath.
   5: 
   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.
  10: 
  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.
  15: 
  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., 51 Franklin Street, Fifth Floor, Boston, MA
  19: 02110-1301 USA.
  20: 
  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.
  25: 
  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. */
  37: 
  38: 
  39: // Skel class generated by rmic - DO NOT EDIT!
  40: 
  41: package gnu.java.rmi.registry;
  42: 
  43: public final class RegistryImpl_Skel
  44:     implements java.rmi.server.Skeleton
  45: {
  46:     private static final long interfaceHash = 4905912898345647071L;
  47: 
  48:     private static final java.rmi.server.Operation[] operations = {
  49:         new java.rmi.server.Operation("void bind(java.lang.String, java.rmi.Remote"),
  50:         new java.rmi.server.Operation("java.lang.String[] list("),
  51:         new java.rmi.server.Operation("java.rmi.Remote lookup(java.lang.String"),
  52:         new java.rmi.server.Operation("void rebind(java.lang.String, java.rmi.Remote"),
  53:         new java.rmi.server.Operation("void unbind(java.lang.String")
  54:     };
  55: 
  56:     public java.rmi.server.Operation[] getOperations() {
  57:         return ((java.rmi.server.Operation[]) operations.clone());
  58:     }
  59: 
  60:     public void dispatch(java.rmi.Remote obj, java.rmi.server.RemoteCall call, int opnum, long hash) throws java.lang.Exception {
  61:         if (opnum < 0) {
  62:             if (hash == 7583982177005850366L) {
  63:                 opnum = 0;
  64:             }
  65:             else if (hash == 2571371476350237748L) {
  66:                 opnum = 1;
  67:             }
  68:             else if (hash == -7538657168040752697L) {
  69:                 opnum = 2;
  70:             }
  71:             else if (hash == -8381844669958460146L) {
  72:                 opnum = 3;
  73:             }
  74:             else if (hash == 7305022919901907578L) {
  75:                 opnum = 4;
  76:             }
  77:             else {
  78:                 throw new java.rmi.server.SkeletonMismatchException("interface hash mismatch");
  79:             }
  80:         }
  81:         else if (hash != interfaceHash) {
  82:             throw new java.rmi.server.SkeletonMismatchException("interface hash mismatch");
  83:         }
  84: 
  85:         gnu.java.rmi.registry.RegistryImpl server = (gnu.java.rmi.registry.RegistryImpl)obj;
  86:         switch (opnum) {
  87:         case 0:
  88:         {
  89:             java.lang.String $param_0;
  90:             java.rmi.Remote $param_1;
  91:             try {
  92:                 java.io.ObjectInput in = call.getInputStream();
  93:                 $param_0 = (java.lang.String)in.readObject();
  94:                 $param_1 = (java.rmi.Remote)in.readObject();
  95: 
  96:             }
  97:             catch (java.io.IOException e) {
  98:                 throw new java.rmi.UnmarshalException("error unmarshalling arguments", e);
  99:             }
 100:             catch (java.lang.ClassCastException e) {
 101:                 throw new java.rmi.UnmarshalException("error unmarshalling arguments", e);
 102:             }
 103:             finally {
 104:                 call.releaseInputStream();
 105:             }
 106:             server.bind($param_0, $param_1);
 107:             try {
 108:                 java.io.ObjectOutput out = call.getResultStream(true);
 109:             }
 110:             catch (java.io.IOException e) {
 111:                 throw new java.rmi.MarshalException("error marshalling return", e);
 112:             }
 113:             break;
 114:         }
 115: 
 116:         case 1:
 117:         {
 118:             try {
 119:                 java.io.ObjectInput in = call.getInputStream();
 120: 
 121:             }
 122:             catch (java.io.IOException e) {
 123:                 throw new java.rmi.UnmarshalException("error unmarshalling arguments", e);
 124:             }
 125:             finally {
 126:                 call.releaseInputStream();
 127:             }
 128:             java.lang.String[] $result = server.list();
 129:             try {
 130:                 java.io.ObjectOutput out = call.getResultStream(true);
 131:                 out.writeObject($result);
 132:             }
 133:             catch (java.io.IOException e) {
 134:                 throw new java.rmi.MarshalException("error marshalling return", e);
 135:             }
 136:             break;
 137:         }
 138: 
 139:         case 2:
 140:         {
 141:             java.lang.String $param_0;
 142:             try {
 143:                 java.io.ObjectInput in = call.getInputStream();
 144:                 $param_0 = (java.lang.String)in.readObject();
 145: 
 146:             }
 147:             catch (java.io.IOException e) {
 148:                 throw new java.rmi.UnmarshalException("error unmarshalling arguments", e);
 149:             }
 150:             catch (java.lang.ClassCastException e) {
 151:                 throw new java.rmi.UnmarshalException("error unmarshalling arguments", e);
 152:             }
 153:             finally {
 154:                 call.releaseInputStream();
 155:             }
 156:             java.rmi.Remote $result = server.lookup($param_0);
 157:             try {
 158:                 java.io.ObjectOutput out = call.getResultStream(true);
 159:                 out.writeObject($result);
 160:             }
 161:             catch (java.io.IOException e) {
 162:                 throw new java.rmi.MarshalException("error marshalling return", e);
 163:             }
 164:             break;
 165:         }
 166: 
 167:         case 3:
 168:         {
 169:             java.lang.String $param_0;
 170:             java.rmi.Remote $param_1;
 171:             try {
 172:                 java.io.ObjectInput in = call.getInputStream();
 173:                 $param_0 = (java.lang.String)in.readObject();
 174:                 $param_1 = (java.rmi.Remote)in.readObject();
 175: 
 176:             }
 177:             catch (java.io.IOException e) {
 178:                 throw new java.rmi.UnmarshalException("error unmarshalling arguments", e);
 179:             }
 180:             catch (java.lang.ClassCastException e) {
 181:                 throw new java.rmi.UnmarshalException("error unmarshalling arguments", e);
 182:             }
 183:             finally {
 184:                 call.releaseInputStream();
 185:             }
 186:             server.rebind($param_0, $param_1);
 187:             try {
 188:                 java.io.ObjectOutput out = call.getResultStream(true);
 189:             }
 190:             catch (java.io.IOException e) {
 191:                 throw new java.rmi.MarshalException("error marshalling return", e);
 192:             }
 193:             break;
 194:         }
 195: 
 196:         case 4:
 197:         {
 198:             java.lang.String $param_0;
 199:             try {
 200:                 java.io.ObjectInput in = call.getInputStream();
 201:                 $param_0 = (java.lang.String)in.readObject();
 202: 
 203:             }
 204:             catch (java.io.IOException e) {
 205:                 throw new java.rmi.UnmarshalException("error unmarshalling arguments", e);
 206:             }
 207:             catch (java.lang.ClassCastException e) {
 208:                 throw new java.rmi.UnmarshalException("error unmarshalling arguments", e);
 209:             }
 210:             finally {
 211:                 call.releaseInputStream();
 212:             }
 213:             server.unbind($param_0);
 214:             try {
 215:                 java.io.ObjectOutput out = call.getResultStream(true);
 216:             }
 217:             catch (java.io.IOException e) {
 218:                 throw new java.rmi.MarshalException("error marshalling return", e);
 219:             }
 220:             break;
 221:         }
 222: 
 223:         default:
 224:             throw new java.rmi.UnmarshalException("invalid method number");
 225:         }
 226:     }
 227: }