home *** CD-ROM | disk | FTP | other *** search
- package webeq3.dom;
-
- import org.w3c.dom.Attr;
- import org.w3c.dom.DOMException;
- import org.w3c.dom.Document;
- import org.w3c.dom.Element;
- import org.w3c.dom.NamedNodeMap;
- import org.w3c.dom.Node;
- import org.w3c.dom.NodeList;
-
- public class MathMLDOMAttribute implements Attr {
- private Document owner = null;
- private String name = null;
- private boolean specified = false;
- private String value = null;
- private Element owner_element = null;
- private int index;
-
- public MathMLDOMAttribute(Document var1, String var2, int var3) {
- this.owner = var1;
- this.name = var2;
- this.index = var3;
- }
-
- public String getName() {
- return this.name;
- }
-
- public boolean getSpecified() {
- return this.specified;
- }
-
- public String getValue() {
- return this.value;
- }
-
- public void setValue(String var1) throws DOMException {
- this.value = var1;
- this.specified = true;
- }
-
- public Element getOwnerElement() {
- return this.owner_element;
- }
-
- public void setOwnerElement(Element var1) {
- this.owner_element = var1;
- }
-
- public String getNodeName() {
- return this.name;
- }
-
- public String getNodeValue() throws DOMException {
- return this.value;
- }
-
- public void setNodeValue(String var1) throws DOMException {
- this.value = var1;
- this.specified = true;
- }
-
- public short getNodeType() {
- return 2;
- }
-
- public Node getParentNode() {
- return null;
- }
-
- public NodeList getChildNodes() {
- return null;
- }
-
- public Node getFirstChild() {
- return null;
- }
-
- public Node getLastChild() {
- return null;
- }
-
- public Node getPreviousSibling() {
- return null;
- }
-
- public Node getNextSibling() {
- return null;
- }
-
- public NamedNodeMap getAttributes() {
- return null;
- }
-
- public Document getOwnerDocument() {
- return this.owner;
- }
-
- public Node insertBefore(Node var1, Node var2) throws DOMException {
- return null;
- }
-
- public Node replaceChild(Node var1, Node var2) throws DOMException {
- return null;
- }
-
- public Node removeChild(Node var1) throws DOMException {
- return null;
- }
-
- public Node appendChild(Node var1) throws DOMException {
- return null;
- }
-
- public boolean hasChildNodes() {
- return false;
- }
-
- public Node cloneNode(boolean var1) {
- return null;
- }
-
- public void normalize() {
- }
-
- public boolean supports(String var1, String var2) {
- return false;
- }
-
- public String getNamespaceURI() {
- return null;
- }
-
- public String getPrefix() {
- return null;
- }
-
- public void setPrefix(String var1) throws DOMException {
- }
-
- public String getLocalName() {
- return this.getNodeName();
- }
-
- public int getIndex() {
- return this.index;
- }
- }
-