C# Class 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.
Inheritance: ZingEvent
Show file Open project: ZingModelChecker/Zing

Public Methods

Method Description
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

Private Methods

Method Description
TraceEvent ( ZingSourceContext context, ZingAttribute contextAttribute, string message ) : System
TraceEvent ( ZingSourceContext context, ZingAttribute contextAttribute, string message, int SerialNumber ) : System

Method Details

GetArguments() public method

Returns an array of objects containing any additional parameters provided in the trace statement (may contain zero elements).
public GetArguments ( ) : object[]
return object[]

ToString() public method

Formats the trace event by treating the first parameter as a format string for any additional parameters.
public ToString ( ) : string
return string

ToXml() public method

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