ActionSymbolKind Enumeration

The kind of an action.


Namespace: Microsoft.SpecExplorer.ObjectModel
Assembly: Microsoft.SpecExplorer.ObjectModel (in Microsoft.SpecExplorer.ObjectModel.dll)

'Usage

Member nameDescription
CallThe begin of a regular method invocation (control).
EventAn event invocation (observation).
InvocationA regular method invocation (control).
PreConstraintCheckA check action for pre-constraint.
ReturnThe normal end of a regular method invocation (observation).
Throw

The end of a regular method invocation by throwing and exception.

Development Platforms

Microsoft Windows 7, Microsoft Windows Vista, Microsoft Windows XP SP2 or later, Microsoft Windows Server 2008, Microsoft Windows Server 2003

 



Community Additions

ADD
Show: