1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
/*
* Copyright (C) 2007 The Android Open Source Project
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package com.android.dexgen.rop.code;
import com.android.dexgen.rop.type.StdTypeList;
import com.android.dexgen.rop.type.Type;
import com.android.dexgen.rop.type.TypeList;
import com.android.dexgen.util.IntList;
/**
* Instruction which contains switch cases.
*/
public final class SwitchInsn
extends Insn {
/** {@code non-null;} list of switch cases */
private final IntList cases;
/**
* Constructs an instance.
*
* @param opcode {@code non-null;} the opcode
* @param position {@code non-null;} source position
* @param result {@code null-ok;} spec for the result, if any
* @param sources {@code non-null;} specs for all the sources
* @param cases {@code non-null;} list of switch cases
*/
public SwitchInsn(Rop opcode, SourcePosition position, RegisterSpec result,
RegisterSpecList sources, IntList cases) {
super(opcode, position, result, sources);
if (opcode.getBranchingness() != Rop.BRANCH_SWITCH) {
throw new IllegalArgumentException("bogus branchingness");
}
if (cases == null) {
throw new NullPointerException("cases == null");
}
this.cases = cases;
}
/** {@inheritDoc} */
@Override
public String getInlineString() {
return cases.toString();
}
/** {@inheritDoc} */
@Override
public TypeList getCatches() {
return StdTypeList.EMPTY;
}
/** {@inheritDoc} */
@Override
public void accept(Visitor visitor) {
visitor.visitSwitchInsn(this);
}
/** {@inheritDoc} */
@Override
public Insn withAddedCatch(Type type) {
throw new UnsupportedOperationException("unsupported");
}
/** {@inheritDoc} */
@Override
public Insn withRegisterOffset(int delta) {
return new SwitchInsn(getOpcode(), getPosition(),
getResult().withOffset(delta),
getSources().withOffset(delta),
cases);
}
/**
* {@inheritDoc}
*
* <p> SwitchInsn always compares false. The current use for this method
* never encounters {@code SwitchInsn}s
*/
@Override
public boolean contentEquals(Insn b) {
return false;
}
/** {@inheritDoc} */
@Override
public Insn withNewRegisters(RegisterSpec result,
RegisterSpecList sources) {
return new SwitchInsn(getOpcode(), getPosition(),
result,
sources,
cases);
}
/**
* Gets the list of switch cases.
*
* @return {@code non-null;} the case list
*/
public IntList getCases() {
return cases;
}
}
|
