Exemplo n.º 1
0
        public void ReplaceCurrent(NameAnalyzer analyzer, MethodReference newCurrent)
        {
            if (Current == newCurrent || OpenCurrent == newCurrent)
            {
                return;
            }

            MethodReference m = (((OpenCurrent ?? Current) ?? OpenRoot) ?? Root).Resolve();    //Interface method -> Empty slot

            if (m != null)
            {
                var renRef        = (m as IAnnotationProvider).Annotations[NameAnalyzer.RenRef] as List <IReference>;
                var newCurrentDef = newCurrent.Resolve();
                var renId         = (newCurrentDef as IAnnotationProvider).Annotations[NameAnalyzer.RenId] as Identifier?;
                if (analyzer.Assemblies.Contains(newCurrentDef.Module.Assembly))
                {
                    analyzer.Cr.Database.AddEntry(NameAnalyzer.DB_SRC, newCurrent.FullName, string.Format("Virtual override @ {0} => Not renamed", m.FullName));
                }
                (newCurrentDef as IAnnotationProvider).Annotations[NameAnalyzer.RenOk] = false;
                if (renRef != null)
                {
                    renRef.Add(new VirtualMethodReference(newCurrentDef));
                }
            }
            Current     = newCurrent;
            OpenCurrent = null;
        }
Exemplo n.º 2
0
        public void ReplaceRoot(NameAnalyzer analyzer, MethodReference newRoot)
        {
            if (Root == newRoot || OpenRoot == newRoot)
            {
                return;
            }

            var renRef = (newRoot.Resolve() as IAnnotationProvider).Annotations[NameAnalyzer.RenRef] as List <IReference>;
            var root   = (OpenRoot ?? Root).Resolve();
            var renId  = (root as IAnnotationProvider).Annotations[NameAnalyzer.RenId] as Identifier?;

            if (analyzer.Assemblies.Contains(root.Module.Assembly))
            {
                analyzer.Cr.Database.AddEntry(NameAnalyzer.DB_SRC, root.FullName, string.Format("Virtual override @ {0} => Not renamed", newRoot.FullName));
            }
            (root as IAnnotationProvider).Annotations[NameAnalyzer.RenOk] = false;
            if (renRef != null && renId != null)
            {
                renRef.Add(new VirtualMethodReference(root));
            }
            Root     = newRoot;
            OpenRoot = null;
        }
