Wed, 28 Mar 2012 02:50:50 -0700
7079902: Refine CORBA data models
Reviewed-by: coffeys
duke@1 | 1 | /* |
ohair@158 | 2 | * Copyright (c) 1998, 2007, Oracle and/or its affiliates. All rights reserved. |
duke@1 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
duke@1 | 4 | * |
duke@1 | 5 | * This code is free software; you can redistribute it and/or modify it |
duke@1 | 6 | * under the terms of the GNU General Public License version 2 only, as |
ohair@158 | 7 | * published by the Free Software Foundation. Oracle designates this |
duke@1 | 8 | * particular file as subject to the "Classpath" exception as provided |
ohair@158 | 9 | * by Oracle in the LICENSE file that accompanied this code. |
duke@1 | 10 | * |
duke@1 | 11 | * This code is distributed in the hope that it will be useful, but WITHOUT |
duke@1 | 12 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
duke@1 | 13 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
duke@1 | 14 | * version 2 for more details (a copy is included in the LICENSE file that |
duke@1 | 15 | * accompanied this code). |
duke@1 | 16 | * |
duke@1 | 17 | * You should have received a copy of the GNU General Public License version |
duke@1 | 18 | * 2 along with this work; if not, write to the Free Software Foundation, |
duke@1 | 19 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
duke@1 | 20 | * |
ohair@158 | 21 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
ohair@158 | 22 | * or visit www.oracle.com if you need additional information or have any |
ohair@158 | 23 | * questions. |
duke@1 | 24 | */ |
duke@1 | 25 | |
duke@1 | 26 | /* |
duke@1 | 27 | * Licensed Materials - Property of IBM |
duke@1 | 28 | * RMI-IIOP v1.0 |
duke@1 | 29 | * Copyright IBM Corp. 1998 1999 All Rights Reserved |
duke@1 | 30 | * |
duke@1 | 31 | */ |
duke@1 | 32 | |
duke@1 | 33 | package sun.rmi.rmic.iiop; |
duke@1 | 34 | |
duke@1 | 35 | import java.util.Vector; |
duke@1 | 36 | import sun.tools.java.CompilerError; |
duke@1 | 37 | import sun.tools.java.ClassNotFound; |
duke@1 | 38 | import sun.tools.java.ClassDefinition; |
duke@1 | 39 | import sun.tools.java.MemberDefinition; |
duke@1 | 40 | |
duke@1 | 41 | /** |
duke@1 | 42 | * ImplementationType represents any non-special class which implements |
duke@1 | 43 | * one or more interfaces which inherit from java.rmi.Remote. |
duke@1 | 44 | * <p> |
duke@1 | 45 | * The static forImplementation(...) method must be used to obtain an instance, |
duke@1 | 46 | * and will return null if the ClassDefinition is non-conforming. |
duke@1 | 47 | * |
duke@1 | 48 | * @author Bryan Atsatt |
duke@1 | 49 | */ |
duke@1 | 50 | public class ImplementationType extends ClassType { |
duke@1 | 51 | |
duke@1 | 52 | //_____________________________________________________________________ |
duke@1 | 53 | // Public Interfaces |
duke@1 | 54 | //_____________________________________________________________________ |
duke@1 | 55 | |
duke@1 | 56 | /** |
duke@1 | 57 | * Create an ImplementationType for the given class. |
duke@1 | 58 | * |
duke@1 | 59 | * If the class is not a properly formed or if some other error occurs, the |
duke@1 | 60 | * return value will be null, and errors will have been reported to the |
duke@1 | 61 | * supplied BatchEnvironment. |
duke@1 | 62 | */ |
duke@1 | 63 | public static ImplementationType forImplementation(ClassDefinition classDef, |
duke@1 | 64 | ContextStack stack, |
duke@1 | 65 | boolean quiet) { |
duke@1 | 66 | if (stack.anyErrors()) return null; |
duke@1 | 67 | |
duke@1 | 68 | boolean doPop = false; |
duke@1 | 69 | ImplementationType result = null; |
duke@1 | 70 | |
duke@1 | 71 | try { |
duke@1 | 72 | // Do we already have it? |
duke@1 | 73 | |
duke@1 | 74 | sun.tools.java.Type theType = classDef.getType(); |
duke@1 | 75 | Type existing = getType(theType,stack); |
duke@1 | 76 | |
duke@1 | 77 | if (existing != null) { |
duke@1 | 78 | |
duke@1 | 79 | if (!(existing instanceof ImplementationType)) return null; // False hit. |
duke@1 | 80 | |
duke@1 | 81 | // Yep, so return it... |
duke@1 | 82 | |
duke@1 | 83 | return (ImplementationType) existing; |
duke@1 | 84 | |
duke@1 | 85 | } |
duke@1 | 86 | |
duke@1 | 87 | // Could this be an implementation? |
duke@1 | 88 | |
duke@1 | 89 | if (couldBeImplementation(quiet,stack,classDef)) { |
duke@1 | 90 | |
duke@1 | 91 | // Yes, so check it... |
duke@1 | 92 | |
duke@1 | 93 | ImplementationType it = new ImplementationType(stack, classDef); |
duke@1 | 94 | putType(theType,it,stack); |
duke@1 | 95 | stack.push(it); |
duke@1 | 96 | doPop = true; |
duke@1 | 97 | |
duke@1 | 98 | if (it.initialize(stack,quiet)) { |
duke@1 | 99 | stack.pop(true); |
duke@1 | 100 | result = it; |
duke@1 | 101 | } else { |
duke@1 | 102 | removeType(theType,stack); |
duke@1 | 103 | stack.pop(false); |
duke@1 | 104 | } |
duke@1 | 105 | } |
duke@1 | 106 | } catch (CompilerError e) { |
duke@1 | 107 | if (doPop) stack.pop(false); |
duke@1 | 108 | } |
duke@1 | 109 | |
duke@1 | 110 | return result; |
duke@1 | 111 | } |
duke@1 | 112 | |
duke@1 | 113 | /** |
duke@1 | 114 | * Return a string describing this type. |
duke@1 | 115 | */ |
duke@1 | 116 | public String getTypeDescription () { |
duke@1 | 117 | return "Implementation"; |
duke@1 | 118 | } |
duke@1 | 119 | |
duke@1 | 120 | |
duke@1 | 121 | //_____________________________________________________________________ |
duke@1 | 122 | // Internal Interfaces |
duke@1 | 123 | //_____________________________________________________________________ |
duke@1 | 124 | |
duke@1 | 125 | /** |
duke@1 | 126 | * Create a ImplementationType instance for the given class. The resulting |
duke@1 | 127 | * object is not yet completely initialized. |
duke@1 | 128 | */ |
duke@1 | 129 | private ImplementationType(ContextStack stack, ClassDefinition classDef) { |
duke@1 | 130 | super(TYPE_IMPLEMENTATION | TM_CLASS | TM_COMPOUND,classDef,stack); // Use special constructor. |
duke@1 | 131 | } |
duke@1 | 132 | |
duke@1 | 133 | |
duke@1 | 134 | private static boolean couldBeImplementation(boolean quiet, ContextStack stack, |
duke@1 | 135 | ClassDefinition classDef) { |
duke@1 | 136 | boolean result = false; |
duke@1 | 137 | BatchEnvironment env = stack.getEnv(); |
duke@1 | 138 | |
duke@1 | 139 | try { |
duke@1 | 140 | if (!classDef.isClass()) { |
duke@1 | 141 | failedConstraint(17,quiet,stack,classDef.getName()); |
duke@1 | 142 | } else { |
duke@1 | 143 | result = env.defRemote.implementedBy(env, classDef.getClassDeclaration()); |
duke@1 | 144 | if (!result) failedConstraint(8,quiet,stack,classDef.getName()); |
duke@1 | 145 | } |
duke@1 | 146 | } catch (ClassNotFound e) { |
duke@1 | 147 | classNotFound(stack,e); |
duke@1 | 148 | } |
duke@1 | 149 | |
duke@1 | 150 | return result; |
duke@1 | 151 | } |
duke@1 | 152 | |
duke@1 | 153 | |
duke@1 | 154 | /** |
duke@1 | 155 | * Initialize this instance. |
duke@1 | 156 | */ |
duke@1 | 157 | private boolean initialize (ContextStack stack, boolean quiet) { |
duke@1 | 158 | |
duke@1 | 159 | boolean result = false; |
duke@1 | 160 | ClassDefinition theClass = getClassDefinition(); |
duke@1 | 161 | |
duke@1 | 162 | if (initParents(stack)) { |
duke@1 | 163 | |
duke@1 | 164 | // Make up our collections... |
duke@1 | 165 | |
duke@1 | 166 | Vector directInterfaces = new Vector(); |
duke@1 | 167 | Vector directMethods = new Vector(); |
duke@1 | 168 | |
duke@1 | 169 | // Check interfaces... |
duke@1 | 170 | |
duke@1 | 171 | try { |
duke@1 | 172 | if (addRemoteInterfaces(directInterfaces,true,stack) != null) { |
duke@1 | 173 | |
duke@1 | 174 | boolean haveRemote = false; |
duke@1 | 175 | |
duke@1 | 176 | // Get methods from all interfaces... |
duke@1 | 177 | |
duke@1 | 178 | for (int i = 0; i < directInterfaces.size(); i++) { |
duke@1 | 179 | InterfaceType theInt = (InterfaceType) directInterfaces.elementAt(i); |
duke@1 | 180 | if (theInt.isType(TYPE_REMOTE) || |
duke@1 | 181 | theInt.isType(TYPE_JAVA_RMI_REMOTE)) { |
duke@1 | 182 | haveRemote = true; |
duke@1 | 183 | } |
duke@1 | 184 | |
duke@1 | 185 | copyRemoteMethods(theInt,directMethods); |
duke@1 | 186 | } |
duke@1 | 187 | |
duke@1 | 188 | // Make sure we have at least one remote interface... |
duke@1 | 189 | |
duke@1 | 190 | if (!haveRemote) { |
duke@1 | 191 | failedConstraint(8,quiet,stack,getQualifiedName()); |
duke@1 | 192 | return false; |
duke@1 | 193 | } |
duke@1 | 194 | |
duke@1 | 195 | // Now check the methods to ensure we have the |
duke@1 | 196 | // correct throws clauses... |
duke@1 | 197 | |
duke@1 | 198 | if (checkMethods(theClass,directMethods,stack,quiet)) { |
duke@1 | 199 | |
duke@1 | 200 | // We're ok, so pass 'em up... |
duke@1 | 201 | |
duke@1 | 202 | result = initialize(directInterfaces,directMethods,null,stack,quiet); |
duke@1 | 203 | } |
duke@1 | 204 | } |
duke@1 | 205 | } catch (ClassNotFound e) { |
duke@1 | 206 | classNotFound(stack,e); |
duke@1 | 207 | } |
duke@1 | 208 | } |
duke@1 | 209 | |
duke@1 | 210 | return result; |
duke@1 | 211 | } |
duke@1 | 212 | |
duke@1 | 213 | private static void copyRemoteMethods(InterfaceType type, Vector list) { |
duke@1 | 214 | |
duke@1 | 215 | if (type.isType(TYPE_REMOTE)) { |
duke@1 | 216 | |
duke@1 | 217 | // Copy all the unique methods from type... |
duke@1 | 218 | |
duke@1 | 219 | Method[] allMethods = type.getMethods(); |
duke@1 | 220 | |
duke@1 | 221 | for (int i = 0; i < allMethods.length; i++) { |
duke@1 | 222 | Method theMethod = allMethods[i]; |
duke@1 | 223 | |
duke@1 | 224 | if (!list.contains(theMethod)) { |
duke@1 | 225 | list.addElement(theMethod); |
duke@1 | 226 | } |
duke@1 | 227 | } |
duke@1 | 228 | |
duke@1 | 229 | // Now recurse thru all inherited interfaces... |
duke@1 | 230 | |
duke@1 | 231 | InterfaceType[] allInterfaces = type.getInterfaces(); |
duke@1 | 232 | |
duke@1 | 233 | for (int i = 0; i < allInterfaces.length; i++) { |
duke@1 | 234 | copyRemoteMethods(allInterfaces[i],list); |
duke@1 | 235 | } |
duke@1 | 236 | } |
duke@1 | 237 | } |
duke@1 | 238 | |
duke@1 | 239 | // Walk all methods of the class, and for each that is already in |
duke@1 | 240 | // the list, call setImplExceptions()... |
duke@1 | 241 | |
duke@1 | 242 | private boolean checkMethods(ClassDefinition theClass, Vector list, |
duke@1 | 243 | ContextStack stack, boolean quiet) { |
duke@1 | 244 | |
duke@1 | 245 | // Convert vector to array... |
duke@1 | 246 | |
duke@1 | 247 | Method[] methods = new Method[list.size()]; |
duke@1 | 248 | list.copyInto(methods); |
duke@1 | 249 | |
duke@1 | 250 | for (MemberDefinition member = theClass.getFirstMember(); |
duke@1 | 251 | member != null; |
duke@1 | 252 | member = member.getNextMember()) { |
duke@1 | 253 | |
duke@1 | 254 | if (member.isMethod() && !member.isConstructor() |
duke@1 | 255 | && !member.isInitializer()) { |
duke@1 | 256 | |
duke@1 | 257 | // It's a method... |
duke@1 | 258 | |
duke@1 | 259 | if (!updateExceptions(member,methods,stack,quiet)) { |
duke@1 | 260 | return false; |
duke@1 | 261 | } |
duke@1 | 262 | } |
duke@1 | 263 | } |
duke@1 | 264 | return true; |
duke@1 | 265 | } |
duke@1 | 266 | |
duke@1 | 267 | private boolean updateExceptions (MemberDefinition implMethod, Method[] list, |
duke@1 | 268 | ContextStack stack, boolean quiet) { |
duke@1 | 269 | int length = list.length; |
duke@1 | 270 | String implMethodSig = implMethod.toString(); |
duke@1 | 271 | |
duke@1 | 272 | for (int i = 0; i < length; i++) { |
duke@1 | 273 | Method existingMethod = list[i]; |
duke@1 | 274 | MemberDefinition existing = existingMethod.getMemberDefinition(); |
duke@1 | 275 | |
duke@1 | 276 | // Do we have a matching method? |
duke@1 | 277 | |
duke@1 | 278 | if (implMethodSig.equals(existing.toString())) { |
duke@1 | 279 | |
duke@1 | 280 | // Yes, so create exception list... |
duke@1 | 281 | |
duke@1 | 282 | try { |
duke@1 | 283 | ValueType[] implExcept = getMethodExceptions(implMethod,quiet,stack); |
duke@1 | 284 | existingMethod.setImplExceptions(implExcept); |
duke@1 | 285 | } catch (Exception e) { |
duke@1 | 286 | return false; |
duke@1 | 287 | } |
duke@1 | 288 | } |
duke@1 | 289 | } |
duke@1 | 290 | return true; |
duke@1 | 291 | } |
duke@1 | 292 | } |