static bool HasBodyTokens(Dafny.Declaration decl)
{
Contract.Requires(decl != null);
return(decl.BodyStartTok != Bpl.Token.NoToken && decl.BodyEndTok != Bpl.Token.NoToken);
}
public static void Error(Declaration d, string msg, params object[] args)
{
Contract.Requires(d != null);
Contract.Requires(msg != null);
Error(d.tok, msg, args);
}
public static void Error(Declaration d, string msg, params object[] args) {
Contract.Requires(d != null);
Contract.Requires(msg != null);
Error(d.tok, msg, args);
}
/// <summary>
/// Create an error message
/// </summary>
/// <param name="d">Declaration</param>
/// <param name="n">error index</param>
/// <param name="args">Optional string formating params</param>
/// <returns>Error message</returns>
public static string MkErr(Declaration d, int n, params object[] args)
{
Contract.Requires(d != null);
return(MkErr(d.tok, n, args));
}
/// <summary>
/// Create an error message
/// </summary>
/// <param name="d">Declaration</param>
/// <param name="n">error index</param>
/// <param name="args">Optional string formating params</param>
/// <returns>Error message</returns>
public static string MkErr(Declaration d, int n, params object[] args) {
Contract.Requires(d != null);
return MkErr(d.tok, n, args);
}
