ActionSymbolKind Enumeration
The kind of an action.
Namespace: Microsoft.SpecExplorer.ObjectModel
Assembly: Microsoft.SpecExplorer.ObjectModel (in Microsoft.SpecExplorer.ObjectModel.dll)
Namespace: Microsoft.SpecExplorer.ObjectModel
Assembly: Microsoft.SpecExplorer.ObjectModel (in Microsoft.SpecExplorer.ObjectModel.dll)
| Member name | Description |
|---|---|
| Call | The begin of a regular method invocation (control). |
| Event | An event invocation (observation). |
| Invocation | A regular method invocation (control). |
| PreConstraintCheck | A check action for pre-constraint. |
| Return | The 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: