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 class com.uppaal.model.core2.Element
listeners, properties, prototype
-
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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Document
load(URL url)
Document
load(URL url, List<String> warnings)
Fetches a file, parses it and constructs a model Document.-
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
-
-
-
-
Method Detail
-
load
public Document load(URL url) throws IOException
- Throws:
IOException
-
load
public Document load(URL url, List<String> warnings) throws IOException
Fetches a file, parses it and constructs a model Document.- Parameters:
url
- the address of the file (can be XML, XTA or TA file)warnings
- output parameter - list of warnings found by the GUI (not the engine!) during parsing- Returns:
- the constructed document
- Throws:
IOException
- I/O error.
-
-