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