Unlock 30% off on Manual Testing Annual Plans this Holiday Season.

Copied to Clipboard!

How to use Create method of Microsoft.Coyote.Rewriting.Types.Net.Http.HttpClient class

Best Coyote code snippet using Microsoft.Coyote.Rewriting.Types.Net.Http.HttpClient.Create

InterAssemblyInvocationRewritingPass.cs

Source:InterAssemblyInvocationRewritingPass.cs

...42                if (IsTaskType(resolvedReturnType, NameCache.TaskName, NameCache.SystemTasksNamespace))43                {44                    string methodName = GetFullyQualifiedMethodName(methodReference);45                    Instruction nextInstruction = instruction.Next;46                    MethodReference interceptionMethod = this.CreateInterceptionMethod(47                        typeof(ExceptionProvider), methodReference,48                        nameof(ExceptionProvider.ThrowIfReturnedTaskNotControlled));49                    TypeReference interceptedReturnType = this.CreateInterceptedReturnType(methodReference);50                    var instructions = this.CreateInterceptionMethodCallInstructions(51                        interceptionMethod, nextInstruction, interceptedReturnType, methodName);52                    if (instructions.Count > 0)53                    {54                        Debug.WriteLine($"............. [+] uncontrolled task assertion when invoking '{methodName}'");55                        instructions.ForEach(i => this.Processor.InsertBefore(nextInstruction, i));56                        this.IsMethodBodyModified = true;57                    }58                }59                else if (IsTaskType(resolvedReturnType, NameCache.ValueTaskName, NameCache.SystemTasksNamespace))60                {61                    string methodName = GetFullyQualifiedMethodName(methodReference);62                    Instruction nextInstruction = instruction.Next;63                    MethodReference interceptionMethod = this.CreateInterceptionMethod(64                        typeof(ExceptionProvider), methodReference,65                        nameof(ExceptionProvider.ThrowIfReturnedValueTaskNotControlled));66                    TypeReference interceptedReturnType = this.CreateInterceptedReturnType(methodReference);67                    var instructions = this.CreateInterceptionMethodCallInstructions(68                        interceptionMethod, nextInstruction, interceptedReturnType, methodName);69                    if (instructions.Count > 0)70                    {71                        Debug.WriteLine($"............. [+] uncontrolled value task assertion when invoking '{methodName}'");72                        instructions.ForEach(i => this.Processor.InsertBefore(nextInstruction, i));73                        this.IsMethodBodyModified = true;74                    }75                }76                else if (methodReference.Name is "GetAwaiter" && IsTaskType(resolvedReturnType,77                    NameCache.TaskAwaiterName, NameCache.SystemCompilerNamespace))78                {79                    MethodReference interceptionMethod = this.CreateInterceptionMethod(80                        typeof(TaskAwaiter), methodReference,81                        nameof(TaskAwaiter.Wrap));82                    Instruction newInstruction = Instruction.Create(OpCodes.Call, interceptionMethod);83                    Debug.WriteLine($"............. [+] {newInstruction}");84                    this.Processor.InsertAfter(instruction, newInstruction);85                    this.IsMethodBodyModified = true;86                }87                else if (methodReference.Name is "GetAwaiter" && IsTaskType(resolvedReturnType,88                    NameCache.ValueTaskAwaiterName, NameCache.SystemCompilerNamespace))89                {90                    MethodReference interceptionMethod = this.CreateInterceptionMethod(91                        typeof(ValueTaskAwaiter), methodReference,92                        nameof(ValueTaskAwaiter.Wrap));93                    Instruction newInstruction = Instruction.Create(OpCodes.Call, interceptionMethod);94                    Debug.WriteLine($"............. [+] {newInstruction}");95                    this.Processor.InsertAfter(instruction, newInstruction);96                    this.IsMethodBodyModified = true;97                }98#if NET || NETCOREAPP3_199                else if (IsSystemType(resolvedReturnType) && resolvedReturnType.FullName == NameCache.HttpClient)100                {101                    MethodReference interceptionMethod = this.CreateInterceptionMethod(102                        typeof(HttpClient), methodReference, nameof(HttpClient.Control));103                    Instruction newInstruction = Instruction.Create(OpCodes.Call, interceptionMethod);104                    Debug.WriteLine($"............. [+] {newInstruction}");105                    this.Processor.InsertAfter(instruction, newInstruction);106                    this.IsMethodBodyModified = true;107                }108#endif109            }110            return instruction;111        }112        /// <summary>113        /// Creates the IL instructions for invoking the specified interception method.114        /// </summary>115        private List<Instruction> CreateInterceptionMethodCallInstructions(MethodReference interceptionMethod,116            Instruction nextInstruction, TypeReference returnType, string methodName)117        {118            var instructions = new List<Instruction>();119            bool isParamByReference = interceptionMethod.Parameters[0].ParameterType.IsByReference;120            if (nextInstruction.OpCode == OpCodes.Stsfld &&121                nextInstruction.Operand is FieldReference fieldReference)122            {123                OpCode loadOpCode = isParamByReference ? OpCodes.Ldsflda : OpCodes.Ldsfld;124                instructions.Add(this.Processor.Create(nextInstruction.OpCode, fieldReference));125                instructions.Add(this.Processor.Create(loadOpCode, fieldReference));126            }127            else if (nextInstruction.OpCode == OpCodes.Starg_S &&128                nextInstruction.Operand is ParameterDefinition parameterDefinition)129            {130                OpCode loadOpCode = isParamByReference ? OpCodes.Ldarga_S :131                    parameterDefinition.Index is 0 ? OpCodes.Ldarg_0 :132                    parameterDefinition.Index is 1 ? OpCodes.Ldarg_1 :133                    parameterDefinition.Index is 2 ? OpCodes.Ldarg_2 :134                    parameterDefinition.Index is 3 ? OpCodes.Ldarg_3 :135                    OpCodes.Ldarg_S;136                instructions.Add(this.Processor.Create(nextInstruction.OpCode, parameterDefinition));137                instructions.Add(loadOpCode == OpCodes.Ldarga_S || loadOpCode == OpCodes.Ldarg_S ?138                    this.Processor.Create(loadOpCode, parameterDefinition) :139                    this.Processor.Create(loadOpCode));140            }141            else if (nextInstruction.OpCode == OpCodes.Stloc_S &&142                nextInstruction.Operand is VariableDefinition variableDefinition)143            {144                OpCode loadOpCode = isParamByReference ? OpCodes.Ldloca_S : OpCodes.Ldloc_S;145                instructions.Add(this.Processor.Create(nextInstruction.OpCode, variableDefinition));146                instructions.Add(this.Processor.Create(loadOpCode, variableDefinition));147            }148            else if (nextInstruction.OpCode == OpCodes.Stloc_0)149            {150                OpCode loadOpCode = isParamByReference ? OpCodes.Ldloca_S : OpCodes.Ldloc_0;151                instructions.Add(this.Processor.Create(nextInstruction.OpCode));152                instructions.Add(isParamByReference ? this.Processor.Create(loadOpCode, (byte)0) :153                    this.Processor.Create(loadOpCode));154            }155            else if (nextInstruction.OpCode == OpCodes.Stloc_1)156            {157                OpCode loadOpCode = isParamByReference ? OpCodes.Ldloca_S : OpCodes.Ldloc_1;158                instructions.Add(this.Processor.Create(nextInstruction.OpCode));159                instructions.Add(isParamByReference ? this.Processor.Create(loadOpCode, (byte)1) :160                    this.Processor.Create(loadOpCode));161            }162            else if (nextInstruction.OpCode == OpCodes.Stloc_2)163            {164                OpCode loadOpCode = isParamByReference ? OpCodes.Ldloca_S : OpCodes.Ldloc_2;165                instructions.Add(this.Processor.Create(nextInstruction.OpCode));166                instructions.Add(isParamByReference ? this.Processor.Create(loadOpCode, (byte)2) :167                    this.Processor.Create(loadOpCode));168            }169            else if (nextInstruction.OpCode == OpCodes.Stloc_3)170            {171                OpCode loadOpCode = isParamByReference ? OpCodes.Ldloca_S : OpCodes.Ldloc_3;172                instructions.Add(this.Processor.Create(nextInstruction.OpCode));173                instructions.Add(isParamByReference ? this.Processor.Create(loadOpCode, (byte)3) :174                    this.Processor.Create(loadOpCode));175            }176            else177            {178                instructions.Add(this.Processor.Create(OpCodes.Ldstr, methodName));179                instructions.Add(this.Processor.Create(OpCodes.Call, interceptionMethod));180                return instructions;181            }182            instructions.Add(this.Processor.Create(OpCodes.Ldstr, methodName));183            instructions.Add(this.Processor.Create(OpCodes.Call, interceptionMethod));184            if (interceptionMethod.ReturnType.IsByReference)185            {186                instructions.Add(this.Processor.Create(OpCodes.Ldobj, returnType));187            }188            return instructions;189        }190        /// <summary>191        /// Creates an interception method from the specified method and type.192        /// </summary>193        private MethodReference CreateInterceptionMethod(Type type, MethodReference methodReference,194            string interceptionMethodName)195        {196            var returnType = methodReference.ReturnType;197            TypeDefinition providerType = this.Module.ImportReference(type).Resolve();198            MethodReference wrapMethod = null;199            if (returnType is GenericInstanceType genericType)200            {201                GenericInstanceType resolvedType = ResolveGenericTypeArguments(genericType, methodReference);202                TypeReference argType = resolvedType.HasGenericArguments ?203                    resolvedType.GenericArguments.FirstOrDefault() :204                    resolvedType;205                MethodDefinition genericMethod = providerType.Methods.FirstOrDefault(206                    m => m.Name == interceptionMethodName && m.HasGenericParameters);207                MethodReference wrapReference = this.Module.ImportReference(genericMethod);208                wrapMethod = MakeGenericMethod(wrapReference, argType);209            }210            else211            {212                wrapMethod = providerType.Methods.FirstOrDefault(m => m.Name == interceptionMethodName);213            }214            return this.Module.ImportReference(wrapMethod);215        }216        /// <summary>217        /// Creates an intercepted return type from the specified method.218        /// </summary>219        private TypeReference CreateInterceptedReturnType(MethodReference methodReference)220        {221            var returnType = methodReference.ReturnType;222            if (returnType is GenericInstanceType genericType)223            {224                GenericInstanceType resolvedType = ResolveGenericTypeArguments(genericType, methodReference);225                TypeReference argType = resolvedType.HasGenericArguments ?226                    resolvedType.GenericArguments.FirstOrDefault() :227                    resolvedType;228                returnType = MakeGenericType(genericType.ElementType, argType);229                returnType = this.Module.ImportReference(returnType);230            }231            return returnType;232        }233        /// <summary>...

