C# Class Microsoft.Zing.SendEvent

This event is generated when a "send" statement is executed.
A send event is generated when a process executes a send statement. The channel is available as a uint value corresponding to its Zing pointer. The message data is available as an object. The channel type is also available, primarily as a means of accessing the type name.
Inheritance: ZingEvent
Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode Description
ToString ( ) : string

Formats the Send event showing the channel type, number, and message data.
ToXml ( XmlElement parent ) : void

Private Methods

Méthode Description
SendEvent ( ZingSourceContext context, ZingAttribute contextAttribute, ZingChan chan, object data ) : System
SendEvent ( ZingSourceContext context, ZingAttribute contextAttribute, ZingChan chan, object data, int SerialNumber ) : System

Method Details

ToString() public méthode

Formats the Send event showing the channel type, number, and message data.
public ToString ( ) : string
Résultat string

ToXml() public méthode

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