C# Class Microsoft.Zing.CreateProcessEvent

This event is generated when a Zing process is created. State.GetEvents
This event is generated whenever a new process is created. For processes created using the "activate" qualifier, this event appears on the initial state of the model. For processes created dynamically using "async" calls, the creation event appears on the state in which the async call executed.
Inheritance: ZingEvent
Show file Open project: ZingModelChecker/Zing

Public Methods

Method Description
ToString ( ) : string

Formats the event showing the names of the new process and its parent.
ToXml ( XmlElement parent ) : void

Private Methods

Method Description
CreateProcessEvent ( ZingSourceContext context, ZingAttribute contextAttribute, string newProcName ) : System
CreateProcessEvent ( ZingSourceContext context, ZingAttribute contextAttribute, string newProcName, int SerialNumber ) : System

Method Details

ToString() public method

Formats the event showing the names of the new process and its parent.
public ToString ( ) : string
return string

ToXml() public method

public ToXml ( XmlElement parent ) : void
parent System.Xml.XmlElement
return void