Пример #1
0
 public static void Error(NonglobalVariable v, string msg, params object[] args) {
     Contract.Requires(v != null);
     Contract.Requires(msg != null);
     Error(v.tok, msg, args);
 }
Пример #2
0
 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);
 }
Пример #3
0
 /// <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);
 }