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

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

PopSelectStatement() private méthode

private PopSelectStatement ( ) : void
Résultat void 
        private void PopSelectStatement()
        {
            selectStatementStack.Pop();
        }
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