C# Class Microsoft.Zing.TerminateProcessEvent

This event is generated when a process terminates normally. State.GetEvents
Processes terminate normally by returning from their top-level method.
Inheritance: ZingEvent
Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode Description
ToString ( ) : string

Formats the event showing the name of the terminating process.
ToXml ( XmlElement parent ) : void

Private Methods

Méthode Description
TerminateProcessEvent ( ZingSourceContext context, ZingAttribute contextAttribute ) : System
TerminateProcessEvent ( ZingSourceContext context, ZingAttribute contextAttribute, int SerialNumber ) : System

Method Details

ToString() public méthode

Formats the event showing the name of the terminating process.
public ToString ( ) : string
Résultat string

ToXml() public méthode

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