/// <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));
        }
예제 #2
0
        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}"));
 }