Microsoft.Zing.ZReplacer.VisitTimeoutPattern C# (CSharp) Method

ZReplacer Class Documentation Show file Open project: ZingModelChecker/Zing

VisitTimeoutPattern() private method

private VisitTimeoutPattern ( TimeoutPattern tp ) : TimeoutPattern
tp TimeoutPattern
return TimeoutPattern 
        private TimeoutPattern VisitTimeoutPattern(TimeoutPattern tp)
        {
            return tp;
        }
ZReplacer
VisitAccept
VisitArray
VisitAssert
VisitAssume
VisitAsync
VisitAtomic
VisitAttributeList
VisitAttributedStatement
VisitChan
VisitChoose
VisitEventPattern
VisitEventStatement
VisitGoto
VisitIn
VisitInvokePlugin
VisitInvokeSched
VisitJoinStatement
VisitRange
VisitReceivePattern
VisitSelect
VisitSelf
VisitSend
VisitSet
VisitTimeoutPattern
VisitTrace
VisitUnknownNodeType
VisitWaitPattern
VisitWith
VisitZTry
ZReplace
ZReplacer