C# (CSharp) IToken.GetDocumentFileName Examples

Example #1

File: SymbolTableFactory.cs Project: mschlaipfer/dafny

 public override void VisitUnknown(object node, IToken token)
 {
     logger.LogDebug("encountered unknown syntax node of type {NodeType} in {Filename}@({Line},{Column})",
                     node.GetType(), token.GetDocumentFileName(), token.line, token.col);
 }