问是否有比将宽大处理设置为false更严格的日期解析的方法？

EN

我对Java编程有点陌生，我需要将我得到的日期解析为字符串。格式必须是dd-MM-yyyy，但与我认为的答案无关。

要将该字符串解析为Calendar对象，我将以以下方式使用SimpleDateFormat：

String example = "16-09-2013";
SimpleDateFormat format = new SimpleDateFormat("dd-MM-yyyy");
formato.setLenient(false);
Calendar cal = new GregorianCalendar();
cal.setTime(format.parse(date));

其结果是预期的结果。

问题是，它还将正确地解析类似于"16-9-2013" (注意月份中没有前导0)的内容，当出现这种情况时，我更愿意抛出异常并捕获它以适当地通知。

我被限制使用Java而不添加任何内容(这会占用Joda的时间等)，所以我想知道，是否有一种方法可以解析日期字符串，使其只在严格遵循格式的情况下才能成功？