C# Class Microsoft.Zing.AtomicBlock

Inheritance: System.Compiler.Block

Mostrar archivo Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

Method	Description
AtomicBlock ( ) : System.Collections.Generic
AtomicBlock ( StatementList statements ) : System.Collections.Generic
AtomicBlock ( StatementList statements, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic

Method Details

AtomicBlock() public method

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

AtomicBlock() public method

public AtomicBlock ( StatementList statements ) : System.Collections.Generic
statements	StatementList
return	System.Collections.Generic

AtomicBlock() public method

public AtomicBlock ( StatementList statements, System.Compiler.SourceContext sourceContext ) : System.Collections.Generic
statements	StatementList
sourceContext	System.Compiler.SourceContext
return	System.Collections.Generic