Estás usando DocumentFilter para interceptar y modificar el texto mientras el usuario escribe (complementa a InputVerifier ). En un JTextField escribes:
((AbstractDocument) textField.getDocument()).setDocumentFilter(new MiFiltro());
¿Por qué es necesario el cast a AbstractDocument?

Question

Estás usando  DocumentFilter  para interceptar y modificar el texto mientras el usuario escribe (complementa a  InputVerifier ). En un  JTextField  escribes: 
 ((AbstractDocument) textField.getDocument()).setDocumentFilter(new MiFiltro()); 
 ¿Por qué es necesario el  cast  a  AbstractDocument?

Accepted Answer

El método que necesitamos ( setDocumentFilter(...) ) no está en la interfaz Document, sino en la clase AbstractDocument.

Answer

Porque  getDocument()  siempre devuelve un  StyledDocument  y el  cast  evita  NullPointerException

Answer

Porque  DocumentFilter  solo funciona con  JTextArea  y el  cast  lo habilita en  JTextField .

Answer

Porque el  cast  inyecta el filtro en tiempo de ejecución y siempre es seguro.

Crowdly

Estás usando DocumentFilter para interceptar y modificar el texto mientras el ...

Want instant access to all verified answers on educacionadistancia.juntadeandalucia.es?