private static void WriteLogLine(IVerySimpleLineWriter lineWriter, string operationName, string arguments)
{
Contract.Requires(lineWriter != null);
var str = string.Format("Request #{3} received from user '{0}' [{1}]: {2}",
System.Threading.Thread.CurrentPrincipal.Identity.Name,
operationName,
arguments,
ClousotService.RequestId - 1); // -1 because by the time we are called we the instance is already created
lineWriter.WriteLine(str.PrefixWithCurrentTime());
lineWriter.WriteLine();
}
public static void WriteLine(this IVerySimpleLineWriter writer, string format, params object[] args)
{
writer.WriteLine(String.Format(format, args));
}
public static void WriteLine(this IVerySimpleLineWriter writer)
{
writer.WriteLine((string)null);
}
