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, java.io.Serializable, java.lang.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

Modifier and Type	Method	Description
Document	load(java.net.URL url)	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

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PrototypeDocument

public PrototypeDocument()

Method Detail

load

public Document load(java.net.URL url)
              throws java.io.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)

Returns:

the constructed document

Throws:

java.io.IOException - I/O error.