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
package term;
import bil.ExecutionType;
import bil.Variable;
import java.util.ArrayList;
import com.google.gson.annotations.SerializedName;
public class Jmp {
@SerializedName("type_")
private ExecutionType.JmpType type;
@SerializedName("mnemonic")
private String mnemonic;
@SerializedName("goto")
private Label goto_;
@SerializedName("call")
private Call call;
@SerializedName("condition")
private Variable condition;
@SerializedName("pcode_index")
private int pcodeIndex;
@SerializedName("target_hints")
private ArrayList<String> targetHints;
public Jmp() {
}
public Jmp(ExecutionType.JmpType type, String mnemonic, Label goto_, int pcodeIndex) {
this.setType(type);
this.setMnemonic(mnemonic);
this.setGoto_(goto_);
this.setPcodeIndex(pcodeIndex);
}
public Jmp(ExecutionType.JmpType type, String mnemonic, Call call, int pcodeIndex) {
this.setType(type);
this.setMnemonic(mnemonic);
this.setCall(call);
this.setPcodeIndex(pcodeIndex);
}
public Jmp(ExecutionType.JmpType type, String mnemonic, Label goto_, Variable condition, int pcodeIndex) {
this.setType(type);
this.setMnemonic(mnemonic);
this.setGoto_(goto_);
this.setCondition(condition);
this.setPcodeIndex(pcodeIndex);
}
public ExecutionType.JmpType getType() {
return type;
}
public void setType(ExecutionType.JmpType type) {
this.type = type;
}
public String getMnemonic() {
return mnemonic;
}
public void setMnemonic(String mnemonic) {
this.mnemonic = mnemonic;
}
public Variable getCondition() {
return condition;
}
public void setCondition(Variable condition) {
this.condition = condition;
}
public Call getCall() {
return call;
}
public void setCall(Call call) {
this.call = call;
}
public Label getGoto_() {
return goto_;
}
public void setGoto_(Label goto_) {
this.goto_ = goto_;
}
public int getPcodeIndex() {
return pcodeIndex;
}
public void setPcodeIndex(int pcodeIndex) {
this.pcodeIndex = pcodeIndex;
}
public ArrayList<String> getTargetHints() {
return targetHints;
}
public void setTargetHints(ArrayList<String> targetHints) {
this.targetHints = targetHints;
}
}