📄 mytextdocument.java
字号:
package sjs;
import javax.swing.text.*;
public class MyTextDocument extends PlainDocument {
private int maxlenth;
private String flag;
public MyTextDocument(int maxlen)
{
this(maxlen,null);
}
public MyTextDocument(int maxlen,String flagstate)
{
super();
maxlenth=maxlen;
flag=flagstate;
}
synchronized public void insertString(int offs, String str, AttributeSet a)
throws BadLocationException {
if(str == null)
{
return;
}
else if (offs>=maxlenth){
return;
}
else if(flag=="int")
{
char[] upper = str.toCharArray();
for (int i = 0; i < upper.length; i++) {
if((upper[i]<'0'||upper[i]>'9')&&(upper[0]!='-'))
return;
}
super.insertString(offs, new String(upper), a);
}
else if(flag=="float")
{
char[] upper = str.toCharArray();
for (int i = 0; i < upper.length; i++) {
if((upper[i]<'0'||upper[i]>'9')&&upper[i]!='.'&&upper[i]!='-')
return;
}
super.insertString(offs, new String(upper), a);
}
else
super.insertString(offs, str, a);
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -