Merge pull request #3749 from BrzVlad/fix-mips-fix
[mono.git] / mcs / class / corlib / Test / System.Reflection.Emit / TypeBuilderTest.cs
index 692a7359500622c068f317586d46d5af8814beae..ac3b1f149fa3d8e587cb8cf5a691fcc62eef46a5 100644 (file)
@@ -51,7 +51,7 @@ namespace MonoTests.System.Reflection.Emit
        [TestFixture]
        public class TypeBuilderTest
        {
-               private interface AnInterface
+               public interface AnInterface
                {
                }
 
@@ -92,8 +92,8 @@ namespace MonoTests.System.Reflection.Emit
                }
 
                public class Tuple <A,B> {
-                       A a;
-                       B b;
+                       public A a;
+                       public B b;
                }
 
                private AssemblyBuilder assembly;
@@ -112,7 +112,7 @@ namespace MonoTests.System.Reflection.Emit
                                Thread.GetDomain ().DefineDynamicAssembly (
                                        assemblyName, AssemblyBuilderAccess.RunAndSave, Path.GetTempPath ());
 
-                       module = assembly.DefineDynamicModule ("module1");
+                       module = assembly.DefineDynamicModule (ASSEMBLY_NAME, ASSEMBLY_NAME + ".dll");
                }
 
                static int typeIndexer = 0;
@@ -1182,6 +1182,7 @@ namespace MonoTests.System.Reflection.Emit
                }
 
                [Test]
+               [Category ("AndroidNotWorking")] // Fails with System.MethodAccessException : Method `t17:.ctor ()' is inaccessible from method `t18:.ctor ()'
                public void DefineDefaultConstructor_Parent_DefaultCtorInaccessible ()
                {
                        TypeBuilder tb;
@@ -1826,6 +1827,23 @@ namespace MonoTests.System.Reflection.Emit
                        // TODO:
                }
 
+               [Test]
+               public void NestedTypeSave () {
+                       var tb = module.DefineType (genTypeName ());
+
+                       var tbuilder = tb.DefineNestedType ("Test.CodeGen", TypeAttributes.Public | TypeAttributes.Class);
+                       var entryp = tbuilder.DefineMethod("Main", MethodAttributes.Public | MethodAttributes.Static, typeof (void), null);
+                       var ilg = entryp.GetILGenerator (128);
+                       ilg.Emit (OpCodes.Ldtoken, tb);
+                       ilg.Emit (OpCodes.Pop);
+                       ilg.Emit (OpCodes.Ret);
+
+                       tbuilder.CreateType ();
+                       tb.CreateType ();
+
+                       assembly.Save (ASSEMBLY_NAME + ".dll");
+               }
+
                [Test]
                public void DefinePInvokeMethod_Name_NullChar ()
                {
@@ -8434,6 +8452,7 @@ namespace MonoTests.System.Reflection.Emit
                }
 
                [Test]
+               [Category ("MobileNotWorking")] // Not available in the 2.1 profile
                public void TestAddDeclarativeSecurityAlreadyCreated ()
                {
                        TypeBuilder tb = module.DefineType (genTypeName ());
@@ -8452,6 +8471,7 @@ namespace MonoTests.System.Reflection.Emit
                }
 
                [Test]
+               [Category ("MobileNotWorking")] // Not available in the 2.1 profile
                public void TestAddDeclarativeSecurityNullPermissionSet ()
                {
                        TypeBuilder tb = module.DefineType (genTypeName ());
@@ -8468,6 +8488,7 @@ namespace MonoTests.System.Reflection.Emit
                }
 
                [Test]
+               [Category ("MobileNotWorking")] // Not available in the 2.1 profile
                public void TestAddDeclarativeSecurityInvalidAction ()
                {
                        TypeBuilder tb = module.DefineType (genTypeName ());
@@ -8488,6 +8509,7 @@ namespace MonoTests.System.Reflection.Emit
                }
 
                [Test]
+               [Category ("MobileNotWorking")] // Not available in the 2.1 profile
                public void TestAddDeclarativeSecurityDuplicateAction ()
                {
                        TypeBuilder tb = module.DefineType (genTypeName ());
@@ -8968,7 +8990,7 @@ namespace MonoTests.System.Reflection.Emit
                        Assert.IsFalse (tb.IsAssignableFrom (typeof (FileStream)), "#C6");
                        Assert.IsTrue (typeof (object).IsAssignableFrom (tb), "#C7");
                        Assert.IsFalse (tb.IsAssignableFrom (typeof (object)), "#C8");
-                       Assert.IsFalse (typeof (IDisposable).IsAssignableFrom (tb), "#C9");
+                       Assert.IsTrue (typeof (IDisposable).IsAssignableFrom (tb), "#C9");
                        Assert.IsFalse (tb.IsAssignableFrom (typeof (IDisposable)), "#C10");
 
                        Assert.IsTrue (tb.IsAssignableFrom (tb), "#D1");
@@ -8976,13 +8998,13 @@ namespace MonoTests.System.Reflection.Emit
 
                        TypeBuilder tb2 = module.DefineType (genTypeName (),
                                TypeAttributes.Public, tb,
-                               new Type [] { typeof (IAir) });
+                               new Type[] { typeof (IAir) });
 
-                       Assert.IsFalse (typeof (IThrowable).IsAssignableFrom (tb2), "#E1");
+                       Assert.IsTrue (typeof (IThrowable).IsAssignableFrom (tb2), "#E1");
                        Assert.IsFalse (tb2.IsAssignableFrom (typeof (IThrowable)), "#E2");
-                       Assert.IsFalse (typeof (IMoveable).IsAssignableFrom (tb2), "#E3");
+                       Assert.IsTrue (typeof (IMoveable).IsAssignableFrom (tb2), "#E3");
                        Assert.IsFalse (tb2.IsAssignableFrom (typeof (IMoveable)), "#E4");
-                       Assert.IsFalse (typeof (IComparable).IsAssignableFrom (tb2), "#E5");
+                       Assert.IsTrue (typeof (IComparable).IsAssignableFrom (tb2), "#E5");
                        Assert.IsFalse (tb2.IsAssignableFrom (typeof (IComparable)), "#E6");
                        Assert.IsTrue (typeof (IAir).IsAssignableFrom (tb2), "#E7");
                        Assert.IsFalse (tb2.IsAssignableFrom (typeof (IAir)), "#E8");
@@ -8991,9 +9013,9 @@ namespace MonoTests.System.Reflection.Emit
                        Assert.IsFalse (typeof (ILiquid).IsAssignableFrom (tb2), "#E11");
                        Assert.IsFalse (tb2.IsAssignableFrom (typeof (ILiquid)), "#E12");
 
-                       Assert.IsFalse (typeof (Foo).IsAssignableFrom (tb2), "#F1");
+                       Assert.IsTrue (typeof (Foo).IsAssignableFrom (tb2), "#F1");
                        Assert.IsFalse (tb2.IsAssignableFrom (typeof (Foo)), "#F2");
-                       Assert.IsFalse (typeof (Bar).IsAssignableFrom (tb2), "#F3");
+                       Assert.IsTrue (typeof (Bar).IsAssignableFrom (tb2), "#F3");
                        Assert.IsFalse (tb2.IsAssignableFrom (typeof (Bar)), "#F4");
                        Assert.IsFalse (typeof (Baz).IsAssignableFrom (tb2), "#F5");
                        Assert.IsFalse (tb2.IsAssignableFrom (typeof (Baz)), "#F6");
@@ -9006,7 +9028,7 @@ namespace MonoTests.System.Reflection.Emit
                        Assert.IsFalse (tb2.IsAssignableFrom (typeof (FileStream)), "#G6");
                        Assert.IsTrue (typeof (object).IsAssignableFrom (tb2), "#G7");
                        Assert.IsFalse (tb2.IsAssignableFrom (typeof (object)), "#G8");
-                       Assert.IsFalse (typeof (IDisposable).IsAssignableFrom (tb2), "#G9");
+                       Assert.IsTrue (typeof (IDisposable).IsAssignableFrom (tb2), "#G9");
                        Assert.IsFalse (tb2.IsAssignableFrom (typeof (IDisposable)), "#G10");
 
                        Assert.IsTrue (tb2.IsAssignableFrom (tb2), "#H1");
@@ -9015,24 +9037,24 @@ namespace MonoTests.System.Reflection.Emit
 
                        TypeBuilder tb3 = module.DefineType (genTypeName (),
                                TypeAttributes.Public, tb2,
-                               new Type [] { typeof (IWater) });
+                               new Type[] { typeof (IWater) });
 
-                       Assert.IsFalse (typeof (IThrowable).IsAssignableFrom (tb3), "#I1");
+                       Assert.IsTrue (typeof (IThrowable).IsAssignableFrom (tb3), "#I1");
                        Assert.IsFalse (tb3.IsAssignableFrom (typeof (IThrowable)), "#I2");
-                       Assert.IsFalse (typeof (IMoveable).IsAssignableFrom (tb3), "#I3");
+                       Assert.IsTrue (typeof (IMoveable).IsAssignableFrom (tb3), "#I3");
                        Assert.IsFalse (tb3.IsAssignableFrom (typeof (IMoveable)), "#I4");
-                       Assert.IsFalse (typeof (IComparable).IsAssignableFrom (tb3), "#I5");
+                       Assert.IsTrue (typeof (IComparable).IsAssignableFrom (tb3), "#I5");
                        Assert.IsFalse (tb3.IsAssignableFrom (typeof (IComparable)), "#I6");
-                       Assert.IsFalse (typeof (IAir).IsAssignableFrom (tb3), "#I7");
+                       Assert.IsTrue (typeof (IAir).IsAssignableFrom (tb3), "#I7");
                        Assert.IsFalse (tb3.IsAssignableFrom (typeof (IAir)), "#I8");
                        Assert.IsTrue (typeof (IWater).IsAssignableFrom (tb3), "#I9");
                        Assert.IsFalse (tb3.IsAssignableFrom (typeof (IWater)), "#I10");
                        //Assert.IsFalse (typeof (ILiquid).IsAssignableFrom (tb3), "#I11");
                        Assert.IsFalse (tb3.IsAssignableFrom (typeof (ILiquid)), "#I12");
 
-                       Assert.IsFalse (typeof (Foo).IsAssignableFrom (tb3), "#J1");
+                       Assert.IsTrue (typeof (Foo).IsAssignableFrom (tb3), "#J1");
                        Assert.IsFalse (tb3.IsAssignableFrom (typeof (Foo)), "#J2");
-                       Assert.IsFalse (typeof (Bar).IsAssignableFrom (tb3), "#J3");
+                       Assert.IsTrue (typeof (Bar).IsAssignableFrom (tb3), "#J3");
                        Assert.IsFalse (tb3.IsAssignableFrom (typeof (Bar)), "#J4");
                        Assert.IsFalse (typeof (Baz).IsAssignableFrom (tb3), "#J5");
                        Assert.IsFalse (tb3.IsAssignableFrom (typeof (Baz)), "#J6");
@@ -9045,7 +9067,7 @@ namespace MonoTests.System.Reflection.Emit
                        Assert.IsFalse (tb3.IsAssignableFrom (typeof (FileStream)), "#K6");
                        Assert.IsTrue (typeof (object).IsAssignableFrom (tb3), "#K7");
                        Assert.IsFalse (tb3.IsAssignableFrom (typeof (object)), "#K8");
