📄 xmlreader.java
字号:
// XMLReader.java// $Id: XMLReader.java,v 1.7 2004/01/21 14:01:19 ylafon Exp $// (c) COPYRIGHT MIT, INRIA and Keio, 1999.// Please first read the full copyright statement in file COPYRIGHT.htmlpackage org.w3c.tools.resources.serialization.xml;import java.io.IOException;import java.io.Reader;import java.util.Vector;import java.util.Hashtable;import java.util.Stack;import org.xml.sax.AttributeList;import org.xml.sax.HandlerBase;import org.xml.sax.InputSource;import org.xml.sax.Parser;import org.xml.sax.SAXException;import org.xml.sax.SAXParseException;import org.w3c.tools.resources.Resource;import org.w3c.tools.resources.AttributeHolder;import org.w3c.tools.resources.UnknownResource;import org.w3c.tools.resources.ResourceFrame;import org.w3c.tools.resources.Attribute;import org.w3c.tools.resources.SimpleAttribute;import org.w3c.tools.resources.ArrayAttribute;import org.w3c.tools.resources.serialization.SerializationException;/** * @version $Revision: 1.7 $ * @author Beno顃 Mah
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -