C# (CSharp) SolToBoogie TranslatorContext.GetLineNumberOfASTNode примеры использования

Пример #1

 public static Tuple <string, int> GenerateSourceInfoAnnotation(ASTNode node, TranslatorContext context)
 {
     return(Tuple.Create <string, int>(context.GetAbsoluteSourcePathOfASTNode(node), context.GetLineNumberOfASTNode(node)));
 }