public override void Visit(NonglobalVariable o)
{
}
public override void Leave(NonglobalVariable o)
{
}
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);
}
public static string SanitizedName(MemberDecl m)
{
return /* m.EnclosingClass.FullSanitizedName + "." + */ (NonglobalVariable.CompilerizeName(m.Name.Replace("#", "&")).Replace("&", "#"));
}
public virtual void Visit(NonglobalVariable nonGlobalVariable)
{
}
/// <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));
}
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);
}
public static void Error(NonglobalVariable v, string msg, params object[] args) {
Contract.Requires(v != null);
Contract.Requires(msg != null);
Error(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);
}
