Package com.uppaal.model.core2
Class PrototypeDocument
java.lang.Object
com.uppaal.model.core2.Element
com.uppaal.model.core2.PrototypeDocument
- All Implemented Interfaces:
CommonConstants
,Constants
,LscConstants
,Serializable
,Cloneable
public class PrototypeDocument extends Element implements Constants, LscConstants
Prototypical document structure for a Uppaal network of timed automata with
default properties (see the prototype design pattern). In the future this
structure should not be hard coded but generated on the fly from some input
file.
- See Also:
- Serialized Form
-
Field Summary
Fields inherited from interface com.uppaal.model.core2.CommonConstants
AREA_SELECT_COL, ARROW_ANGLE, ARROW_LENGTH, BIGFONT, BIGFONTNAME, EMPH_COL, FONT, FONTNAME, GLOBAL_DECL_COL, GLOBAL_PROCESSASSIGN_COL, GLOBAL_SYSTEM_COL, GRIDCHANGE, GRIDCOLOR, GRIDMIN, LEVEL, MOUSE_OVER_COL, MOUSE_OVER_REL_COL, PART_COV_COL, PROCESS_FILL_COL, PROCESS_OUTLINE_COL, SELECTED_COL, SNAP_PER_GRID, TEMPLATE_NAME_COL, TEMPLATE_PARAMLIST_COL, TRACE_COV_COL
Fields inherited from interface com.uppaal.model.core2.Constants
ASSIGN_COL, BRANCHPOINT_RADIUS, COMMENTS_COL, EXPONENTIALRATE_COL, GUARD_COL, INVARIANT_COL, LABEL_COL, NAIL_COL, NAIL_FILL_COL, NAIL_RADIUS, PROB_COL, SELECT_COL, STATE_COMMIT_RADIUS, STATE_FILL_COL, STATE_INIT_OUTLINE_COL, STATE_INIT_RADIUS, STATE_LABEL_COL, STATE_OUTLINE_COL, STATE_RADIUS, STATE_URGENT_RADIUS, SYNC_COL, TRANS_COL, TRANS_TOUCH_DISTANCE
Fields inherited from interface com.uppaal.model.core2.lsc.LscConstants
ANCHOR_PRECHART_RADIUS, ANCHOR_RADIUS, ARROW_BASE, ARROW_HEIGHT, CONDITION_COLD_COL, CONDITION_HOT_COL, CONDITION_SIDES, CONDITION_UPDATE_HEIGHT, CUT_SIDE_DISTANCE, CUT_Y_DISTANCE, FOOT_TOUCH_DISTANCE, INSTANCE_FILL_COL, INSTANCE_FOOT_HEIGHT, INSTANCE_FOOT_WIDTH, INSTANCE_HEIGHT, INSTANCE_LENGTH, INSTANCE_LINE_COL, INSTANCE_MIN_WIDTH, LOC_DISTANCE, MESSAGE_COL, MESSAGE_LABEL_COL, PRECHART_COL, PRECHART_MIN_HEIGHT, PRECHART_SIDE_DISTANCE, PRECHART_TOP_DISTANCE, TOP_DISTANCE, TOUCH_DISTANCE, TOUCH_INSTANCE_DISTANCE, UPDATE_COL
-
Constructor Summary
Constructors Constructor Description PrototypeDocument()
-
Method Summary
Methods inherited from class com.uppaal.model.core2.Element
accept, acceptSafe, addListener, clone, getColor, getCommandManager, getDocument, getLocalProperty, getParent, getProperties, getProperty, getPropertyValue, getPrototype, getPrototypeFromParent, getTemplate, getX, getXMLLabelKinds, getXPath, getXPathTag, getY, hasFlag, importInto, isPropertyLocal, removeListener, setCommandManager, setProperties, setProperty, setPropertyFromPath, setPrototype
-
Constructor Details
-
PrototypeDocument
public PrototypeDocument()
-
-
Method Details
-
load
Fetches a file, parses it and constructs a model Document.- Parameters:
url
- the address of the file (can be XML, XTA or TA file)- Returns:
- the constructed document
- Throws:
IOException
- I/O error.
-