1 /* Soot - a J*va Optimization Framework
2 * Copyright (C) 1999 Patrick Lam
3 *
4 * This library is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU Lesser General Public
6 * License as published by the Free Software Foundation; either
7 * version 2.1 of the License, or (at your option) any later version.
8 *
9 * This library is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 * Lesser General Public License for more details.
13 *
14 * You should have received a copy of the GNU Lesser General Public
15 * License along with this library; if not, write to the
16 * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
17 * Boston, MA 02111-1307, USA.
18 */
19
20 /*
21 * Modified by the Sable Research Group and others 1997-1999.
22 * See the 'credits' file distributed with Soot for the complete list of
23 * contributors. (Soot is distributed at http://www.sable.mcgill.ca/soot)
24 */
25
26
27
28
29
30
31 package org.kit.furia.fragment.soot.representation.internal;
32
33 import soot.*;
34 import org.kit.furia.fragment.soot.representation.*;
35 import soot.jimple.internal.*;
36 import soot.jimple.*;
37 import java.util.*;
38
39 public class FTableSwitchStmt extends JTableSwitchStmt implements Qable
40 {
41 /**
42 *
43 */
44 private static final long serialVersionUID = -5504174285536383060L;
45
46 // This method is necessary to deal with constructor-must-be-first-ism.
47 private static UnitBox[] getTargetBoxesArray(List targets)
48 {
49 UnitBox[] targetBoxes = new UnitBox[targets.size()];
50
51 for(int i = 0; i < targetBoxes.length; i++)
52 targetBoxes[i] = Frimp.v().newStmtBox((Stmt) targets.get(i));
53
54 return targetBoxes;
55 }
56
57 public FTableSwitchStmt(Value key, int lowIndex, int highIndex, List targets,
58 Unit defaultTarget)
59 {
60 super(Frimp.v().newExprBox(key), lowIndex, highIndex,
61 getTargetBoxesArray(targets),
62 Frimp.v().newStmtBox(defaultTarget));
63 }
64
65
66 public Object clone() // NOPMD by amuller on 11/16/06 4:21 PM
67 {
68 return new FTableSwitchStmt(Frimp.cloneIfNecessary(getKey()), getLowIndex(), getHighIndex(),
69 getTargets(), getDefaultTarget());
70 }
71
72 public String toQ(){
73 assert false: "We shouldn't be calling this method!!!!";
74 return null;
75 }
76
77 }
78
79