C# Class Microsoft.Zing.ZingEvent

This is the abstract class from which all Zing events are derived. State.GetEvents

The base class provides the properties StepNumber and ProcName which are common to all events.

Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode	Description
ToXml ( XmlElement parent ) : void

Méthodes protégées

Méthode	Description
AddBaseData ( XmlElement element ) : void
ZingEvent ( ZingSourceContext context, ZingAttribute contextAttribute ) : System
ZingEvent ( ZingSourceContext context, ZingAttribute contextAttribute, int SerialNum ) : System

Method Details

AddBaseData() protected méthode

protected AddBaseData ( XmlElement element ) : void
element	System.Xml.XmlElement
Résultat	void

ToXml() public abstract méthode

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

ZingEvent() protected méthode

protected ZingEvent ( ZingSourceContext context, ZingAttribute contextAttribute ) : System
context	ZingSourceContext
contextAttribute	ZingAttribute
Résultat	System

ZingEvent() protected méthode

protected ZingEvent ( ZingSourceContext context, ZingAttribute contextAttribute, int SerialNum ) : System
context	ZingSourceContext
contextAttribute	ZingAttribute
SerialNum	int
Résultat	System