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.

ファイルを表示 Open project: ZingModelChecker/Zing

Public Methods

Method	Description
ToXml ( XmlElement parent ) : void

Protected Methods

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

Method Details

AddBaseData() protected method

protected AddBaseData ( XmlElement element ) : void
element	System.Xml.XmlElement
return	void

ToXml() public abstract method

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

ZingEvent() protected method

protected ZingEvent ( ZingSourceContext context, ZingAttribute contextAttribute ) : System
context	ZingSourceContext
contextAttribute	ZingAttribute
return	System

ZingEvent() protected method

protected ZingEvent ( ZingSourceContext context, ZingAttribute contextAttribute, int SerialNum ) : System
context	ZingSourceContext
contextAttribute	ZingAttribute
SerialNum	int
return	System