C# Class Microsoft.Zing.StatementTemplates

Show file Open project: ZingModelChecker/Zing

Private Methods

Method Description
Accept ( ) : void
AssertWithComment ( ) : void
AssertWithoutComment ( ) : void
Assume ( ) : void
ChoiceHelperBody ( ) : void
ChoiceHelperEnd ( ) : void
CloneField ( ) : void
ComplexWriter ( ) : void
ConditionalWriter ( ) : void
ContextAttributeSwitch ( ) : void
CopyField ( ) : void
CreateCallFrame ( ) : void
CreateCallFrameForInterface ( ) : void
DispatchSwitch ( ) : void
EnumWriter ( ) : void
Event ( ) : void
FetchOutputParameter ( ) : void
FetchReturnValue ( ) : void
FieldTraverser ( ) : void
FinishChoose ( ) : void
GetFieldInfoCase ( ) : void
GetFieldInfoSwitch ( ) : void
InitComplexInstanceField ( ) : void
InitializeGlobal ( ) : void
InvalidBlockingSelect ( ) : void
InvalidateLastFunctionCompleted ( ) : void
InvokeAsyncMethod ( ) : void
InvokeMethod ( ) : void
InvokePlugin ( ) : void
InvokeSched ( ) : void
NDSelectBlock ( ) : void
NativeZOMCallWithAssignment ( ) : void
PropagateException ( ) : void
ReceivePattern ( ) : void
RelatedSwitchSelect ( ) : void
ReturnBlockTransfer ( ) : void
ReturnStmt ( ) : void
RunnableSwitchSelect ( ) : void
SelectStatementProlog ( ) : void
Send ( ) : void
SetAddItem ( ) : void
SetAddSet ( ) : void
SetException ( ) : void
SetFieldInfoCase ( ) : void
SetFieldInfoSwitch ( ) : void
SetHandler ( ) : void
SetInputParameter ( ) : void
SetIsCall ( ) : void
SetRemoveItem ( ) : void
SetRemoveSet ( ) : void
SetReturnValue ( ) : void
SetThis ( ) : void
SimpleWriter ( ) : void
StartChooseByBoolType ( ) : void
StartChooseByType ( ) : void
StartChooseByValue ( ) : void
StructWriter ( ) : void
TauEvent ( ) : void
Trace ( ) : void
ValidEndStateSwitch ( ) : void
Yield ( ) : void
foreachDeref ( ) : void
foreachIncrementer ( ) : void
foreachInit ( ) : void