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
  • Constructor Details

  • Method Details

    • load

      public Document load​(URL url) 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)
      Returns:
      the constructed document
      Throws:
      IOException - I/O error.