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); }