C# Class Microsoft.Zing.Application.ClassMethod.OthersULE

Datei anzeigen Open project: ZingModelChecker/Zing

Public Properties

Property	Type	Description
handlerBlockChanged	bool
nextBlockChanged	bool
savedHandlerBlock	Blocks
savedNextBlock	Blocks

Public Methods

Method	Description
OthersULE ( ) : System

Method Details

OthersULE() public method

public OthersULE ( ) : System
return	System

Property Details

handlerBlockChanged public_oe property

public bool handlerBlockChanged
return	bool

nextBlockChanged public_oe property

public bool nextBlockChanged
return	bool

savedHandlerBlock public_oe property

public Blocks savedHandlerBlock
return	Blocks

savedNextBlock public_oe property

public Blocks savedNextBlock
return	Blocks