Example #1
0
 private string GetSourceRef(SourceInfo s)
 {
     if (s == null)
     {
         return("[]");
     }
     else
     {
         return("[" + s.GetSrcFile() + ":" + s.GetBeginSrcLine() + "]");
     }
 }