1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19 package org.apache.bcel.generic;
20
21 import java.io.DataOutputStream;
22 import java.io.IOException;
23
24 import org.apache.bcel.util.ByteSequence;
25
26
27
28
29
30
31 public class TABLESWITCH extends Select {
32
33
34
35
36 TABLESWITCH() {
37 }
38
39
40
41
42
43
44 public TABLESWITCH(final int[] match, final InstructionHandle[] targets, final InstructionHandle defaultTarget) {
45 super(org.apache.bcel.Const.TABLESWITCH, match, targets, defaultTarget);
46
47 final short length = (short) (13 + getMatchLength() * 4);
48 super.setLength(length);
49 setFixedLength(length);
50 }
51
52
53
54
55
56
57
58 @Override
59 public void accept(final Visitor v) {
60 v.visitVariableLengthInstruction(this);
61 v.visitStackConsumer(this);
62 v.visitBranchInstruction(this);
63 v.visitSelect(this);
64 v.visitTABLESWITCH(this);
65 }
66
67
68
69
70
71
72 @Override
73 public void dump(final DataOutputStream out) throws IOException {
74 super.dump(out);
75 final int matchLength = getMatchLength();
76 final int low = matchLength > 0 ? super.getMatch(0) : 0;
77 out.writeInt(low);
78 final int high = matchLength > 0 ? super.getMatch(matchLength - 1) : 0;
79 out.writeInt(high);
80 for (int i = 0; i < matchLength; i++) {
81 out.writeInt(setIndices(i, getTargetOffset(super.getTarget(i))));
82 }
83 }
84
85
86
87
88 @Override
89 protected void initFromFile(final ByteSequence bytes, final boolean wide) throws IOException {
90 super.initFromFile(bytes, wide);
91 final int low = bytes.readInt();
92 final int high = bytes.readInt();
93 final int matchLength = high - low + 1;
94 setMatchLength(matchLength);
95 final short fixedLength = (short) (13 + matchLength * 4);
96 setFixedLength(fixedLength);
97 super.setLength((short) (fixedLength + super.getPadding()));
98 super.setMatches(new int[matchLength]);
99 super.setIndices(new int[matchLength]);
100 super.setTargets(new InstructionHandle[matchLength]);
101 for (int i = 0; i < matchLength; i++) {
102 super.setMatch(i, low + i);
103 super.setIndices(i, bytes.readInt());
104 }
105 }
106 }