public static void Error(NonglobalVariable v, string msg, params object[] args) {
Contract.Requires(v != null);
Contract.Requires(msg != null);
Error(v.tok, msg, args);
}
public void Error(MessageSource source, NonglobalVariable v, string msg, params object[] args)
{
Contract.Requires(v != null);
Contract.Requires(msg != null);
Error(source, v.tok, msg, args);
}
/// <summary>
/// Create an error message
/// </summary>
/// <param name="v">NonglobalVariable</param>
/// <param name="n">error index</param>
/// <param name="args">Optional string formating params</param>
/// <returns>Error message</returns>
public static string MkErr(NonglobalVariable v, int n, params object[] args) {
Contract.Requires(v != null);
return MkErr(v.tok, n, args);
}
