Come analizzare stringhe maiuscole e minuscole con jsr310 DateTimeFormatter?

Question

jsr-310 ha una classe utile DateTimeFormatters che consente di creare un DateTimeFormatter. Mi piace particolarmente il metodo pattern(String) - vedi javadoc

Tuttavia, ho riscontrato un problema per il quale è sensibile al maiuscolo e al minuscolo - ad es.

DateTimeFormatters.pattern("dd-MMM-yyyy"); 

incontri "01-gen-2012", ma non con "01-GEN-2012" o "01-gen-2012".

Un approccio sarebbe quello di rompere la stringa verso il basso e analizzare i componenti, o un altro sarebbe utilizzare Regex per sostituire le stringhe senza distinzione tra maiuscole e minuscole con la stringa sensibile al maiuscolo/minuscolo.

Ma ci si sente come se ci deve essere un modo più semplice ...

Answer 1

E c'è ... secondo il User Guide (offline, vedi JavaDoc invece), è necessario utilizzare DateTimeFormatterBuilder per costruire un complesso DateTimeFormatter

ad es.

DateTimeFormatterBuilder builder = new DateTimeFormatterBuilder(); 
builder.parseCaseInsensitive(); 
builder.appendPattern("dd-MMM-yyyy"); 
DateTimeFormatter dateFormat = builder.toFormatter(); 

Answer 2

Questa alternativa è utile per le variabili statiche initializating:

DateTimeFormatter myFormatter = new DateTimeFormatterBuilder() 
           .parseCaseInsensitive() 
           .appendPattern("dd-MMM-yyyy") 
           .toFormatter(Locale.ENGLISH);