C# 클래스 Microsoft.Zing.TerminateProcessEvent

This event is generated when a process terminates normally. State.GetEvents
Processes terminate normally by returning from their top-level method.
상속: ZingEvent
파일 보기 프로젝트 열기: ZingModelChecker/Zing

공개 메소드들

메소드 설명
ToString ( ) : string

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

비공개 메소드들

메소드 설명
TerminateProcessEvent ( ZingSourceContext context, ZingAttribute contextAttribute ) : System
TerminateProcessEvent ( ZingSourceContext context, ZingAttribute contextAttribute, int SerialNumber ) : System

메소드 상세

ToString() 공개 메소드

Formats the event showing the name of the terminating process.
public ToString ( ) : string
리턴 string

ToXml() 공개 메소드

public ToXml ( XmlElement parent ) : void
parent System.Xml.XmlElement
리턴 void