📄 jdfwrapper.java
字号:
import org.cip4.jdflib.core.JDFElement;
import org.w3c.dom.Element;
class JDFWrapper extends Wrapper
{
private String xPath = null;
public JDFWrapper(Element element)
{
super(element);
}
public JDFWrapper(Element element, String path)
{
super(element);
xPath = path;
}
public String getXPath()
{
return this.xPath;
}
public void setXPath(String path)
{
this.xPath = path;
}
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()
{
if (m_Element.getAttribute("DescriptiveName").length() != 0)
return m_Element.getTagName()
+ getID()
+ ", "
+ m_Element.getAttribute("DescriptiveName");
return m_Element.getTagName() + getID();
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -