C# Class Microsoft.Zing.EventStatement

Inheritance: System.Compiler.Statement

Exibir arquivo Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

Method	Description
EventStatement ( ) : System.Collections.Generic
EventStatement ( System.Compiler.Expression messageType, System.Compiler.Expression direction ) : System.Collections.Generic
EventStatement ( System.Compiler.Expression channelNumber, System.Compiler.Expression messageType, System.Compiler.Expression direction ) : System.Collections.Generic
EventStatement ( System.Compiler.Expression channelNumber, System.Compiler.Expression messageType, System.Compiler.Expression direction, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic
EventStatement ( System.Compiler.Expression messageType, System.Compiler.Expression direction, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic

Method Details

EventStatement() public method

public EventStatement ( ) : System.Collections.Generic
return	System.Collections.Generic

EventStatement() public method

public EventStatement ( System.Compiler.Expression messageType, System.Compiler.Expression direction ) : System.Collections.Generic
messageType	System.Compiler.Expression
direction	System.Compiler.Expression
return	System.Collections.Generic

EventStatement() public method

public EventStatement ( System.Compiler.Expression channelNumber, System.Compiler.Expression messageType, System.Compiler.Expression direction ) : System.Collections.Generic
channelNumber	System.Compiler.Expression
messageType	System.Compiler.Expression
direction	System.Compiler.Expression
return	System.Collections.Generic

EventStatement() public method

public EventStatement ( System.Compiler.Expression channelNumber, System.Compiler.Expression messageType, System.Compiler.Expression direction, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic
channelNumber	System.Compiler.Expression
messageType	System.Compiler.Expression
direction	System.Compiler.Expression
sourceContext	System.Compiler.SourceContext
return	System.Collections.Generic

EventStatement() public method

public EventStatement ( System.Compiler.Expression messageType, System.Compiler.Expression direction, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic
messageType	System.Compiler.Expression
direction	System.Compiler.Expression
sourceContext	System.Compiler.SourceContext
return	System.Collections.Generic