/// <summary>
/// Writes pip fingerprint, given its stable id.
/// </summary>
public static void WritePipFingerprint(TextWriter writer, PipOrigins pipOrigins, PipStableId pipStableId)
{
Contract.Requires(writer != null);
Contract.Requires(pipOrigins != null);
writer.Write(GetPipIdText(pipOrigins, pipStableId));
}
public void WriteText(TextWriter writer, PipOrigins pipOrigins, PathTable pathTable)
{
Contract.Requires(writer != null);
Contract.Requires(pipOrigins != null);
Contract.Requires(pathTable != null);
WriteTextMap(writer, m_pipProducers, p => p.ToString(pathTable), i => GetPipIdText(pipOrigins, i));
}
/// <summary>
/// Gets text format of pip stable id.
/// </summary>
public static string GetPipIdText(PipOrigins pipOrigins, PipStableId pipStableId)
{
Contract.Requires(pipOrigins != null);
return(pipOrigins.TryGetFingerprint(pipStableId, out ContentFingerprint fingerprint) ? I($"FP:{fingerprint.ToString()}") : I($"PIP_ID:{pipStableId}"));
}