Microsoft.Zing.StatementTemplates.ReturnStmt C# (CSharp) Method

StatementTemplates Class Documentation Show file Open project: ZingModelChecker/Zing

ReturnStmt() private method

private ReturnStmt ( ) : void
return void 
        void ReturnStmt()
        {
            return;
        }
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