| 1 | /******************************************************************************* |
|---|---|
| 2 | * Copyright (c) 2000, 2017 IBM Corporation and others. |
| 3 | * |
| 4 | * This program and the accompanying materials |
| 5 | * are made available under the terms of the Eclipse Public License 2.0 |
| 6 | * which accompanies this distribution, and is available at |
| 7 | * https://www.eclipse.org/legal/epl-2.0/ |
| 8 | * |
| 9 | * SPDX-License-Identifier: EPL-2.0 |
| 10 | * |
| 11 | * Contributors: |
| 12 | * IBM Corporation - initial API and implementation |
| 13 | *******************************************************************************/ |
| 14 | |
| 15 | package org.eclipse.jdt.core.dom; |
| 16 | |
| 17 | import java.util.ArrayList; |
| 18 | import java.util.List; |
| 19 | |
| 20 | /** |
| 21 | * Try statement AST node type. |
| 22 | * <pre> |
| 23 | * TryStatement: |
| 24 | * <b>try</b> [ <b>(</b> Resources <b>)</b> ] |
| 25 | * Block |
| 26 | * [ { CatchClause } ] |
| 27 | * [ <b>finally</b> Block ] |
| 28 | * </pre> |
| 29 | * |
| 30 | * <p> |
| 31 | * Not all node arrangements will represent legal Java constructs. In particular, |
| 32 | * at least one resource, catch clause, or finally block must be present.</p> |
| 33 | * |
| 34 | * <p>A resource is either a {@link VariableDeclarationExpression} or (since JLS9) a {@link Name}.</p> |
| 35 | * |
| 36 | * @since 2.0 |
| 37 | * @noinstantiate This class is not intended to be instantiated by clients. |
| 38 | * @noextend This class is not intended to be subclassed by clients. |
| 39 | */ |
| 40 | @SuppressWarnings({"rawtypes", "unchecked"}) |
| 41 | public class TryStatement extends Statement { |
| 42 | |
| 43 | |
| 44 | /** |
| 45 | * The "resources" structural property of this node type (element type: {@link VariableDeclarationExpression}) (added in JLS4 API). |
| 46 | * @deprecated In the JLS9 API, this property is replaced by {@link #RESOURCES2_PROPERTY}. |
| 47 | * @since 3.7.1 |
| 48 | */ |
| 49 | public static final ChildListPropertyDescriptor RESOURCES_PROPERTY = |
| 50 | new ChildListPropertyDescriptor(TryStatement.class, "resources", VariableDeclarationExpression.class, CYCLE_RISK); //$NON-NLS-1$ |
| 51 | |
| 52 | /** |
| 53 | * The "resources" structural property of this node type (element type: {@link Expression}) (added in JLS9 API). |
| 54 | * @since 3.14 |
| 55 | */ |
| 56 | public static final ChildListPropertyDescriptor RESOURCES2_PROPERTY = |
| 57 | new ChildListPropertyDescriptor(TryStatement.class, "resources", Expression.class, CYCLE_RISK); //$NON-NLS-1$ |
| 58 | |
| 59 | /** |
| 60 | * The "body" structural property of this node type (child type: {@link Block}). |
| 61 | * @since 3.0 |
| 62 | */ |
| 63 | public static final ChildPropertyDescriptor BODY_PROPERTY = |
| 64 | new ChildPropertyDescriptor(TryStatement.class, "body", Block.class, MANDATORY, CYCLE_RISK); //$NON-NLS-1$ |
| 65 | |
| 66 | /** |
| 67 | * The "catchClauses" structural property of this node type (element type: {@link CatchClause}). |
| 68 | * @since 3.0 |
| 69 | */ |
| 70 | public static final ChildListPropertyDescriptor CATCH_CLAUSES_PROPERTY = |
| 71 | new ChildListPropertyDescriptor(TryStatement.class, "catchClauses", CatchClause.class, CYCLE_RISK); //$NON-NLS-1$ |
| 72 | |
| 73 | /** |
| 74 | * The "finally" structural property of this node type (child type: {@link Block}). |
| 75 | * @since 3.0 |
| 76 | */ |
| 77 | public static final ChildPropertyDescriptor FINALLY_PROPERTY = |
| 78 | new ChildPropertyDescriptor(TryStatement.class, "finally", Block.class, OPTIONAL, CYCLE_RISK); //$NON-NLS-1$ |
| 79 | |
| 80 | /** |
| 81 | * A list of property descriptors (element type: |
| 82 | * {@link StructuralPropertyDescriptor}), |
| 83 | * or null if uninitialized. |
| 84 | */ |
| 85 | private static final List PROPERTY_DESCRIPTORS; |
| 86 | |
| 87 | /** |
| 88 | * A list of property descriptors (element type: |
| 89 | * {@link StructuralPropertyDescriptor}), |
| 90 | * or null if uninitialized. |
| 91 | * @since 3.7 |
| 92 | */ |
| 93 | private static final List PROPERTY_DESCRIPTORS_4_0; |
| 94 | |
| 95 | /** |
| 96 | * A list of property descriptors (element type: |
| 97 | * {@link StructuralPropertyDescriptor}), |
| 98 | * or null if uninitialized. |
| 99 | * @since 3.14 |
| 100 | */ |
| 101 | private static final List PROPERTY_DESCRIPTORS_9_0; |
| 102 | |
| 103 | static { |
| 104 | List propertyList = new ArrayList(4); |
| 105 | createPropertyList(TryStatement.class, propertyList); |
| 106 | addProperty(BODY_PROPERTY, propertyList); |
| 107 | addProperty(CATCH_CLAUSES_PROPERTY, propertyList); |
| 108 | addProperty(FINALLY_PROPERTY, propertyList); |
| 109 | PROPERTY_DESCRIPTORS = reapPropertyList(propertyList); |
| 110 | |
| 111 | propertyList = new ArrayList(5); |
| 112 | createPropertyList(TryStatement.class, propertyList); |
| 113 | addProperty(RESOURCES_PROPERTY, propertyList); |
| 114 | addProperty(BODY_PROPERTY, propertyList); |
| 115 | addProperty(CATCH_CLAUSES_PROPERTY, propertyList); |
| 116 | addProperty(FINALLY_PROPERTY, propertyList); |
| 117 | PROPERTY_DESCRIPTORS_4_0 = reapPropertyList(propertyList); |
| 118 | |
| 119 | propertyList = new ArrayList(5); |
| 120 | createPropertyList(TryStatement.class, propertyList); |
| 121 | addProperty(RESOURCES2_PROPERTY, propertyList); |
| 122 | addProperty(BODY_PROPERTY, propertyList); |
| 123 | addProperty(CATCH_CLAUSES_PROPERTY, propertyList); |
| 124 | addProperty(FINALLY_PROPERTY, propertyList); |
| 125 | PROPERTY_DESCRIPTORS_9_0 = reapPropertyList(propertyList); |
| 126 | } |
| 127 | |
| 128 | /** |
| 129 | * Returns a list of structural property descriptors for this node type. |
| 130 | * Clients must not modify the result. |
| 131 | * |
| 132 | * @param apiLevel the API level; one of the |
| 133 | * <code>AST.JLS*</code> constants |
| 134 | * @return a list of property descriptors (element type: |
| 135 | * {@link StructuralPropertyDescriptor}) |
| 136 | * @since 3.0 |
| 137 | */ |
| 138 | public static List propertyDescriptors(int apiLevel) { |
| 139 | switch (apiLevel) { |
| 140 | case AST.JLS2_INTERNAL : |
| 141 | case AST.JLS3_INTERNAL : |
| 142 | return PROPERTY_DESCRIPTORS; |
| 143 | case AST.JLS4_INTERNAL : |
| 144 | case AST.JLS8_INTERNAL : |
| 145 | return PROPERTY_DESCRIPTORS_4_0; |
| 146 | default : |
| 147 | return PROPERTY_DESCRIPTORS_9_0; |
| 148 | } |
| 149 | } |
| 150 | |
| 151 | /** |
| 152 | * The resource expressions (element type: {@link Expression}). |
| 153 | * Null in JLS2 and JLS3. Added in JLS4. |
| 154 | * In the deprecated JLS4 and JLS8 APIs, this used to be |
| 155 | * (element type: {@link VariableDeclarationExpression}). |
| 156 | * Defaults to an empty list (see constructor). |
| 157 | * @since 3.7 |
| 158 | */ |
| 159 | private ASTNode.NodeList resources = null; |
| 160 | |
| 161 | /** |
| 162 | * The body; lazily initialized; defaults to an empty block. |
| 163 | */ |
| 164 | private Block body = null; |
| 165 | |
| 166 | /** |
| 167 | * The catch clauses (element type: {@link CatchClause}). |
| 168 | * Defaults to an empty list. |
| 169 | */ |
| 170 | private ASTNode.NodeList catchClauses = |
| 171 | new ASTNode.NodeList(CATCH_CLAUSES_PROPERTY); |
| 172 | |
| 173 | /** |
| 174 | * The finally block, or <code>null</code> if none. |
| 175 | * Defaults to none. |
| 176 | */ |
| 177 | private Block optionalFinallyBody = null; |
| 178 | |
| 179 | |
| 180 | /** |
| 181 | * Creates a new AST node for a try statement owned by the given |
| 182 | * AST. By default, the try statement has no resources, an empty block, no catch |
| 183 | * clauses, and no finally block. |
| 184 | * <p> |
| 185 | * N.B. This constructor is package-private. |
| 186 | * </p> |
| 187 | * |
| 188 | * @param ast the AST that is to own this node |
| 189 | */ |
| 190 | TryStatement(AST ast) { |
| 191 | super(ast); |
| 192 | if (ast.apiLevel >= AST.JLS9_INTERNAL) { |
| 193 | this.resources = new ASTNode.NodeList(RESOURCES2_PROPERTY); |
| 194 | } else if (ast.apiLevel >= AST.JLS4_INTERNAL) { |
| 195 | this.resources = new ASTNode.NodeList(RESOURCES_PROPERTY); |
| 196 | } |
| 197 | } |
| 198 | |
| 199 | @Override |
| 200 | final List internalStructuralPropertiesForType(int apiLevel) { |
| 201 | return propertyDescriptors(apiLevel); |
| 202 | } |
| 203 | |
| 204 | @Override |
| 205 | final ASTNode internalGetSetChildProperty(ChildPropertyDescriptor property, boolean get, ASTNode child) { |
| 206 | if (property == BODY_PROPERTY) { |
| 207 | if (get) { |
| 208 | return getBody(); |
| 209 | } else { |
| 210 | setBody((Block) child); |
| 211 | return null; |
| 212 | } |
| 213 | } |
| 214 | if (property == FINALLY_PROPERTY) { |
| 215 | if (get) { |
| 216 | return getFinally(); |
| 217 | } else { |
| 218 | setFinally((Block) child); |
| 219 | return null; |
| 220 | } |
| 221 | } |
| 222 | // allow default implementation to flag the error |
| 223 | return super.internalGetSetChildProperty(property, get, child); |
| 224 | } |
| 225 | |
| 226 | @Override |
| 227 | final List internalGetChildListProperty(ChildListPropertyDescriptor property) { |
| 228 | if (property == RESOURCES_PROPERTY || property == RESOURCES2_PROPERTY) { |
| 229 | return resources(); |
| 230 | } |
| 231 | if (property == CATCH_CLAUSES_PROPERTY) { |
| 232 | return catchClauses(); |
| 233 | } |
| 234 | // allow default implementation to flag the error |
| 235 | return super.internalGetChildListProperty(property); |
| 236 | } |
| 237 | |
| 238 | @Override |
| 239 | final int getNodeType0() { |
| 240 | return TRY_STATEMENT; |
| 241 | } |
| 242 | |
| 243 | @Override |
| 244 | ASTNode clone0(AST target) { |
| 245 | TryStatement result = new TryStatement(target); |
| 246 | result.setSourceRange(getStartPosition(), getLength()); |
| 247 | result.copyLeadingComment(this); |
| 248 | if (this.ast.apiLevel >= AST.JLS4_INTERNAL) { |
| 249 | result.resources().addAll( |
| 250 | ASTNode.copySubtrees(target, resources())); |
| 251 | } |
| 252 | result.setBody((Block) getBody().clone(target)); |
| 253 | result.catchClauses().addAll( |
| 254 | ASTNode.copySubtrees(target, catchClauses())); |
| 255 | result.setFinally( |
| 256 | (Block) ASTNode.copySubtree(target, getFinally())); |
| 257 | return result; |
| 258 | } |
| 259 | |
| 260 | @Override |
| 261 | final boolean subtreeMatch0(ASTMatcher matcher, Object other) { |
| 262 | // dispatch to correct overloaded match method |
| 263 | return matcher.match(this, other); |
| 264 | } |
| 265 | |
| 266 | @Override |
| 267 | void accept0(ASTVisitor visitor) { |
| 268 | boolean visitChildren = visitor.visit(this); |
| 269 | if (visitChildren) { |
| 270 | // visit children in normal left to right reading order |
| 271 | if (this.ast.apiLevel >= AST.JLS4_INTERNAL) { |
| 272 | acceptChildren(visitor, this.resources); |
| 273 | } |
| 274 | acceptChild(visitor, getBody()); |
| 275 | acceptChildren(visitor, this.catchClauses); |
| 276 | acceptChild(visitor, getFinally()); |
| 277 | } |
| 278 | visitor.endVisit(this); |
| 279 | } |
| 280 | |
| 281 | /** |
| 282 | * Returns the body of this try statement. |
| 283 | * |
| 284 | * @return the try body |
| 285 | */ |
| 286 | public Block getBody() { |
| 287 | if (this.body == null) { |
| 288 | // lazy init must be thread-safe for readers |
| 289 | synchronized (this) { |
| 290 | if (this.body == null) { |
| 291 | preLazyInit(); |
| 292 | this.body = new Block(this.ast); |
| 293 | postLazyInit(this.body, BODY_PROPERTY); |
| 294 | } |
| 295 | } |
| 296 | } |
| 297 | return this.body; |
| 298 | } |
| 299 | |
| 300 | /** |
| 301 | * Sets the body of this try statement. |
| 302 | * |
| 303 | * @param body the block node |
| 304 | * @exception IllegalArgumentException if: |
| 305 | * <ul> |
| 306 | * <li>the node belongs to a different AST</li> |
| 307 | * <li>the node already has a parent</li> |
| 308 | * <li>a cycle in would be created</li> |
| 309 | * </ul> |
| 310 | */ |
| 311 | public void setBody(Block body) { |
| 312 | if (body == null) { |
| 313 | throw new IllegalArgumentException(); |
| 314 | } |
| 315 | ASTNode oldChild = this.body; |
| 316 | preReplaceChild(oldChild, body, BODY_PROPERTY); |
| 317 | this.body = body; |
| 318 | postReplaceChild(oldChild, body, BODY_PROPERTY); |
| 319 | } |
| 320 | |
| 321 | /** |
| 322 | * Returns the live ordered list of catch clauses for this try statement. |
| 323 | * |
| 324 | * @return the live list of catch clauses |
| 325 | * (element type: {@link CatchClause}) |
| 326 | */ |
| 327 | public List catchClauses() { |
| 328 | return this.catchClauses; |
| 329 | } |
| 330 | |
| 331 | /** |
| 332 | * Returns the finally block of this try statement, or <code>null</code> if |
| 333 | * this try statement has <b>no</b> finally block. |
| 334 | * |
| 335 | * @return the finally block, or <code>null</code> if this try statement |
| 336 | * has none |
| 337 | */ |
| 338 | public Block getFinally() { |
| 339 | return this.optionalFinallyBody; |
| 340 | } |
| 341 | |
| 342 | /** |
| 343 | * Sets or clears the finally block of this try statement. |
| 344 | * |
| 345 | * @param block the finally block node, or <code>null</code> if |
| 346 | * there is none |
| 347 | * @exception IllegalArgumentException if: |
| 348 | * <ul> |
| 349 | * <li>the node belongs to a different AST</li> |
| 350 | * <li>the node already has a parent</li> |
| 351 | * <li>a cycle in would be created</li> |
| 352 | * </ul> |
| 353 | */ |
| 354 | public void setFinally(Block block) { |
| 355 | ASTNode oldChild = this.optionalFinallyBody; |
| 356 | preReplaceChild(oldChild, block, FINALLY_PROPERTY); |
| 357 | this.optionalFinallyBody = block; |
| 358 | postReplaceChild(oldChild, block, FINALLY_PROPERTY); |
| 359 | } |
| 360 | |
| 361 | /** |
| 362 | * Returns the live ordered list of resources for this try statement (added in JLS4 API). |
| 363 | * |
| 364 | * <p>A resource is either a {@link VariableDeclarationExpression} or (since JLS9) a {@link Name}.</p> |
| 365 | * |
| 366 | * @return the live list of resources (element type: {@link Expression}). |
| 367 | * In the deprecated JLS4 and JLS8 APIs, this used to be |
| 368 | * (element type: {@link VariableDeclarationExpression}). |
| 369 | * @exception UnsupportedOperationException if this operation is used |
| 370 | * in a JLS2 or JLS3 AST |
| 371 | * @since 3.7.1 |
| 372 | */ |
| 373 | public List resources() { |
| 374 | // more efficient than just calling unsupportedIn2_3() to check |
| 375 | if (this.resources == null) { |
| 376 | unsupportedIn2_3(); |
| 377 | } |
| 378 | return this.resources; |
| 379 | } |
| 380 | |
| 381 | @Override |
| 382 | int memSize() { |
| 383 | return super.memSize() + 4 * 4; |
| 384 | } |
| 385 | |
| 386 | @Override |
| 387 | int treeSize() { |
| 388 | return |
| 389 | memSize() |
| 390 | + (this.resources == null ? 0 : this.resources.listSize()) |
| 391 | + (this.body == null ? 0 : getBody().treeSize()) |
| 392 | + this.catchClauses.listSize() |
| 393 | + (this.optionalFinallyBody == null ? 0 : getFinally().treeSize()); |
| 394 | } |
| 395 | } |
| 396 |
Members