// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.

using System;
using System.Diagnostics.CodeAnalysis;
using System.Reflection;
using Mono.Linker.Tests.Cases.Expectations.Assertions;
using Mono.Linker.Tests.Cases.Expectations.Helpers;

namespace Mono.Linker.Tests.Cases.DataFlow
{
	[SkipKeptItemsValidation]
	[ExpectedNoWarnings]
	class TypeInfoAsTypeDataFlow
	{
		public static void Main ()
		{
			TestNoAnnotations (typeof (TestType).GetTypeInfo ());
			TestWithAnnotations (typeof (TestType).GetTypeInfo ());
		}

		[ExpectedWarning ("IL2067", nameof (DataFlowTypeExtensions.RequiresPublicMethods))]
		static void TestNoAnnotations (TypeInfo t)
		{
			t.AsType ().RequiresPublicMethods ();
			t.AsType ().RequiresNone ();
		}

		[ExpectedWarning ("IL2067", nameof (DataFlowTypeExtensions.RequiresPublicFields))]
		static void TestWithAnnotations ([DynamicallyAccessedMembers (DynamicallyAccessedMemberTypes.PublicMethods)] TypeInfo t)
		{
			t.AsType ().RequiresPublicMethods ();
			t.AsType ().RequiresPublicFields ();
			t.AsType ().RequiresNone ();
		}

		class TestType { }
	}
}