/**
* The method is called by an option implementation when there is a problem parsing the value for
* an option supplied by the user on the command line. For example, if an integer is not in the
* correct format, this method will be called, which will report an error.
*
* @param name the name of the option
* @param type the value type
* @param val the (invalid) value passed
*/
protected void parseError(String name, String type, String val) {
Util.userError(
"Option Error",
"invalid value for "
+ type
+ " option "
+ StringUtil.quote(name)
+ " = "
+ StringUtil.quote(val));
}
public Unexpected(Throwable t) {
super(StringUtil.quote(t.getClass()));
thrown = t;
}