|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--jadex.swing.sequence.SequenceModel
This is the data model for SequenceDisplay. By using JDOM API, the data model is rather simple compared to other ways.
Constructor Summary | |
SequenceModel()
Default constructor |
|
SequenceModel(SequenceFetcher fetcher)
Second constructor |
Method Summary | |
org.jdom.Document |
getDocument()
Get the xml document from fetcher. |
SequenceFetcher |
getFetcher()
Get the data source. |
org.jdom.Namespace |
getNamespace()
Get the namespace of this document |
org.jdom.Element |
getRoot()
Get the root element. |
boolean |
isLeaf(org.jdom.Element node)
Check if the element is a lead |
org.jdom.Element |
search(java.lang.String name)
Search a specific sequence element by its name. |
void |
setFetcher(SequenceFetcher fetcher)
Set the datasouce for this SequenceModel. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public SequenceModel()
public SequenceModel(SequenceFetcher fetcher)
fetcher
- data producerMethod Detail |
public void setFetcher(SequenceFetcher fetcher)
fetcher
- the data producerpublic SequenceFetcher getFetcher()
public boolean isLeaf(org.jdom.Element node)
node
- the checked elementpublic org.jdom.Element getRoot()
public org.jdom.Document getDocument()
public org.jdom.Namespace getNamespace()
public org.jdom.Element search(java.lang.String name)
name
- the seached name of the sequence
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |