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 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); }