C# (CSharp) NonglobalVariable Examples

Example #1

File: LanguageServerVisitorBase.cs Project: just-me-/dafny-language-server

 public override void Visit(NonglobalVariable o)
 {
 }

Example #2

File: LanguageServerVisitorBase.cs Project: just-me-/dafny-language-server

 public override void Leave(NonglobalVariable o)
 {
 }

Example #3

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

Example #4

 public static string SanitizedName(MemberDecl m)
 {
     return /* m.EnclosingClass.FullSanitizedName + "." + */ (NonglobalVariable.CompilerizeName(m.Name.Replace("#", "&")).Replace("&", "#"));
 }

Example #5

 public virtual void Visit(NonglobalVariable nonGlobalVariable)
 {
 }

Example #6

File: Error.cs Project: ggrov/tacny

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

Example #7

File: Reporting.cs Project: dbremner/dafny

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

Example #8

File: Printer.cs Project: ggrov/tacny

 public static void Error(NonglobalVariable v, string msg, params object[] args) {
     Contract.Requires(v != null);
     Contract.Requires(msg != null);
     Error(v.tok, msg, args);
 }

Example #9

File: Error.cs Project: ggrov/tacny

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