01: /* Copyright (C) 2004 - 2007 db4objects Inc. http://www.db4o.com
02:
03: This file is part of the db4o open source object database.
04:
05: db4o is free software; you can redistribute it and/or modify it under
06: the terms of version 2 of the GNU General Public License as published
07: by the Free Software Foundation and as clarified by db4objects' GPL
08: interpretation policy, available at
09: http://www.db4o.com/about/company/legalpolicies/gplinterpretation/
10: Alternatively you can write to db4objects, Inc., 1900 S Norfolk Street,
11: Suite 350, San Mateo, CA 94403, USA.
12:
13: db4o is distributed in the hope that it will be useful, but WITHOUT ANY
14: WARRANTY; without even the implied warranty of MERCHANTABILITY or
15: FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16: for more details.
17:
18: You should have received a copy of the GNU General Public License along
19: with this program; if not, write to the Free Software Foundation, Inc.,
20: 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
21: package EDU.purdue.cs.bloat.cfg;
22:
23: import java.util.*;
24:
25: import EDU.purdue.cs.bloat.editor.*;
26:
27: /**
28: * <tt>Handler</tt> represents a try-catch block. It containes a set of
29: * protected <tt>Block</tt>s (the "try" blocks), a catch <tt>Block</tt>,
30: * and the <tt>Type</tt> of exception that is caught by the catch block.
31: *
32: * @see Block
33: * @see EDU.purdue.cs.bloat.reflect.Catch
34: * @see EDU.purdue.cs.bloat.editor.TryCatch
35: */
36: public class Handler {
37: Set protectedBlocks;
38:
39: Block catchBlock;
40:
41: Type type;
42:
43: /**
44: * Constructor.
45: *
46: * @param catchBlock
47: * The block of code that handles an exception
48: * @param type
49: * The type of exception that is thrown
50: */
51: public Handler(final Block catchBlock, final Type type) {
52: this .protectedBlocks = new HashSet();
53: this .catchBlock = catchBlock;
54: this .type = type;
55: }
56:
57: /**
58: * Returns a <tt>Collection</tt> of the "try" blocks.
59: */
60: public Collection protectedBlocks() {
61: return protectedBlocks;
62: }
63:
64: public void setCatchBlock(final Block block) {
65: catchBlock = block;
66: }
67:
68: public Block catchBlock() {
69: return catchBlock;
70: }
71:
72: public Type catchType() {
73: return type;
74: }
75:
76: public String toString() {
77: return "try -> catch (" + type + ") " + catchBlock;
78: }
79: }
|