Example #1
0
        private void ValidateInputParameters()
        {
            // todo. currently we don't support sync points located outside of the main RunKernel method
            // todo. same for thread parameters (various *Idx) located outside of the main RunKernel method
            var forbiddenInAlgo = new HashSet <MethodBase>();

            forbiddenInAlgo.AddElements(typeof(ISyncApi).GetMethods().Cast <MethodBase>());
            forbiddenInAlgo.AddElements(typeof(IGridApi).GetProperties().Where(p => p.Name.EndsWith("Idx")).SelectMany(p => p.GetAccessors(true)).Cast <MethodBase>());
            foreach (var m in forbiddenInAlgo.ToArray())
            {
                var t_kernel = _m_kernel.DeclaringType;
                var t_iface  = m.DeclaringType;
                var imap     = t_kernel.MapInterfacesToImpls(t_iface);
                forbiddenInAlgo.Add(imap[m]);
            }

            var algoMethods = _m_kernel.DeclaringType.GetMethods(BF.AllInstance | BF.DeclOnly)
                              .Where(m => m.Name != "RunKernel")
                              .Where(m => !forbiddenInAlgo.Contains(m)).ToReadOnly();

            algoMethods.ForEach(am => am.Decompile().Body.AssertThat(b => b.Family().None(c =>
            {
                var app = c as Apply;
                var lam = app == null ? null : app.Callee as Lambda;
                var m   = lam == null ? null : lam.Method as MethodInfo;
                var h   = m.Hierarchy().Cast <MethodBase>();
                return(h != null && Set.Intersect(h, forbiddenInAlgo).IsNotEmpty());
            })));
        }