public void setConstErrorMessage() {
MethodInfo mi = insn.getMethodInfo();
StringBuilder sb = new StringBuilder("@Const method violation: ");
sb.append(mi.getFullName());
sb.append("\n\tfield: ");
sb.append(((FieldInfo) use).getFullName());
sb.append("\n\tmethod: ");
sb.append(insn.getSourceLocation());
msg = sb.toString();
}
public void setSharedErrorMessage() {
StringBuilder sb = new StringBuilder("@NonShared object violation: ");
sb.append(rec.ei);
sb.append("\n\tcreated in thread: ");
sb.append(rec.tiCreate.getName());
sb.append("\n\tused in thread: ");
sb.append(tiUse.getName());
sb.append("\n\tmethod: ");
sb.append(insn.getSourceLocation());
msg = sb.toString();
}
