コード例 #1
0
            Unit ICodeConsumer <Local, Parameter, Method, Field, Type, Node, Unit> .Accept <Label>(ICodeProvider <Label, Local, Parameter, Method, Field, Type> codeProvider, Label entryPoint, Node current)
            {
                CallQuery <Label> query = new CallQuery <Label>(codeProvider, parent, current);

                query.TraceSequentially(entryPoint);
                return(Unit.Value);
            }
コード例 #2
0
ファイル: CallGraph.cs プロジェクト: zhuyue1314/CodeContracts
        public Unit Accept <Label, Handler>(
            IMethodCodeProvider <Label, Local, Parameter, Method, Field, Type, Handler> codeProvider,
            Label entryPoint, Method method, Unit data)
        {
            CallQuery <Label, Handler> query = new CallQuery <Label, Handler>(codeProvider, this, method);

            query.TraceSequentially(entryPoint);
            return(Unit.Value);
        }
コード例 #3
0
        public Unit Accept <Label, Handler>(IMethodCodeProvider <Label, Local, Parameter, Method, Field, Type, Handler> codeProvider, Label entryPoint, Method method, Unit data)
        {
            CallQuery <Label> query = new CallQuery <Label>(codeProvider, this, Node.For(method));

            query.TraceSequentially(entryPoint);

            this.fieldsDB.NotifyPossiblyModifiedFields(method, query.StoredFields);

            return(Unit.Value);
        }