📄 sizeconverter.java
字号:
/* * Copyright 2008 Sun Microsystems, Inc. All Rights Reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 only, as * published by the Free Software Foundation. * * This code is distributed in the hope that it will be useful, but WITHOUT * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License * version 2 for more details (a copy is included in the LICENSE file that * accompanied this code). * * You should have received a copy of the GNU General Public License version * 2 along with this work; if not, write to the Free Software Foundation, * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. * * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, * CA 95054 USA or visit www.sun.com if you need additional information or * have any questions. */ package com.sun.stylesheet.types;import java.util.regex.*;import com.sun.stylesheet.*;import com.sun.stylesheet.styleable.*;/** * Converts strings representing CSS sizes (e.g. "12pt" or "0.2em") to * {@link Size Sizes}. */public class SizeConverter implements TypeConverter<Size> { Pattern pattern = Pattern.compile("(\\d*(?:\\.\\d*)?)(%|in|cm|mm|" + "pt|px|pc|em|ex)"); public Size convertFromString(String string) { Matcher m = pattern.matcher(string); if (m.matches()) { float value = Float.parseFloat(m.group(1)); String unit = m.group(2); if (unit.equals("%")) unit = "percent"; return new Size(value, Size.Unit.valueOf(unit)); } else throw new StylesheetException("Could not convert string '" + string + "' into Size"); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -