|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectar.edu.unr.fceia.bottallo.JDOMWorker
public class JDOMWorker
Works with the XML library JDOM to detect graphical elements in .odg files
Constructor Summary | |
---|---|
JDOMWorker()
Creates a new instance of JDOMWorker |
Method Summary | |
---|---|
protected void |
addLine(org.jdom.Element e,
java.lang.String text)
Add an invisble line to put information about active state in parametrized states |
protected boolean |
continuousBorder(org.jdom.Element e)
Determines if a state has continuous border |
void |
finalize()
|
protected java.lang.String |
getActionPart(org.jdom.Element e)
Return the action part of a transition label if exists |
protected java.lang.String |
getConditionPart(org.jdom.Element e)
Return the condition part of a transition label if exists |
protected java.lang.String |
getConnectorId(org.jdom.Element e)
Return the id of a connector |
protected java.lang.String |
getConnectorName(org.jdom.Element e)
Return the name of a connector |
protected int |
getConnectorType(org.jdom.Element e)
Return the type of a connector |
protected Dimension |
getDimension(org.jdom.Element e)
Set information of spatial characteristics of a graphical object |
protected java.util.List<org.jdom.Element> |
getDrawElements(java.lang.String path)
Joins all the graphical objects of a XML file |
protected java.lang.String |
getDrawStyle(org.jdom.Element e)
Return the style of a graphical element, useful to set the efect of activity |
protected org.jdom.Element |
getElementById(java.lang.String id)
Get an element by the internal id |
protected java.lang.String |
getEndShape(org.jdom.Element e)
Get the end shape of a transition |
protected java.lang.String |
getEventPart(org.jdom.Element e)
Return the event part of a transition label if exists |
protected int |
getLowLimit(org.jdom.Element e)
Return the low time-limit a temporized state |
protected java.lang.String |
getRingId(org.jdom.Element e)
Return the id of a ring |
protected java.lang.String |
getStartShape(org.jdom.Element e)
Get the start shape of a transition |
protected java.lang.String |
getStateId(org.jdom.Element e)
Return the id of a Element |
java.lang.String |
getStateName(org.jdom.Element e)
Return the name of a Element (state) |
protected java.lang.String |
getStyleName(org.jdom.Element e)
Set the style of a graphical element, useful to set the efect of activity |
protected byte |
getTypeOfShape(org.jdom.Element e)
Given a JDOM custom-shape Element determines the figure type |
protected int |
getUpLimit(org.jdom.Element e)
Return the up time-limit a temporized state |
protected boolean |
isADefaultTransition(org.jdom.Element e)
Return true if a transition is a default transition |
protected boolean |
isAShape(org.jdom.Element e)
Check if a XML element is a custom-shape (figures, not arrows) |
protected boolean |
isATransition(org.jdom.Element e)
Returns true if a graphical object is an arrow (transition) |
protected void |
setActive(java.lang.String name,
java.lang.String id)
Blink the text of a state, making it active |
protected void |
setInactive(java.lang.String name,
java.lang.String id)
|
protected boolean |
testName(org.jdom.Element e)
Test the name of a temporized state |
protected void |
writeFile(java.lang.String path)
Write a XML file to the absolute path passed |
Methods inherited from class java.lang.Object |
---|
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public JDOMWorker() throws ar.edu.unr.fceia.bottallo.JDOMWException
ar.edu.unr.fceia.bottallo.JDOMWException
Method Detail |
---|
public void finalize()
finalize
in class java.lang.Object
protected java.util.List<org.jdom.Element> getDrawElements(java.lang.String path)
path
- Path to the XML file
protected void writeFile(java.lang.String path)
path
- Path to the new XML filepublic java.lang.String getStateName(org.jdom.Element e)
e
- Element representing a State
protected java.lang.String getStateId(org.jdom.Element e)
e
- Element representing a State
protected boolean continuousBorder(org.jdom.Element e)
e
- JDOM Element
protected void setActive(java.lang.String name, java.lang.String id)
name
- String representing the state nameid
- String representing the state idprotected void setInactive(java.lang.String name, java.lang.String id)
protected void addLine(org.jdom.Element e, java.lang.String text)
protected boolean testName(org.jdom.Element e)
protected int getLowLimit(org.jdom.Element e)
protected int getUpLimit(org.jdom.Element e)
protected boolean isATransition(org.jdom.Element e)
e
- Element representing a graphical object
protected java.lang.String getStartShape(org.jdom.Element e)
protected java.lang.String getEndShape(org.jdom.Element e)
protected java.lang.String getEventPart(org.jdom.Element e)
protected java.lang.String getConditionPart(org.jdom.Element e)
protected java.lang.String getActionPart(org.jdom.Element e)
protected boolean isADefaultTransition(org.jdom.Element e)
protected int getConnectorType(org.jdom.Element e)
protected java.lang.String getConnectorName(org.jdom.Element e)
protected java.lang.String getConnectorId(org.jdom.Element e)
protected java.lang.String getRingId(org.jdom.Element e)
protected boolean isAShape(org.jdom.Element e)
e
- A JDOM Element
return True if the element is a custom-shape. False otherwiseprotected java.lang.String getDrawStyle(org.jdom.Element e)
protected java.lang.String getStyleName(org.jdom.Element e)
protected org.jdom.Element getElementById(java.lang.String id)
protected Dimension getDimension(org.jdom.Element e)
e
- Element representing a graphical object
protected byte getTypeOfShape(org.jdom.Element e)
e
- A JDOM custom-shape Element
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |