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

StatementTemplates Class Documentation Show file Open project: ZingModelChecker/Zing

Trace() private method

private Trace ( ) : void
return	void

        void Trace()
        {
            application.Trace(_context, _contextAttr /*, _arguments*/);
        }

StatementTemplates

AssertWithComment

AssertWithoutComment

ChoiceHelperBody

ChoiceHelperEnd

ConditionalWriter

ContextAttributeSwitch

CreateCallFrame

CreateCallFrameForInterface

FetchOutputParameter

FetchReturnValue

GetFieldInfoCase

GetFieldInfoSwitch

InitComplexInstanceField

InitializeGlobal

InvalidBlockingSelect

InvalidateLastFunctionCompleted

InvokeAsyncMethod

NativeZOMCallWithAssignment

PropagateException

RelatedSwitchSelect

ReturnBlockTransfer

RunnableSwitchSelect

SelectStatementProlog

SetFieldInfoCase

SetFieldInfoSwitch

SetInputParameter

StartChooseByBoolType

StartChooseByType

StartChooseByValue

ValidEndStateSwitch

foreachIncrementer