📄 doubleproperty.java
字号:
package jmathlib.core.graphics.properties;import java.text.DecimalFormat;import jmathlib.core.graphics.*;public class DoubleProperty extends Property{ private double value; public DoubleProperty(PropertySet parent, String name, double value) { super(parent, name); this.value = value; } public Object get() { return new Double(value); } public void set(Object val) throws PropertyException { if (val instanceof Number) value = ((Number)val).doubleValue(); else throw new PropertyException("invalid property value - " + val.toString()); } public double doubleValue() { return value; } public float floatValue() { return (float)value; } public String toString() { DecimalFormat fmt = new DecimalFormat("0.0000"); return fmt.format(value); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -