⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 dtdelement.java

📁 OR Mapping工具
💻 JAVA
字号:
package org.ephman.xml.dtd;/** interface to wrap dtd fields * should give name of field and type/validation (id string 4c!) */import java.util.Vector;public class DtdElement {	public DtdElement (String n) {		isPCData = true;		setName (n);	}	public DtdElement (String n, Vector els) {		isPCData = false;		setName (n);		elements = els;	}		private void setName (String n) {		if (n.endsWith ("?")) 			name = n.substring (0, n.length()-1);		else if (n.endsWith ("*") || n.endsWith ("+")) {			name = n.substring (0, n.length()-1);			isVector = true;		}		else			name = n;				}	public boolean isVector = false;	public String name;	public boolean isPCData;	public Vector elements = new Vector ();		public String toString () {		String result =  "<!ELEMENT " + name + "(";		if (isPCData)			result += "#PCDATA";		else {			for (int i=0; i < elements.size (); i++)				result += " " + elements.elementAt (i) + ",";			if (result.endsWith (","))				result = result.substring (0, result.length () -1);		}		result += ") >";		return result;	}	}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -