static private bool ContainsWarningContext(Witness witness, WarningContext.ContextType what)
{
return(witness.Context.Any(wc => wc.Type == what));
}
public WarningContext(WarningContext.ContextType type, string varName)
: this(type, 0)
{
this.Name = varName;
}
public WarningContext(WarningContext.ContextType type)
: this(type, 0)
{
}
public WarningContext(WarningContext.ContextType type, int associatedNumericalinfo)
{
this.Type = type;
this.AssociatedInfo = associatedNumericalinfo;
this.Name = null;
}