Exemplo n.º 3
0
        public static VTable GetVTable(NameAnalyzer analyzer, TypeDefinition typeDef, Dictionary <TypeDefinition, VTable> tbls)
        {
            if (tbls.ContainsKey(typeDef))
            {
                return(tbls[typeDef]);
            }

            //Partition II 10.3, 12.2

            VTable ret = new VTable()
            {
                TypeDef = typeDef
            };

            TypeDefinition baseType = null;

            if (typeDef.BaseType != null)
            {
                baseType = typeDef.BaseType.Resolve();
                if (baseType != null)
                {
                    ret.Table = new List <VTableSlot>(GetVTable(analyzer, baseType, tbls).Table);
                    if (typeDef.BaseType is GenericInstanceType)
                    {
                        GenericInstanceType genInst = typeDef.BaseType as GenericInstanceType;
                        for (int i = 0; i < ret.Table.Count; i++)
                        {
                            ret.Table[i]             = ret.Table[i].Clone();
                            ret.Table[i].OpenCurrent = ret.Table[i].Current;
                            ret.Table[i].Current     = Resolve(ret.Table[i].OpenCurrent, genInst);
                            ret.Table[i].OpenRoot    = ret.Table[i].Root;
                            ret.Table[i].Root        = Resolve(ret.Table[i].OpenRoot, genInst);
                        }
                    }
                }
                else
                {
                    ret.Table = new List <VTableSlot>();
                }
            }
            else
            {
                ret.Table = new List <VTableSlot>();
            }

            if (typeDef.HasInterfaces)          //Interface methods
            {
                foreach (var i in typeDef.Interfaces)
                {
                    if (baseType != null && baseType.Interfaces.Contains(i))
                    {
                        continue;
                    }

                    TypeDefinition iface = i.Resolve();
                    if (iface == null)
                    {
                        continue;
                    }
                    GenericInstanceType genInst = i as GenericInstanceType;
                    foreach (var j in iface.Methods)
                    {
                        MethodReference ifaceMethod = j;
                        if (genInst != null)
                        {
                            ifaceMethod = Resolve(ifaceMethod, genInst);
                        }


                        VTableSlot slot = null;
                        for (int k = 0; k < ret.Table.Count; k++)
                        {
                            if (Match(ifaceMethod, ret.Table[k].Root))
                            {
                                slot = ret.Table[k];
                                break;
                            }
                        }
                        if (slot == null)
                        {
                            if (genInst != null)
                            {
                                ret.Table.Add(new VTableSlot()
                                {
                                    Root     = ifaceMethod,
                                    OpenRoot = j,
                                    Current  = null
                                });
                            }
                            else
                            {
                                ret.Table.Add(new VTableSlot()
                                {
                                    Root    = ifaceMethod,
                                    Current = null
                                });
                            }
                        }
                        else
                        {
                            slot.ReplaceRoot(analyzer, j);
                        }
                    }
                }
            }

            foreach (var i in typeDef.Methods)  //Interface virtual newslot
            {
                if (!i.IsVirtual || !i.IsNewSlot)
                {
                    continue;
                }
                for (int j = 0; j < ret.Table.Count; j++)
                {
                    if (ret.Table[j].Current == null && Match(i, ret.Table[j].Root))
                    {
                        ret.Table[j].ReplaceCurrent(analyzer, i);
                    }
                }
            }
            foreach (var i in typeDef.Methods)  //Interface virtual
            {
                if (!i.IsVirtual)
                {
                    continue;
                }
                for (int j = 0; j < ret.Table.Count; j++)
                {
                    if (ret.Table[j].Current == null && Match(i, ret.Table[j].Root))
                    {
                        ret.Table[j].ReplaceCurrent(analyzer, i);
                    }
                }
            }
            foreach (var i in typeDef.Methods)  //Base newslot
            {
                if (!i.IsVirtual || !i.IsNewSlot)
                {
                    continue;
                }
                for (int j = 0; j < ret.Table.Count; j++)
                {
                    if (Match(i, ret.Table[j].Current))
                    {
                        ret.Table[j].Root = i;
                        ret.Table[j].ReplaceCurrent(analyzer, i);
                    }
                }
            }
            foreach (var i in typeDef.Methods)  //Base virtual
            {
                if (!i.IsVirtual)
                {
                    continue;
                }
                for (int j = 0; j < ret.Table.Count; j++)
                {
                    if (i != ret.Table[j].Current && Match(i, ret.Table[j].Current))
                    {
                        ret.Table[j].ReplaceCurrent(analyzer, i);
                    }
                }
            }
            foreach (var i in typeDef.Methods)  //Remaining
            {
                if (!i.IsVirtual)
                {
                    continue;
                }
                bool matched = false;
                for (int j = 0; j < ret.Table.Count; j++)
                {
                    if (Match(i, ret.Table[j].Current))
                    {
                        matched = true;
                        break;
                    }
                }
                if (!matched)
                {
                    ret.Table.Add(new VTableSlot()
                    {
                        Root    = i,
                        Current = i
                    });
                }
            }

            tbls[typeDef] = ret;
            return(ret);
        }
        public void ReplaceRoot(NameAnalyzer analyzer, MethodReference newRoot)
        {
            if (Root == newRoot || OpenRoot == newRoot) return;

            var renRef = (newRoot.Resolve() as IAnnotationProvider).Annotations[NameAnalyzer.RenRef] as List<IReference>;
            var root = (OpenRoot ?? Root).Resolve();
            var renId = (root as IAnnotationProvider).Annotations[NameAnalyzer.RenId] as Identifier?;
            if (analyzer.Assemblies.Contains(root.Module.Assembly))
                analyzer.Cr.Database.AddEntry(NameAnalyzer.DB_SRC, root.FullName, string.Format("Virtual override @ {0} => Not renamed", newRoot.FullName));
            (root as IAnnotationProvider).Annotations[NameAnalyzer.RenOk] = false;
            if (renRef != null && renId != null)
            {
                renRef.Add(new VirtualMethodReference(root));
            }
            Root = newRoot;
            OpenRoot = null;
        }
        public void ReplaceCurrent(NameAnalyzer analyzer, MethodReference newCurrent)
        {
            if (Current == newCurrent || OpenCurrent == newCurrent) return;

            MethodReference m = (((OpenCurrent ?? Current) ?? OpenRoot) ?? Root).Resolve();    //Interface method -> Empty slot
            if (m != null)
            {
                var renRef = (m as IAnnotationProvider).Annotations[NameAnalyzer.RenRef] as List<IReference>;
                var newCurrentDef = newCurrent.Resolve();
                var renId = (newCurrentDef as IAnnotationProvider).Annotations[NameAnalyzer.RenId] as Identifier?;
                if (analyzer.Assemblies.Contains(newCurrentDef.Module.Assembly))
                    analyzer.Cr.Database.AddEntry(NameAnalyzer.DB_SRC, newCurrent.FullName, string.Format("Virtual override @ {0} => Not renamed", m.FullName));
                (newCurrentDef as IAnnotationProvider).Annotations[NameAnalyzer.RenOk] = false;
                if (renRef != null)
                {
                    renRef.Add(new VirtualMethodReference(newCurrentDef));
                }
            }
            Current = newCurrent;
            OpenCurrent = null;
        }
        public static VTable GetVTable(NameAnalyzer analyzer, TypeDefinition typeDef, Dictionary<TypeDefinition, VTable> tbls)
        {
            if (tbls.ContainsKey(typeDef))
                return tbls[typeDef];

            //Partition II 10.3, 12.2

            VTable ret = new VTable() { TypeDef = typeDef };

            TypeDefinition baseType = null;
            if (typeDef.BaseType != null)
            {
                baseType = typeDef.BaseType.Resolve();
                if (baseType != null)
                {
                    ret.Table = new List<VTableSlot>(GetVTable(analyzer, baseType, tbls).Table);
                    if (typeDef.BaseType is GenericInstanceType)
                    {
                        GenericInstanceType genInst = typeDef.BaseType as GenericInstanceType;
                        for (int i = 0; i < ret.Table.Count; i++)
                        {
                            ret.Table[i] = ret.Table[i].Clone();
                            ret.Table[i].OpenCurrent = ret.Table[i].Current;
                            ret.Table[i].Current = Resolve(ret.Table[i].OpenCurrent, genInst);
                            ret.Table[i].OpenRoot = ret.Table[i].Root;
                            ret.Table[i].Root = Resolve(ret.Table[i].OpenRoot, genInst);
                        }
                    }
                }
                else
                    ret.Table = new List<VTableSlot>();
            }
            else
                ret.Table = new List<VTableSlot>();

            if (typeDef.HasInterfaces)          //Interface methods
            {
                foreach (var i in typeDef.Interfaces)
                {
                    if (baseType != null && baseType.Interfaces.Contains(i)) continue;

                    TypeDefinition iface = i.Resolve();
                    if (iface == null) continue;
                    GenericInstanceType genInst = i as GenericInstanceType;
                    foreach (var j in iface.Methods)
                    {
                        MethodReference ifaceMethod = j;
                        if (genInst != null)
                            ifaceMethod = Resolve(ifaceMethod, genInst);

                        VTableSlot slot = null;
                        for (int k = 0; k < ret.Table.Count; k++)
                            if (Match(ifaceMethod, ret.Table[k].Root))
                            {
                                slot = ret.Table[k];
                                break;
                            }
                        if (slot == null)
                        {
                            if (genInst != null)
                                ret.Table.Add(new VTableSlot()
                                {
                                    Root = ifaceMethod,
                                    OpenRoot = j,
                                    Current = null
                                });
                            else
                                ret.Table.Add(new VTableSlot()
                                {
                                    Root = ifaceMethod,
                                    Current = null
                                });
                        }
                        else
                        {
                            slot.ReplaceRoot(analyzer, j);
                        }
                    }
                }
            }

            foreach (var i in typeDef.Methods)  //Interface virtual newslot
            {
                if (!i.IsVirtual || !i.IsNewSlot) continue;
                for (int j = 0; j < ret.Table.Count; j++)
                    if (ret.Table[j].Current == null && Match(i, ret.Table[j].Root))
                        ret.Table[j].ReplaceCurrent(analyzer, i);
            }
            foreach (var i in typeDef.Methods)  //Interface virtual
            {
                if (!i.IsVirtual) continue;
                for (int j = 0; j < ret.Table.Count; j++)
                    if (ret.Table[j].Current == null && Match(i, ret.Table[j].Root))
                        ret.Table[j].ReplaceCurrent(analyzer, i);
            }
            foreach (var i in typeDef.Methods)  //Base newslot
            {
                if (!i.IsVirtual || !i.IsNewSlot) continue;
                for (int j = 0; j < ret.Table.Count; j++)
                    if (Match(i, ret.Table[j].Current))
                    {
                        ret.Table[j].Root = i;
                        ret.Table[j].ReplaceCurrent(analyzer, i);
                    }
            }
            foreach (var i in typeDef.Methods)  //Base virtual
            {
                if (!i.IsVirtual) continue;
                for (int j = 0; j < ret.Table.Count; j++)
                    if (i != ret.Table[j].Current && Match(i, ret.Table[j].Current))
                    {
                        ret.Table[j].ReplaceCurrent(analyzer, i);
                    }
            }
            foreach (var i in typeDef.Methods)  //Remaining
            {
                if (!i.IsVirtual) continue;
                bool matched = false;
                for (int j = 0; j < ret.Table.Count; j++)
                    if (Match(i, ret.Table[j].Current))
                    {
                        matched = true;
                        break;
                    }
                if (!matched)
                    ret.Table.Add(new VTableSlot()
                    {
                        Root = i,
                        Current = i
                    });
            }

            tbls[typeDef] = ret;
            return ret;
        }