public void addTime(double time) { Trigger trigger = new Trigger("time"); TimeEvent te = new TimeEvent("time"); LiteralReal lValue = new LiteralReal(time); te.When = lValue; trigger.MEvent = te; eventQueue.Add(trigger); restart(); }
public void addTimeEvent(XElement timeNode, Package pkg) { string type; type = timeNode.Attribute("{http://schema.omg.org/spec/XMI/2.1}type").Value; if (type == null) type = timeNode.Attribute("{http://www.omg.org/spec/XMI/20131001}type").Value; if (type != "uml:TimeEvent") { return; } string id = timeNode.Attribute("id").Value; TimeEvent timeEvent = new TimeEvent(id); XElement when = timeNode.Element("when"); if (when != null && when.Element("expr") != null) { string timeExp = when.Element("expr").Attribute("value").Value; LiteralReal time = new LiteralReal(timeExp); timeEvent.When = time; } /* add in package*/ _events.Add(id, timeEvent); }