/// <summary>
/// Display the command's result message to the UI
/// </summary>
/// <param name="message"></param>
/// <param name="isExtractionCompleted"></param>
private void ShowExtractionMessage(String message, Boolean isExtractionCompleted = false)
{
//Declarations
ExtractionMessage extractionMessage = new ExtractionMessage(message.Trim() + "\r\n\r\n");
extractionMessage.IsExtractionCompleted = isExtractionCompleted;
//Raise the event
Extracted(extractionMessage);
}
internal static void extractor_messages(this System.IO.TextWriter trapFile, ExtractionMessage error, Semmle.Util.Logging.Severity severity, string origin, string errorMessage, string entityText, Location location, string stackTrace)
{
trapFile.WriteTuple("extractor_messages", error, (int)severity, origin, errorMessage, entityText, location, stackTrace);
}
internal static Tuple extractor_messages(ExtractionMessage error, Semmle.Util.Logging.Severity severity, string origin, string errorMessage, string entityText, Location location, string stackTrace) =>
new Tuple("extractor_messages", error, severity, origin, errorMessage, entityText, location, stackTrace);