-                       Assert.IsFalse (typeof (IDisposable).IsAssignableFrom (tb3), "#K9");
+                       Assert.IsTrue (typeof (IDisposable).IsAssignableFrom (tb3), "#K9");
                        Assert.IsFalse (tb3.IsAssignableFrom (typeof (IDisposable)), "#K10");
 
                        Assert.IsTrue (tb3.IsAssignableFrom (tb3), "#L1");
@@ -9089,6 +9111,8 @@ namespace MonoTests.System.Reflection.Emit
 
 
                [Test]
+               // Casts don't work with unfinished types
+               [Category ("NotWorking")]
                [Category ("NotDotNet")]
                public void IsAssignableFrom_NotCreated_Array ()
                {
@@ -9741,6 +9765,33 @@ namespace MonoTests.System.Reflection.Emit
                        //Console.WriteLine (res[0]);
                }
 
+               [Test]
+               public void FieldWithInitializedDataWorksWithCompilerRuntimeHelpers2 ()
+               {
+                       TypeBuilder tb = module.DefineType ("Type1", TypeAttributes.Public);
+                       var garg = tb.DefineGenericParameters ("T") [0];
+                       FieldBuilder fb = tb.DefineInitializedData ("Foo", new byte [] {1,2,3,4}, FieldAttributes.Static|FieldAttributes.Public);
+                       tb.CreateType ();
+
+                       assembly = Thread.GetDomain ().DefineDynamicAssembly (new AssemblyName (ASSEMBLY_NAME+"2"), AssemblyBuilderAccess.RunAndSave, Path.GetTempPath ());
+                       module = assembly.DefineDynamicModule ("Instance.exe");
+
+                       TypeBuilder tb2 = module.DefineType ("Type2", TypeAttributes.Public);
+                       MethodBuilder mb = tb2.DefineMethod ("Test", MethodAttributes.Public | MethodAttributes.Static, typeof (object), new Type [0]);
+                       ILGenerator il = mb.GetILGenerator ();
+
+                       il.Emit (OpCodes.Ldc_I4_1);
+                       il.Emit (OpCodes.Newarr, typeof (int));
+                       il.Emit (OpCodes.Dup);
+                       il.Emit (OpCodes.Ldtoken, fb);
+                       il.Emit (OpCodes.Call, typeof (RuntimeHelpers).GetMethod ("InitializeArray"));
+                       il.Emit (OpCodes.Ret);
+
+                       Type t = tb2.CreateType ();
+                       int[] res = (int[])t.GetMethod ("Test").Invoke (null, new object[0]);
+                       //Console.WriteLine (res[0]);
+               }
+
                public interface IDelegateFactory
                {
                        Delegate Create (Delegate del);
@@ -9789,13 +9840,13 @@ namespace MonoTests.System.Reflection.Emit
             TypeBuilder tb = module.DefineType (genTypeName (), TypeAttributes.Public, typeof (EmptyIfaceImpl));
                        TypeBuilder tb2 = module.DefineType (genTypeName (), TypeAttributes.Public, tb);
 
-                       Assert.IsFalse (typeof (EmptyInterface).IsAssignableFrom (tb));
+                       Assert.IsTrue (typeof (EmptyInterface).IsAssignableFrom (tb));
                        Type t = tb.CreateType ();
                        Assert.IsTrue (typeof (EmptyInterface).IsAssignableFrom (tb));
                        Assert.IsTrue (typeof (EmptyInterface).IsAssignableFrom (t));
                        
                        
-                       Assert.IsFalse (typeof (EmptyInterface).IsAssignableFrom (tb2));
+                       Assert.IsTrue (typeof (EmptyInterface).IsAssignableFrom (tb2));
                        Type t2 = tb2.CreateType ();
                        Assert.IsTrue (typeof (EmptyInterface).IsAssignableFrom (tb2));
                        Assert.IsTrue (typeof (EmptyInterface).IsAssignableFrom (t2));
@@ -10878,6 +10929,7 @@ namespace MonoTests.System.Reflection.Emit
 
                //Test for #572660
         [Test]
+        [Category ("MobileNotWorking")] // Mono.CompilerServices.SymbolWriter not available in XA
         public void CircularArrayType()
         {
                        var assemblyBuilder = AppDomain.CurrentDomain.DefineDynamicAssembly(new AssemblyName("Test"), AssemblyBuilderAccess.RunAndSave);
@@ -11025,6 +11077,10 @@ namespace MonoTests.System.Reflection.Emit
                }
 
                [Test]
+               [Category ("AndroidNotWorking")]
+               // It's not possible to save the assembly in the current directory on Android and AssemblyBuilder.DefineDynamicModule will not
+               // allow a full path to the assembly to be passed to it. Trying to change the current directory before saving will not work either as
+               // FileStream will then prepend / to the file name (perhaps it's another bug) and write access to the filesystem root is, obviously, denied
                public void Ldfld_Encoding_10122 () {
                        Build2<Example<int>> ();
                }
@@ -11074,5 +11130,65 @@ namespace MonoTests.System.Reflection.Emit
                        Activator.CreateInstance (t, new object[] { "string"});
                }
 
