/// <summary>
/// Reports assignment of payload to a machine field.
/// </summary>
/// <param name="log">Log</param>
internal static void ReportPayloadFieldAssignment(Log log)
{
if (log.State == null)
{
AnalysisErrorReporter.ReportDataRaceSource(log,
"Method '{0}' of machine '{1}' assigns the latest received " +
"payload to a machine field.",
log.Method, log.Machine);
}
else
{
AnalysisErrorReporter.ReportDataRaceSource(log,
"Method '{0}' in state '{1}' of machine '{2}' assigns " +
"the latest received payload to a machine field.",
log.Method, log.State, log.Machine);
}
}
/// <summary>
/// Reports a given up field ownership error.
/// </summary>
/// <param name="log">Log</param>
internal static void ReportGivenUpFieldOwnershipError(Log log)
{
if (log.State == null)
{
AnalysisErrorReporter.ReportDataRaceSource(log,
"Method '{0}' of machine '{1}' sends payload '{2}', which " +
"contains data from a machine field.",
log.Method, log.Machine, log.Payload);
}
else
{
AnalysisErrorReporter.ReportDataRaceSource(log,
"Method '{0}' in state '{1}' of machine '{2}' sends payload " +
"'{3}', which contains data from a machine field.",
log.Method, log.State, log.Machine, log.Payload);
}
}