HttpClient.cs

Source:HttpClient.cs

...16    [System.ComponentModel.EditorBrowsable(System.ComponentModel.EditorBrowsableState.Never)]17    public static class HttpClient18    {19        /// <summary>20        /// Creates a new instance of the HTTP client class that is controlled during testing.21        /// </summary>22        [MethodImpl(MethodImplOptions.AggressiveInlining)]23        public static SystemHttpClient Create() =>24            new SystemHttpClient(HttpMessageHandler.CreateWithDefaultHandler());25        /// <summary>26        /// Creates a new instance of the HTTP client class that is controlled during testing.27        /// </summary>28        [MethodImpl(MethodImplOptions.AggressiveInlining)]29        public static SystemHttpClient Create(SystemHttpMessageHandler handler) =>30            new SystemHttpClient(HttpMessageHandler.Create(handler));31        /// <summary>32        /// Creates a new instance of the HTTP client class that is controlled during testing.33        /// </summary>34        [MethodImpl(MethodImplOptions.AggressiveInlining)]35        public static SystemHttpClient Create(SystemHttpMessageHandler handler, bool disposeHandler) =>36            new SystemHttpClient(HttpMessageHandler.Create(handler), disposeHandler);37        /// <summary>38        /// Injects logic that takes control of the specified http client.39        /// </summary>40        public static SystemHttpClient Control(SystemHttpClient client)41        {42            Type baseType = client.GetType().BaseType;43            if (baseType.FullName != typeof(SystemHttpMessageInvoker).FullName)44            {45                return client;46            }47            // If the client is already disposed, do nothing.48            var disposedField = baseType.GetField("_disposed", BindingFlags.NonPublic | BindingFlags.Instance);49            if ((bool)disposedField?.GetValue(client))50            {51                return client;52            }53            // Access the message handler and other properties through reflection.54            var handlerField = baseType.GetField("_handler", BindingFlags.NonPublic | BindingFlags.Instance);55            var handler = (SystemHttpMessageHandler)handlerField?.GetValue(client);56            var disposeHandlerField = baseType.GetField("_disposeHandler", BindingFlags.NonPublic | BindingFlags.Instance);57            var disposeHandler = (bool)disposeHandlerField?.GetValue(client);58            // Create the controlled client and set the same properties.59            var controlledClient = new SystemHttpClient(HttpMessageHandler.Create(handler), disposeHandler);60            controlledClient.BaseAddress = client.BaseAddress;61#if NET62            controlledClient.DefaultVersionPolicy = client.DefaultVersionPolicy;63#endif64            controlledClient.DefaultRequestVersion = client.DefaultRequestVersion;65            controlledClient.MaxResponseContentBufferSize = client.MaxResponseContentBufferSize;66            controlledClient.Timeout = client.Timeout;67            return controlledClient;68        }69    }70}71#endif...

Create

Using AI Code Generation

1var client = new HttpClient();2var client = new HttpClient();3var client = new HttpClient();4var client = new HttpClient();5var client = new HttpClient();6var client = new HttpClient();7var client = new HttpClient();8var client = new HttpClient();9var client = new HttpClient();10var client = new HttpClient();11var client = new HttpClient();

Create

Using AI Code Generation

1    using Microsoft.Coyote.Rewriting.Types.Net.Http;2    using System.Net.Http;3    using System.Threading.Tasks;4    {5        {6            static async Task Main(string[] args)7            {8                HttpClient client = new HttpClient();9                System.Console.WriteLine(response);10            }11        }12    }13    using Microsoft.Coyote.Rewriting.Types.Net.Http;14    using System.Net.Http;15    using System.Threading.Tasks;16    {17        {18            static async Task Main(string[] args)19            {20                HttpClient client = new HttpClient();21                HttpResponseMessage response = await client.Create(request);22                System.Console.WriteLine(response);23            }24        }25    }26    using Microsoft.Coyote.Rewriting.Types.Net.Http;27    using System.Net.Http;28    using System.Threading.Tasks;29    {30        {31            static async Task Main(string[] args)32            {33                HttpClient client = new HttpClient();34                HttpResponseMessage response = await client.Create(200);35                System.Console.WriteLine(response);36            }37        }38    }39    using Microsoft.Coyote.Rewriting.Types.Net.Http;40    using System.Net.Http;41    using System.Threading.Tasks;42    {43        {44            static async Task Main(string[] args)45            {46                HttpClient client = new HttpClient();47                HttpResponseMessage response = await client.Create(200, new StringContent("Hello world"));48                System.Console.WriteLine(response);49            }50        }51    }52    using Microsoft.Coyote.Rewriting.Types.Net.Http;53    using System.Net.Http;54    using System.Threading.Tasks;55    {56        {

Create

Using AI Code Generation

1var client = new HttpClient();2client = new HttpClient();3client = new HttpClient();4client = new HttpClient();5client = new HttpClient();6client = new HttpClient();7client = new HttpClient();8client = new HttpClient();9client = new HttpClient();10client = new HttpClient();11client = new HttpClient();12client = new HttpClient();

Create

Using AI Code Generation

1using System.Net.Http;2using System.Threading.Tasks;3using Microsoft.Coyote.Rewriting.Types.Net.Http;4{5    {6        public static async Task Main()7        {8            HttpClient client = new HttpClient();9            response.EnsureSuccessStatusCode();10            string responseBody = await response.Content.ReadAsStringAsync();11        }12    }13}14using System.Net.Http;15using System.Threading.Tasks;16{17    {18        public static async Task Main()19        {20            HttpClient client = new HttpClient();21            response.EnsureSuccessStatusCode();22            string responseBody = await response.Content.ReadAsStringAsync();23        }24    }25}

Automation Testing Tutorials

Learn to execute automation testing from scratch with LambdaTest Learning Hub. Right from setting up the prerequisites to run your first automation test, to following best practices and diving deeper into advanced test scenarios. LambdaTest Learning Hubs compile a list of step-by-step guides to help you be proficient with different test automation frameworks i.e. Selenium, Cypress, TestNG etc.