protected override void FillXmlElement(XmlElement element, XmlDocument document) { base.FillXmlElement(element, document); element.SetAttribute("Name", Name); element.SetAttribute("Init", IsInitialState.ToString()); element.SetAttribute("Invariant", Invariant); element.SetAttribute("IsError", IsError.ToString()); element.SetAttribute("IsAcceptance", this.IsAcceptance.ToString()); }
protected override void FillXmlElement(XmlElement element, XmlDocument document) { base.FillXmlElement(element, document); element.SetAttribute("Name", Name); element.SetAttribute("Init", IsInitialState.ToString()); }