示例#1
0
 void AddNestingsAsAux(IToken tok)
 {
     while (tok != null && tok is Dafny.NestedToken)
     {
         var nt = (Dafny.NestedToken)tok;
         tok = nt.Inner;
         Aux.Add(new AuxErrorInfo(tok, "Related location"));
     }
 }
示例#2
0
 public virtual void AddAuxInfo(IToken tok, string msg, string category = null)
 {
     Aux.Add(new ErrorInformation.AuxErrorInfo(tok, msg, category));
 }