edu.isi.powerloom.gui.parser
Class PLElement
java.lang.Object
|
+--edu.isi.powerloom.gui.parser.PLElement
- All Implemented Interfaces:
- javax.swing.text.Element
- public class PLElement
- extends java.lang.Object
- implements javax.swing.text.Element
Implementation of javax.swing.text.Element which represents a node in
a parse tree. Eventually, this might be used for a special text widget.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SYMBOL_ATTRIBUTE
public final java.lang.String SYMBOL_ATTRIBUTE
- See Also:
- Constant Field Values
TOKEN_ATTRIBUTE
public final java.lang.String TOKEN_ATTRIBUTE
- See Also:
- Constant Field Values
PLElement
public PLElement()
getAttributes
public javax.swing.text.AttributeSet getAttributes()
- Specified by:
getAttributes
in interface javax.swing.text.Element
setAtrributes
public void setAtrributes(javax.swing.text.AttributeSet attributes)
addAttribute
public void addAttribute(java.lang.Object name,
java.lang.Object value)
getAttribute
public java.lang.Object getAttribute(java.lang.Object name)
setAttribute
public void setAttribute(java.lang.Object name,
java.lang.Object value)
getDocument
public javax.swing.text.Document getDocument()
- Specified by:
getDocument
in interface javax.swing.text.Element
getElement
public javax.swing.text.Element getElement(int index)
- Specified by:
getElement
in interface javax.swing.text.Element
addElement
public void addElement(javax.swing.text.Element element)
getElementCount
public int getElementCount()
- Specified by:
getElementCount
in interface javax.swing.text.Element
getElementIndex
public int getElementIndex(int offset)
- Specified by:
getElementIndex
in interface javax.swing.text.Element
getLeafElement
public PLElement getLeafElement(int offset)
getEndOffset
public int getEndOffset()
- Specified by:
getEndOffset
in interface javax.swing.text.Element
getName
public java.lang.String getName()
- Specified by:
getName
in interface javax.swing.text.Element
setName
public void setName(java.lang.String name)
getParentElement
public javax.swing.text.Element getParentElement()
- Specified by:
getParentElement
in interface javax.swing.text.Element
setParentElement
public void setParentElement(javax.swing.text.Element parent)
getToken
public Yytoken getToken()
setToken
public void setToken(Yytoken token)
getSymbol
public Symbol getSymbol()
setSymbol
public void setSymbol(Symbol symbol)
getStartOffset
public int getStartOffset()
- Specified by:
getStartOffset
in interface javax.swing.text.Element
isLeaf
public boolean isLeaf()
- Specified by:
isLeaf
in interface javax.swing.text.Element
dump
public void dump()
Copyright © 2002 University of Southern California Information Sciences Institute. All Rights Reserved.