📄 wrapper.java
字号:
import org.cip4.jdflib.core.JDFElement;
import org.w3c.dom.Element;
class Wrapper
{
protected Element m_Element;
public Wrapper(Element element)
{
this.m_Element = element;
}
protected Element getElement()
{
return this.m_Element;
}
protected String getID()
{
String strID = m_Element.getAttribute("ID");
if (strID != null && (strID.length() > 0))
strID = ": " + strID;
else
strID = "";
return strID;
}
protected String getRef()
{
String strID = m_Element.getAttribute("rRef");
if (strID != null && (strID.length() > 0))
strID = ": " + strID;
else
strID = "";
return strID;
}
protected String getUsage()
{
String strUsage = m_Element.getAttribute("Usage");
if (strUsage == null)
strUsage = "";
strUsage = "(" + strUsage + ")";
return strUsage;
}
public boolean wrapperIsValid()
{
boolean isValid = true;
if (Editor.getEditor().getFrame().isValidateOn())
{
final JDFElement jdfElement = (JDFElement) m_Element;
if (jdfElement != null)
isValid = Editor.getEditor().getFrame().elemIsValid(jdfElement);
}
return isValid;
}
public String toString()
{
String strNodeName = m_Element.getTagName();
strNodeName += getID();
return strNodeName;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -