예제 #1
0
        public override Statement VisitExpressionStatement(ExpressionStatement statement)
        {
            Method contractMethod = Rewriter.ExtractCallFromStatement(statement);

            if (contractMethod == null)
            {
                return(base.VisitExpressionStatement(statement));
            }

            if (this.rcm.ContractNodes.IsInvariantMethod(contractMethod))
            {
                return(RewriteContractCall(statement, contractMethod, this.rcm.InvariantMethod, this.sourceTextOfInvariant));
            }

            return(base.VisitExpressionStatement(statement));
        }