C# 클래스 Microsoft.Zing.TraceEvent

This event is generated when a "trace" statement is executed. State.GetEvents

Trace events are generated as the result of executing a Zing "trace" statement. The parameters in a trace statement consist of a string literal (required) and a variable-length list of additional parameters. By convention, the first parameter is treated as a format string for the remaining parameters, and the ToString method of TraceEvent makes this assumption. This is not required, however, in which case ToString will return only the first parameter.

상속: ZingEvent

파일 보기 프로젝트 열기: ZingModelChecker/Zing

공개 메소드들

메소드	설명
GetArguments ( ) : object[]	Returns an array of objects containing any additional parameters provided in the trace statement (may contain zero elements).
ToString ( ) : string	Formats the trace event by treating the first parameter as a format string for any additional parameters.
ToXml ( XmlElement parent ) : void

비공개 메소드들

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

메소드 상세

GetArguments() 공개 메소드

Returns an array of objects containing any additional parameters provided in the trace statement (may contain zero elements).

public GetArguments ( ) : object[]
리턴	object[]

ToString() 공개 메소드

Formats the trace event by treating the first parameter as a format string for any additional parameters.

public ToString ( ) : string
리턴	string

ToXml() 공개 메소드

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