GeneratedVerificationActionUnion
PackageFsLiveDocs.Core
The action owned by one stable generated verification case.
Specification
Kind
Union
Members
6
Examples
0
IsExecuteBlockSignature
this.IsExecuteBlock
IsCompileUnitSignature
this.IsCompileUnit
IsExecuteTranscriptBlockSignature
this.IsExecuteTranscriptBlock
CompileUnitSignature
CompileUnit unitId
ExecuteBlockSignature
ExecuteBlock blockId
Summary
| Name | Signature | Synopsis |
|---|---|---|
| IsExecuteBlock | this.IsExecuteBlock | No description available. |
| IsCompileUnit | this.IsCompileUnit | No description available. |
| IsExecuteTranscriptBlock | this.IsExecuteTranscriptBlock | No description available. |
| CompileUnit | CompileUnit unitId | No description available. |
| ExecuteBlock | ExecuteBlock blockId | No description available. |
| ExecuteTranscriptBlock | ExecuteTranscriptBlock blockId | No description available. |