private void PrintVerifyMethodsResult(VerificationResult result, string pathOrModuleName)
{
Write("[IL]: Error: ");
Write("[");
Write(pathOrModuleName);
Write(" : ");
//MetadataReader metadataReader = module.MetadataReader;
//TypeDefinition typeDef = metadataReader.GetTypeDefinition(metadataReader.GetMethodDefinition(result.Method).GetDeclaringType());
//string typeName = metadataReader.GetString(typeDef.Name);
//Write(typeName);
//Write("::");
//var method = (EcmaMethod)module.GetMethod(result.Method);
//PrintMethod(method);
Write("]");
if (result.Code != VerifierError.None)
{
Write("[offset 0x");
Write(result.GetArgumentValue <int>("Offset").ToString("X8"));
Write("]");
if (result.TryGetArgumentValue("Found", out string found))
{
Write("[found ");
Write(found);
Write("]");
}
if (result.TryGetArgumentValue("Expected", out string expected))
{
Write("[expected ");
Write(expected);
Write("]");
}
if (result.TryGetArgumentValue("Token", out int token))
{
Write("[token 0x");
Write(token.ToString("X8"));
Write("]");
}
}
Write(" ");
WriteLine(result.Message);
}
