equal
deleted
inserted
replaced
32 * <pre> |
32 * <pre> |
33 * catch ( <em>parameter</em> ) |
33 * catch ( <em>parameter</em> ) |
34 * <em>block</em> |
34 * <em>block</em> |
35 * </pre> |
35 * </pre> |
36 * |
36 * |
|
37 * @deprecated Nashorn JavaScript script engine and APIs, and the jjs tool |
|
38 * are deprecated with the intent to remove them in a future release. |
|
39 * |
37 * @since 9 |
40 * @since 9 |
38 */ |
41 */ |
|
42 @Deprecated(since="11", forRemoval=true) |
39 public interface CatchTree extends Tree { |
43 public interface CatchTree extends Tree { |
40 /** |
44 /** |
41 * Returns the catch parameter identifier or parameter binding pattern of the exception caught. |
45 * Returns the catch parameter identifier or parameter binding pattern of the exception caught. |
42 * |
46 * |
43 * @return the catch parameter identifier or parameter binding pattern |
47 * @return the catch parameter identifier or parameter binding pattern |