1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175
| import java.util.regex.*;
import javax.swing.*;
import javax.swing.text.*;
import javax.swing.event.*;
public class TstPlainDocu extends JFrame{
public JTextField jtf;
public TstPlainDocu(){
super("Test PlainDocu");
this.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
jtf = new JTextField(20);
//MyDocument md = new MyDocument(MyDocument.MY_TYPE);
MyDocument md = new MyDocument();
//md.setUnRemovableChar(new char[]{'-'});
md.setUnRemovableChar(new char[]{','});
md.setCanBeEmpty(true);
jtf.setDocument(md);
//jtf.setText("a-f-k");
jtf.setText("0,0");
//jtf.setDocument(new MyDocument("^([aety]+(/[u]*)?)?$"));
//jtf.setDocument(new MyDocument(MyDocument.MY_TYPE));
this.getContentPane().add(jtf);
this.pack();
this.show();
}
public static void main(String args[]){
new TstPlainDocu();
}
protected class MyDocument extends PlainDocument{
public final static int INT_TYPE = 0;
public final static int FLOAT_TYPE = 1;
public final static int MY_TYPE = 2;
public final static String FINT_TYPE = "^[0-9]*$";
public final static String FFLOAT_TYPE = "^([0-9]+(,[0-9]*)?)?$";
public final static String FMY_TYPE = "^([abcde]{0,5}(-[fghij]{0,3}(-[klmn]{0,6})?)?)?$";
public final static String FDEFAULT = "^.*$";
private char[] cantRemoveChar = new char[0];
private String format = "^([0-9]+,([0-9]*)?)$";
private Pattern regFloat;
private boolean canBeEmpty = false;
private String canBeEmptyFormat = "";
private Pattern canBeEmptyPattern = null;
private String saveStringBeforeEmpty = null;
public MyDocument(){
super();
this.regFloat = Pattern.compile(this.format);
}
public MyDocument(String format){
super();
this.format = format;
this.regFloat = Pattern.compile(this.format);
}
public MyDocument(int type){
super();
//assert type >= 0 : "Le nouveau type de MonPlain document est < 0";
switch(type){
case INT_TYPE:
this.format = FINT_TYPE;
break;
case FLOAT_TYPE:
this.format = FFLOAT_TYPE;
break;
case MY_TYPE:
this.format = FMY_TYPE;
break;
default:
this.format = FDEFAULT;
}
this.regFloat = Pattern.compile(this.format);
}
/**
* Cette méthode initialise le document avec une chaine de caractères et défini un jeux de caractère que l'on ne peut pas supprimer.
*/
public void setUnRemovableChar(char[] cantRemoveChar){
if(cantRemoveChar == null){
return;
}
this.cantRemoveChar = cantRemoveChar;
canBeEmptyFormat = "^[";
for(int i=0; i<this.cantRemoveChar.length; i++){
canBeEmptyFormat += this.cantRemoveChar[i];
}
canBeEmptyFormat += "]+$";
canBeEmptyPattern = Pattern.compile(canBeEmptyFormat);
}
public void setCanBeEmpty(boolean b){
this.canBeEmpty = b;
}
/**
* On enregistre le texte courant, on effectue le insertString, puis on récupère le nouveau texte et on vérifie qu'il correspond au Pattern.
* S'il ne corespond pas on efface le texte et on remet l'ancien.
*/
public void insertString(int offset, String text, AttributeSet a) throws BadLocationException{
if(saveStringBeforeEmpty != null){
super.insertString(0, saveStringBeforeEmpty, a);
saveStringBeforeEmpty = null;
}
String olds = this.getText(0, this.getLength());
super.insertString(offset, text, a);
String news = this.getText(0, this.getLength());
Matcher mnew = regFloat.matcher(news);
if(!mnew.find()){
// Si le nouveau texte ne 'match' pas le pattern
// alors on remet l'ancien.
super.remove(0, this.getLength());
super.insertString(0, olds, a);
}
canBeEmptyRemoveAll();
}
/**
* On vérifie que l'on essaye pas d'effacer un carqctère inéfaçable.
* @see setUnRemovableChar()
*/
public void remove(int offs, int len) throws BadLocationException{
boolean remove = true;
if(offs < 0){
super.remove(offs, len);
return;
}
for(int i=0; i<cantRemoveChar.length && remove; i++){
if(this.getText(0,getLength()).substring(offs, offs+len).indexOf(cantRemoveChar[i]) >= 0){
remove = false;
}
}
if(remove){
super.remove(offs, len);
}
this.canBeEmptyRemoveAll();
}
/**
* Cette méthode vide efface tout le texte s'il ne reste que des caractères 'innéfaçable' et que canBeEmpty == true.
*/
private void canBeEmptyRemoveAll() throws BadLocationException{
if(this.canBeEmpty){
if(canBeEmptyPattern != null){
Matcher me = canBeEmptyPattern.matcher(this.getText(0, this.getLength()));
if(me.find()){
this.saveStringBeforeEmpty = this.getText(0, this.getLength());
super.remove(0, this.getLength());
}
}
}
}
}
} |
Partager