/// <summary> /// Mark all base types and externally visible members reachable /// </summary> private static void Walk(ReachableContext context, TypeReference type) { // Generic parameters Walk(context, (IGenericParameterProvider)type); TypeDefinition typeDef; TypeSpecification typeSpec; GenericParameter genericParam; if ((typeDef = type as TypeDefinition) != null) { var isUsedInSerialization = typeDef.IsUsedInSerialization && !type.IsPrimitive && !typeDef.IsEnum && !type.Namespace.StartsWith("System"); // Mark base type reachable typeDef.BaseType.MarkReachable(context, isUsedInSerialization); // Mark declaring type reachable typeDef.DeclaringType.MarkReachable(context); // Mark implemented interfaces reachable if (typeDef.HasInterfaces) { foreach (var intf in typeDef.Interfaces.Select(x => x.Interface)) { intf.MarkReachable(context); } } // If this is an attribute, include related types if (typeDef.IsAttribute()) { GetDot42InternalType(context, "IAttribute").MarkReachable(context); GetDot42InternalType(context, "IAttributes").MarkReachable(context); } else if (typeDef.IsEnum) { var boxingType = GetDot42InternalType(context, "Boxing"); boxingType.Methods.Where(x => (x.Name == "UnboxInteger" || x.Name == "UnboxLong")).ForEach(x => x.MarkReachable(context)); } // Default & class ctor typeDef.FindDefaultCtor().MarkReachable(context); typeDef.GetClassCtor().MarkReachable(context); // Visit externally visible members if (typeDef.HasEvents) { foreach (var evt in typeDef.Events) { if ((!evt.IsReachable) && context.Include(evt)) { evt.MarkReachable(context); } } } if (typeDef.HasFields) { foreach (var field in typeDef.Fields) { // only public fields, so we don't pull any compiler generated stuff. var isSerializable = isUsedInSerialization && !field.IsStatic && field.IsPublic; if ((!field.IsReachable && context.Include(field)) || (!field.IsUsedInSerialization && isSerializable)) { field.MarkReachable(context, isUsedInSerialization); } } } if (typeDef.HasMethods) { foreach (var method in typeDef.Methods) { if ((!method.IsReachable) && context.Include(method)) { method.MarkReachable(context); } } } if (typeDef.HasProperties) { foreach (var prop in typeDef.Properties) { var isSerializable = isUsedInSerialization && prop.HasThis; if ((!prop.IsReachable && context.Include(prop) || (!prop.IsUsedInSerialization && isSerializable))) { prop.MarkReachable(context, isUsedInSerialization); } } } // Custom attributes Walk(context, (ICustomAttributeProvider)typeDef); // Walk imported java classes CustomAttribute javaImportAttr; if ((javaImportAttr = typeDef.GetJavaImportAttribute()) != null) { var javaClassName = (string)javaImportAttr.ConstructorArguments[0].Value; ClassFile javaClass; if (context.TryLoadClass(javaClassName, out javaClass)) { javaClass.MarkReachable(context); } } // Dex imported interfaces should have all their methods marked reachable. if (typeDef.IsInterface && typeDef.HasDexImportAttribute()) { typeDef.Methods.ForEach(x => x.MarkReachable(context)); } // Record in context context.RecordReachableType(typeDef); } else if ((typeSpec = type as TypeSpecification) != null) { // Element typeSpec.ElementType.MarkReachable(context, typeSpec.IsUsedInSerialization); // Generic instance GenericInstanceType git; FunctionPointerType fpt; RequiredModifierType reqModType; OptionalModifierType optModType; if ((git = typeSpec as GenericInstanceType) != null) { if (git.ElementType.IsNullableT()) { var typeofT = git.GenericArguments[0].Resolve(context); if (typeofT != null && !typeofT.UsedInNullableT) { typeofT.UsedInNullableT = true; DLog.Debug(DContext.CompilerAssemblyResolver, "found System.Nullable<{0}>", typeofT.FullName); } } Walk(context, (IGenericInstance)git); } else if ((fpt = typeSpec as FunctionPointerType) != null) { Walk(context, fpt.ReturnType); } else if ((reqModType = typeSpec as RequiredModifierType) != null) { reqModType.ModifierType.MarkReachable(context); } else if ((optModType = typeSpec as OptionalModifierType) != null) { optModType.ModifierType.MarkReachable(context); } } else if ((genericParam = type as GenericParameter) != null) { genericParam.IsSerializedParameter = genericParam.HasSerializedParameterAttribute(); // Owner var owner = (MemberReference)genericParam.Owner; owner.MarkReachable(context); // Constraints if (genericParam.HasConstraints) { foreach (TypeReference constraint in genericParam.Constraints) { constraint.MarkReachable(context); } } } else { // Try to resolve type.Resolve(context).MarkReachable(context, type.IsUsedInSerialization); } }
/// <summary> /// Mark all base types and externally visible members reachable /// </summary> private static void Walk(ReachableContext context, TypeReference type) { // Generic parameters Walk(context, (IGenericParameterProvider)type); TypeDefinition typeDef; TypeSpecification typeSpec; GenericParameter genericParam; if ((typeDef = type as TypeDefinition) != null) { // Mark base type reachable typeDef.BaseType.MarkReachable(context); // Mark declaring type reachable typeDef.DeclaringType.MarkReachable(context); // Mark implemented interfaces reachable if (typeDef.HasInterfaces) { foreach (var intf in typeDef.Interfaces.Select(x => x.Interface)) { intf.MarkReachable(context); } } // If is an an attribute include related types if (typeDef.IsAttribute()) { GetDot42InternalType(context, "IAttribute").MarkReachable(context); GetDot42InternalType(context, "IAttributes").MarkReachable(context); GetDot42InternalType(context, "IAnnotationType").MarkReachable(context); } else if (typeDef.IsEnum) { var boxingType = GetDot42InternalType(context, "Boxing"); boxingType.Methods.Where(x => (x.Name == "UnboxInteger" || x.Name == "UnboxLong")).ForEach(x => x.MarkReachable(context)); } // Default & class ctor typeDef.FindDefaultCtor().MarkReachable(context); typeDef.GetClassCtor().MarkReachable(context); // Visit externally visible members if (typeDef.HasEvents) { foreach (var evt in typeDef.Events) { if ((!evt.IsReachable) && context.Include(evt)) { evt.MarkReachable(context); } } } if (typeDef.HasFields) { foreach (var field in typeDef.Fields) { if ((!field.IsReachable) && context.Include(field)) { field.MarkReachable(context); } } } if (typeDef.HasMethods) { foreach (var method in typeDef.Methods) { if ((!method.IsReachable) && context.Include(method)) { method.MarkReachable(context); } } } if (typeDef.HasProperties) { foreach (var prop in typeDef.Properties) { if ((!prop.IsReachable) && context.Include(prop)) { prop.MarkReachable(context); } } } // Custom attributes Walk(context, (ICustomAttributeProvider)typeDef); // Walk imported java classes CustomAttribute javaImportAttr; if ((javaImportAttr = typeDef.GetJavaImportAttribute()) != null) { var javaClassName = (string)javaImportAttr.ConstructorArguments[0].Value; ClassFile javaClass; if (context.TryLoadClass(javaClassName, out javaClass)) { javaClass.MarkReachable(context); } } // Dex imported interfaces should have all their methods marked reachable. if (typeDef.IsInterface && typeDef.HasDexImportAttribute()) { typeDef.Methods.ForEach(x => x.MarkReachable(context)); } // Record in context and create class builder context.RecordReachableType(typeDef); } else if ((typeSpec = type as TypeSpecification) != null) { // Element typeSpec.ElementType.MarkReachable(context); // Generic instance GenericInstanceType git; FunctionPointerType fpt; RequiredModifierType reqModType; OptionalModifierType optModType; if ((git = typeSpec as GenericInstanceType) != null) { if (git.ElementType.IsNullableT()) { var typeofT = git.GenericArguments[0].Resolve(context); if (typeofT != null) { typeofT.UsedInNullableT = true; } } Walk(context, (IGenericInstance)git); } else if ((fpt = typeSpec as FunctionPointerType) != null) { Walk(context, fpt.ReturnType); } else if ((reqModType = typeSpec as RequiredModifierType) != null) { reqModType.ModifierType.MarkReachable(context); } else if ((optModType = typeSpec as OptionalModifierType) != null) { optModType.ModifierType.MarkReachable(context); } } else if ((genericParam = type as GenericParameter) != null) { // Owner var owner = (MemberReference)genericParam.Owner; owner.MarkReachable(context); // Constraints if (genericParam.HasConstraints) { foreach (TypeReference constraint in genericParam.Constraints) { constraint.MarkReachable(context); } } } else { // Try to resolve type.Resolve(context).MarkReachable(context); } }
/// <summary> /// Mark all base types and externally visible members reachable /// </summary> private static void Walk(ReachableContext context, TypeReference type) { // Generic parameters Walk(context, (IGenericParameterProvider)type); TypeDefinition typeDef; TypeSpecification typeSpec; GenericParameter genericParam; if ((typeDef = type as TypeDefinition) != null) { // Mark base type reachable typeDef.BaseType.MarkReachable(context); // Mark declaring type reachable typeDef.DeclaringType.MarkReachable(context); // Mark implemented interfaces reachable if (typeDef.HasInterfaces) { foreach (var intf in typeDef.Interfaces.Select(x => x.Interface)) { intf.MarkReachable(context); } } // If is an an attribute include related types if (typeDef.IsAttribute()) { GetDot42InternalType(context, "IAttribute").MarkReachable(context); GetDot42InternalType(context, "IAttributes").MarkReachable(context); GetDot42InternalType(context, "IAnnotationType").MarkReachable(context); } else if (typeDef.IsEnum) { var boxingType = GetDot42InternalType(context, "Boxing"); boxingType.Methods.Where(x => (x.Name == "UnboxInteger" || x.Name == "UnboxLong")).ForEach(x => x.MarkReachable(context)); } // Default & class ctor typeDef.FindDefaultCtor().MarkReachable(context); typeDef.GetClassCtor().MarkReachable(context); // Visit externally visible members if (typeDef.HasEvents) { foreach (var evt in typeDef.Events) { if ((!evt.IsReachable) && context.Include(evt)) { evt.MarkReachable(context); } } } if (typeDef.HasFields) { foreach (var field in typeDef.Fields) { if ((!field.IsReachable) && context.Include(field)) { field.MarkReachable(context); } } } if (typeDef.HasMethods) { foreach (var method in typeDef.Methods) { if ((!method.IsReachable) && context.Include(method)) { method.MarkReachable(context); } } } if (typeDef.HasProperties) { foreach (var prop in typeDef.Properties) { if ((!prop.IsReachable) && context.Include(prop)) { prop.MarkReachable(context); } } } // Custom attributes Walk(context, (ICustomAttributeProvider)typeDef); // Walk imported java classes CustomAttribute javaImportAttr; if ((javaImportAttr = typeDef.GetJavaImportAttribute()) != null) { var javaClassName = (string)javaImportAttr.ConstructorArguments[0].Value; ClassFile javaClass; if (context.TryLoadClass(javaClassName, out javaClass)) { javaClass.MarkReachable(context); } } // Dex imported interfaces should have all their methods marked reachable. if (typeDef.IsInterface && typeDef.HasDexImportAttribute()) { typeDef.Methods.ForEach(x => x.MarkReachable(context)); } // Record in context and create class builder context.RecordReachableType(typeDef); } else if ((typeSpec = type as TypeSpecification) != null) { // Element typeSpec.ElementType.MarkReachable(context); // Generic instance GenericInstanceType git; FunctionPointerType fpt; RequiredModifierType reqModType; OptionalModifierType optModType; if ((git = typeSpec as GenericInstanceType) != null) { if (git.ElementType.IsNullableT()) { var typeofT = git.GenericArguments[0].Resolve(context); if (typeofT != null) { typeofT.UsedInNullableT = true; } } Walk(context, (IGenericInstance)git); } else if ((fpt = typeSpec as FunctionPointerType) != null) { Walk(context, fpt.ReturnType); } else if ((reqModType = typeSpec as RequiredModifierType) != null) { reqModType.ModifierType.MarkReachable(context); } else if ((optModType = typeSpec as OptionalModifierType) != null) { optModType.ModifierType.MarkReachable(context); } } else if ((genericParam = type as GenericParameter) != null) { // Owner var owner = (MemberReference)genericParam.Owner; owner.MarkReachable(context); // Constraints if (genericParam.HasConstraints) { foreach (TypeReference constraint in genericParam.Constraints) { constraint.MarkReachable(context); } } } else { // Try to resolve type.Resolve(context).MarkReachable(context); } }
/// <summary> /// Mark all base types and externally visible members reachable /// </summary> private static void Walk(ReachableContext context, TypeReference type) { // Generic parameters Walk(context, (IGenericParameterProvider)type); TypeDefinition typeDef; TypeSpecification typeSpec; GenericParameter genericParam; if ((typeDef = type as TypeDefinition) != null) { var isUsedInSerialization = typeDef.IsUsedInSerialization && !type.IsPrimitive && !typeDef.IsEnum && !type.Namespace.StartsWith("System"); // Mark base type reachable typeDef.BaseType.MarkReachable(context, isUsedInSerialization); // Mark declaring type reachable typeDef.DeclaringType.MarkReachable(context); // Mark implemented interfaces reachable if (typeDef.HasInterfaces) { foreach (var intf in typeDef.Interfaces.Select(x => x.InterfaceType)) { intf.MarkReachable(context); } } // If this is an attribute, include related types if (typeDef.IsAttribute()) { GetDot42InternalType(context, "IAttribute").MarkReachable(context); GetDot42InternalType(context, "IAttributes").MarkReachable(context); } else if (typeDef.IsEnum) { var boxingType = GetDot42InternalType(context, "Boxing"); boxingType.Methods.Where(x => (x.Name == "UnboxInteger" || x.Name == "UnboxLong")).ForEach(x => x.MarkReachable(context)); } // Default & class ctor typeDef.FindDefaultCtor().MarkReachable(context); typeDef.GetClassCtor().MarkReachable(context); // Visit externally visible members if (typeDef.HasEvents) { foreach (var evt in typeDef.Events) { if ((!evt.IsReachable) && context.Include(evt)) { evt.MarkReachable(context); } } } if (typeDef.HasFields) { foreach (var field in typeDef.Fields) { // only public fields, so we don't pull any compiler generated stuff. var isSerializable = isUsedInSerialization && !field.IsStatic && field.IsPublic; if ((!field.IsReachable && context.Include(field)) || (!field.IsUsedInSerialization && isSerializable)) { field.MarkReachable(context, isUsedInSerialization); } } } if (typeDef.HasMethods) { foreach (var method in typeDef.Methods) { if ((!method.IsReachable) && context.Include(method)) { method.MarkReachable(context); } } } if (typeDef.HasProperties) { foreach (var prop in typeDef.Properties) { var isSerializable = isUsedInSerialization && prop.HasThis; if ((!prop.IsReachable && context.Include(prop) || (!prop.IsUsedInSerialization && isSerializable))) { prop.MarkReachable(context, isUsedInSerialization); } } } // Custom attributes Walk(context, (ICustomAttributeProvider)typeDef); // Walk imported java classes CustomAttribute javaImportAttr; if ((javaImportAttr = typeDef.GetJavaImportAttribute()) != null) { var javaClassName = (string)javaImportAttr.ConstructorArguments[0].Value; ClassFile javaClass; if (context.TryLoadClass(javaClassName, out javaClass)) { javaClass.MarkReachable(context); } } // Dex imported interfaces should have all their methods marked reachable. if (typeDef.IsInterface && typeDef.HasDexImportAttribute()) { typeDef.Methods.ForEach(x => x.MarkReachable(context)); } // Record in context context.RecordReachableType(typeDef); } else if ((typeSpec = type as TypeSpecification) != null) { // Element typeSpec.ElementType.MarkReachable(context, typeSpec.IsUsedInSerialization); // Generic instance GenericInstanceType git; FunctionPointerType fpt; RequiredModifierType reqModType; OptionalModifierType optModType; if ((git = typeSpec as GenericInstanceType) != null) { if (git.ElementType.IsNullableT()) { var typeofT = git.GenericArguments[0].Resolve(context); if (typeofT != null && !typeofT.UsedInNullableT) { typeofT.UsedInNullableT = true; DLog.Debug(DContext.CompilerAssemblyResolver, "found System.Nullable<{0}>", typeofT.FullName); } } Walk(context, (IGenericInstance)git); } else if ((fpt = typeSpec as FunctionPointerType) != null) { Walk(context, fpt.ReturnType); } else if ((reqModType = typeSpec as RequiredModifierType) != null) { reqModType.ModifierType.MarkReachable(context); } else if ((optModType = typeSpec as OptionalModifierType) != null) { optModType.ModifierType.MarkReachable(context); } } else if ((genericParam = type as GenericParameter) != null) { genericParam.IsSerializedParameter = genericParam.HasSerializedParameterAttribute(); // Owner var owner = (MemberReference)genericParam.Owner; owner.MarkReachable(context); // Constraints if (genericParam.HasConstraints) { foreach (TypeReference constraint in genericParam.Constraints) { constraint.MarkReachable(context); } } } else { // Try to resolve type.Resolve(context).MarkReachable(context, type.IsUsedInSerialization); } }