private string ToString(QualifierSpaceId qualifierSpaceId, QualifierTable qualifierTable, FrontEndContext context) { Contract.Requires(context != null); Contract.Requires(qualifierTable != null); QualifierSpace qualifierSpace = qualifierTable.GetQualifierSpace(qualifierSpaceId); return(qualifierSpace.ToDisplayString(context.StringTable)); }
/// <nodoc /> public static string ToDisplayString(this QualifierSpaceId qualifierSpaceId, ImmutableContextBase context) { Contract.Requires(context != null); if (!qualifierSpaceId.IsValid) { return("Invalid"); } QualifierSpace qualifierSpace = context.FrontEndContext.QualifierTable.GetQualifierSpace(qualifierSpaceId); return(qualifierSpace.ToDisplayString(context.FrontEndContext.StringTable)); }