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
Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode Description
ToString ( ) : string

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

Private Methods

Méthode Description
CreateProcessEvent ( ZingSourceContext context, ZingAttribute contextAttribute, string newProcName ) : System
CreateProcessEvent ( ZingSourceContext context, ZingAttribute contextAttribute, string newProcName, int SerialNumber ) : System

Method Details

ToString() public méthode

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

ToXml() public méthode

public ToXml ( XmlElement parent ) : void
parent System.Xml.XmlElement
Résultat void