public AbstractEdge(string name, long unid, bool showAnnotation, int weight, Position position, Transition transition, EdgeType edgeType) : base(name, unid, showAnnotation) { this.weight = weight; this.position = position; this.transition = transition; this.edgeType = edgeType; }
public EdgeTransitionPosition(string name, long unid, bool showAnnotation, int weight, Transition transition, Position position, EdgeType edgeType) : base(name, unid, showAnnotation, weight, position, transition, edgeType) { }
public EdgeTransitionPosition(AbstractItemData itemData, int weight, Transition transition, Position position, EdgeType edgeType) : this(itemData.name, itemData.unid, itemData.showAnnotation, weight, transition, position, edgeType) { }
internal static AbstractEventDrivenItem openFromXml(XmlNode node) { List<Token> tokens = null; List<PetriEvent> events = null; XmlNodeList list = node.ChildNodes; foreach (XmlNode childNode in list) { string namespaceUri = childNode.NamespaceURI; string localName = childNode.LocalName; switch (namespaceUri) { case PetriXmlHelper.XML_POSITION_NAMESPACE: switch (localName) { case "Tokens": tokens = Position.openTokensFromXml(childNode.ChildNodes); break; } break; case PetriXmlHelper.XML_ITEM_NAMESPACE: switch (localName) { case "Events": events = PetriEvent.openEvents(childNode.ChildNodes, "ItemEvent"); break; } break; } } int capacityLimit = Position.openCapacityLimitAttrFromNode(node); Position ret = new Position(AbstractItem.readItem(node), capacityLimit); ret.EventTrunk.addEvents(events); ret.tokens.AddRange(tokens); return ret; }