Microsoft.Zing.Checker.VisitTimeoutPattern C# (CSharp) Méthode

Checker Class Documentation Afficher le fichier Open project: ZingModelChecker/Zing

VisitTimeoutPattern() private méthode

private VisitTimeoutPattern ( TimeoutPattern tp ) : TimeoutPattern
tp TimeoutPattern
Résultat TimeoutPattern 
        private TimeoutPattern VisitTimeoutPattern(TimeoutPattern tp)
        {
            return tp;
        }
Checker
Checker
HandleError
PopSelectStatement
PushSelectStatement
SameVariable
SerializeContracts
Visit
VisitAccept
VisitArray
VisitAssert
VisitAssume
VisitAsync
VisitAtomic
VisitAttributeConstructor
VisitAttributeList
VisitAttributeNode
VisitAttributedStatement
VisitBinaryExpression
VisitChan
VisitChoose
VisitConstruct
VisitEventPattern
VisitEventStatement
VisitExpressionStatement
VisitForEach
VisitInvokePlugin
VisitInvokeSched
VisitJoinStatement
VisitMethod
VisitMethodCall
VisitRange
VisitReceivePattern
VisitSelect
VisitSelf
VisitSend
VisitSet
VisitThrow
VisitTimeoutPattern
VisitTrace
VisitTypeReference
VisitUnaryExpression
VisitWaitPattern
VisitWith
VisitYield
VisitZTry