+               public interface IFace16096 {
+                       object Bar ();
+               }
+
+               [Test]
+               public void MemberRef_Caching_16096 () {
+                       var outer_class = module.DefineType(
+                               "container",
+                               TypeAttributes.Class | TypeAttributes.Public,
+                               typeof(object));
+
+                       var builder = outer_class.DefineNestedType(
+                               "bind@32-1",
+                               TypeAttributes.Class | TypeAttributes.Public,
+                               typeof(object));
+
+                       builder.AddInterfaceImplementation (typeof (IFace16096));
+
+                       var ctor = builder.DefineDefaultConstructor (MethodAttributes.Public);
+                       var field = builder.DefineField ("Field", typeof (object), FieldAttributes.Public);
+                       var g_args = builder.DefineGenericParameters("b","a");
+                       var method = builder.DefineMethod ("Bar", MethodAttributes.Public | MethodAttributes.Virtual, typeof (object), new Type [0]);
+
+                       var il = method.GetILGenerator();
+                       il.Emit (OpCodes.Ldarg_0);
+                       il.Emit (OpCodes.Ldfld, TypeBuilder.GetField (builder.MakeGenericType (g_args), field));
+                       il.Emit (OpCodes.Pop);
+                       il.Emit (OpCodes.Newobj, TypeBuilder.GetConstructor (builder.MakeGenericType (g_args), ctor));
+                       il.Emit (OpCodes.Ret);
+
+                       var type = builder.CreateType ();
+
+                       /*Build a gshared instance. */
+                       var ginst = type.MakeGenericType (typeof (List<char>), typeof (object));
+                       var ins = (IFace16096)Activator.CreateInstance (ginst);
+
+                       /* This will trigger the runtime to cache the MEMBER_REF to the .ctor as it won't have a context. */
+                       var ins2 = ins.Bar ();
+                       Assert.IsNotNull (ins2);
+
+                       /* Build an unsharable version. */
+                       var ginst2 = type.MakeGenericType (typeof (List<char>), typeof (char));
+                       var ins3 = (IFace16096)Activator.CreateInstance (ginst2);
+
+                       /* This will trigger the runtime to use the cached version, which is wrong as it's an open type. */
+                       var ins4 = ins3.Bar ();
+                       Assert.IsNotNull (ins4);
+               }
+
+               // #22059
+               [Test]
+               [ExpectedException (typeof (TypeLoadException))]
+               public void PrivateIface ()
+               {
+                       TypeBuilder tb = module.DefineType ("Sample", TypeAttributes.Public, typeof (object), new[] { typeof (IFoo) });
+            tb.CreateType();
+               }
+
+               interface IFoo {
+               }
        }
 }