Source for gnu.java.rmi.dgc.DGCImpl_Skel

   1: /* DGCImpl_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.dgc;
  42: 
  43: public final class DGCImpl_Skel
  44:     implements java.rmi.server.Skeleton
  45: {
  46:     private static final long interfaceHash = -669196253586618813L;
  47: 
  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")
  51:     };
  52: 
  53:     public java.rmi.server.Operation[] getOperations() {
  54:         return ((java.rmi.server.Operation[]) operations.clone());
  55:     }
  56: 
  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;
  61:             }
  62:             else if (hash == -8139341527526761862L) {
  63:                 opnum = 1;
  64:             }
  65:             else {
  66:                 throw new java.rmi.server.SkeletonMismatchException("interface hash mismatch");
  67:             }
  68:         }
  69:         else if (hash != interfaceHash) {
  70:             throw new java.rmi.server.SkeletonMismatchException("interface hash mismatch");
  71:         }
  72: 
  73:         gnu.java.rmi.dgc.DGCImpl server = (gnu.java.rmi.dgc.DGCImpl)obj;
  74:         switch (opnum) {
  75:         case 0:
  76:         {
  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();
  87: 
  88:             }
  89:             catch (java.io.IOException e) {
  90:                 throw new java.rmi.UnmarshalException("error unmarshalling arguments", e);
  91:             }
  92:             catch (java.lang.ClassCastException e) {
  93:                 throw new java.rmi.UnmarshalException("error unmarshalling arguments", e);
  94:             }
  95:             finally {
  96:                 call.releaseInputStream();
  97:             }
  98:             server.clean($param_0, $param_1, $param_2, $param_3);
  99:             try {
 100:                 java.io.ObjectOutput out = call.getResultStream(true);
 101:             }
 102:             catch (java.io.IOException e) {
 103:                 throw new java.rmi.MarshalException("error marshalling return", e);
 104:             }
 105:             break;
 106:         }
 107: 
 108:         case 1:
 109:         {
 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();
 118: 
 119:             }
 120:             catch (java.io.IOException e) {
 121:                 throw new java.rmi.UnmarshalException("error unmarshalling arguments", e);
 122:             }
 123:             catch (java.lang.ClassCastException e) {
 124:                 throw new java.rmi.UnmarshalException("error unmarshalling arguments", e);
 125:             }
 126:             finally {
 127:                 call.releaseInputStream();
 128:             }
 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);
 133:             }
 134:             catch (java.io.IOException e) {
 135:                 throw new java.rmi.MarshalException("error marshalling return", e);
 136:             }
 137:             break;
 138:         }
 139: 
 140:         default:
 141:             throw new java.rmi.UnmarshalException("invalid method number");
 142:         }
 143:     }
 144: }