Toggle navigation
Hot Examples
EN
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Search
Home
Microsoft
Zing
StatementTemplates
PropagateException
Microsoft.Zing.StatementTemplates.PropagateException C# (CSharp) Method
StatementTemplates Class Documentation
Show file
Open project: ZingModelChecker/Zing
PropagateException()
private
method
private
PropagateException
( ) :
void
return
void
void PropagateException() { p.RaiseZingException(this.CurrentException); }
StatementTemplates
Accept
AssertWithComment
AssertWithoutComment
Assume
ChoiceHelperBody
ChoiceHelperEnd
CloneField
ComplexWriter
ConditionalWriter
ContextAttributeSwitch
CopyField
CreateCallFrame
CreateCallFrameForInterface
DispatchSwitch
EnumWriter
Event
FetchOutputParameter
FetchReturnValue
FieldTraverser
FinishChoose
GetFieldInfoCase
GetFieldInfoSwitch
InitComplexInstanceField
InitializeGlobal
InvalidBlockingSelect
InvalidateLastFunctionCompleted
InvokeAsyncMethod
InvokeMethod
InvokePlugin
InvokeSched
NDSelectBlock
NativeZOMCallWithAssignment
PropagateException
ReceivePattern
RelatedSwitchSelect
ReturnBlockTransfer
ReturnStmt
RunnableSwitchSelect
SelectStatementProlog
Send
SetAddItem
SetAddSet
SetException
SetFieldInfoCase
SetFieldInfoSwitch
SetHandler
SetInputParameter
SetIsCall
SetRemoveItem
SetRemoveSet
SetReturnValue
SetThis
SimpleWriter
StartChooseByBoolType
StartChooseByType
StartChooseByValue
StructWriter
TauEvent
Trace
ValidEndStateSwitch
Yield
foreachDeref
foreachIncrementer
foreachInit