@Override
public IResponse get_info(IKeyword key) {
super.get_info(key);
IKeyword option = key;
IAttributeValue lit;
if (Utils.ERROR_BEHAVIOR.equals(option)) {
lit = smtConfig.exprFactory.symbol(Utils.CONTINUED_EXECUTION);
} else if (Utils.AUTHORS.equals(option)) {
lit = smtConfig.exprFactory.unquotedString("David Detlefs and Greg Nelson and James B. Saxe");
} else if (Utils.VERSION.equals(option)) {
lit = smtConfig.exprFactory.unquotedString("1.5.4");
} else if (Utils.NAME.equals(option)) {
lit = smtConfig.exprFactory.unquotedString("simplify");
} else if (Utils.REASON_UNKNOWN.equals(option)) {
return smtConfig.responseFactory.unsupported();
} else if (Utils.ALL_STATISTICS.equals(option)) {
return smtConfig.responseFactory.unsupported();
} else {
return smtConfig.responseFactory.unsupported();
}
IAttribute<?> attr = smtConfig.exprFactory.attribute(key, lit);
return smtConfig.responseFactory.get_info_response(attr);
}
