fbench.dom
Class DOMTextModel

java.lang.Object
  fbench.dom.ElementModel
      fbench.dom.DOMTextModel

All Implemented Interfaces:

org.w3c.dom.events.EventListener

public class DOMTextModel
extends ElementModel
implements org.w3c.dom.events.EventListener

A model for displaying and navigating in a JTextArea the XML source code of an IEC 61499 LibraryElement whose underlying model is a DOM Document.

Version:

20051115/JHC - Made a DOM EventListener displaying only selected Element., 20050420/JHC

Author:

JHC

Constructor Summary

DOMTextModel(javax.swing.JTextArea textArea, org.w3c.dom.Document document)

Method Summary

java.lang.String	getText(boolean forSave)
void	handleEvent(org.w3c.dom.events.Event evt)
boolean	isModified()
void	rewrite()
void	scrollToLine(int lineNum)
void	setDocument(org.w3c.dom.Document doc) Set the document and refresh the display.
void	setElement(org.w3c.dom.Element el)
void	setModified(boolean mod)

Methods inherited from class fbench.dom.ElementModel

equals, forElement, getComment, getElement, getName, getType, isDigit, isLetter, isName, toString

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DOMTextModel

public DOMTextModel(javax.swing.JTextArea textArea,
                    org.w3c.dom.Document document)

Method Detail

isModified

public boolean isModified()

setModified

public void setModified(boolean mod)

setDocument

public void setDocument(org.w3c.dom.Document doc)

Set the document and refresh the display.

scrollToLine

public void scrollToLine(int lineNum)

handleEvent

public void handleEvent(org.w3c.dom.events.Event evt)

Specified by:

handleEvent in interface org.w3c.dom.events.EventListener

setElement

public void setElement(org.w3c.dom.Element el)

Overrides:

setElement in class ElementModel

rewrite

public void rewrite()

getText

public java.lang.String getText(boolean forSave)