private static string GetSourceContextForMethodEntry <Local, Parameter, Method, Field, Type, Expression, Variable>(
IExpressionContext <Local, Parameter, Method, Field, Type, Expression, Variable> context)
where Type : IEquatable <Type>
{
APC entry = GetPCForMethodEntry(context);
return(entry.PrimarySourceContext());
}
public void Suggestion(ClousotSuggestion.Kind type, string kind, APC pc, string suggestion, List<uint> causes, ClousotSuggestion.ExtraSuggestionInfo extraInfo)
{
this.WriteLine("{0}: message : Suggested {1}: {2}", pc.PrimarySourceContext(), kind, suggestion);
}
public void Suggestion(ClousotSuggestion.Kind type, string kind, APC pc, string suggestion, List <uint> causes, ClousotSuggestion.ExtraSuggestionInfo extraInfo)
{
this.WriteLine("{0}: message : Suggested {1}: {2}", pc.PrimarySourceContext(), kind, suggestion);
}