/** Returns the attribute name for the specified attribute */
public String get_attribute_name(Attribute a) {
int con_index = a.getNameIndex();
Constant c = pgen.getConstant(con_index);
String att_name = ((ConstantUtf8) c).getBytes();
return (att_name);
}
/** Returns the attribute name for the specified attribute */
public static String get_attribute_name(Attribute a, ConstantPoolGen pool) {
int con_index = a.getNameIndex();
Constant c = pool.getConstant(con_index);
String att_name = ((ConstantUtf8) c).getBytes();
return (att_name);
}
/** Symbolically executes the corresponding Java Virtual Machine instruction. */
public void visitLDC2_W(LDC2_W o) {
Constant c = cpg.getConstant(o.getIndex());
if (c instanceof ConstantLong) {
stack().push(Type.LONG);
}
if (c instanceof ConstantDouble) {
stack().push(Type.DOUBLE);
}
}
/** Symbolically executes the corresponding Java Virtual Machine instruction. */
public void visitLDC_W(LDC_W o) {
Constant c = cpg.getConstant(o.getIndex());
if (c instanceof ConstantInteger) {
stack().push(Type.INT);
}
if (c instanceof ConstantFloat) {
stack().push(Type.FLOAT);
}
if (c instanceof ConstantString) {
stack().push(Type.STRING);
}
}
