1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
|
;;; location.scm -- Skribilo source location.
;;; -*- coding: iso-8859-1 -*-
;;;
;;; Copyright 2005, 2007, 2009, 2010, 2012, 2013, 2015 Ludovic Court�s <ludo@gnu.org>
;;; Copyright 2003, 2004 Erick Gallesio - I3S-CNRS/ESSI <eg@unice.fr>
;;;
;;;
;;; This file is part of Skribilo.
;;;
;;; Skribilo is free software: you can redistribute it and/or modify
;;; it under the terms of the GNU General Public License as published by
;;; the Free Software Foundation, either version 3 of the License, or
;;; (at your option) any later version.
;;;
;;; Skribilo is distributed in the hope that it will be useful,
;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with Skribilo. If not, see <http://www.gnu.org/licenses/>.
(define-module (skribilo location)
:use-module (oop goops)
:use-module ((skribilo utils syntax) :select (skribilo-module-syntax))
:autoload (srfi srfi-13) (string-prefix?)
:export (<location> location? ast-location
location-file location-line location-column
invocation-location
source-properties->location
location->string))
;;; Author: Ludovic Court�s
;;;
;;; Commentary:
;;;
;;; An abstract data type to keep track of source locations.
;;;
;;; Code:
(skribilo-module-syntax)
;;;
;;; Class definition.
;;;
(define-class <location> ()
(file :init-keyword :file :getter location-file)
(column :init-keyword :column :getter location-column)
(line :init-keyword :line :getter location-line))
(define (location? obj)
(is-a? obj <location>))
(define (ast-location obj)
(let ((loc (slot-ref obj 'loc)))
(if (location? loc)
(let* ((fname (location-file loc))
(line (location-line loc))
(pwd (getcwd))
(len (string-length pwd))
(lenf (string-length fname))
(file (if (and (string-prefix? pwd fname len)
(> lenf len))
(substring fname len (string-length fname))
fname)))
(format #f "~a, line ~a" file line))
"no source location")))
(define-method (write (loc <location>) port)
(format port "#<<location> ~a \"~a\":~a:~a>"
(object-address loc)
(location-file loc)
(location-line loc)
(location-column loc)))
;;;
;;; Getting an invocation's location.
;;;
(cond-expand
(guile-2 (use-modules (system vm frame)))
(else #t))
(define (invocation-location . depth)
;; Return a location object denoting the place of invocation of this
;; function's caller. Debugging must be enable for this to work, via
;; `(debug-enable 'debug)', otherwise `#f' is returned.
(define %outer-depth 3) ;; update when moving `make-stack'!
(let ((depth (+ %outer-depth
(if (null? depth) 0 (car depth))))
(stack (make-stack #t)))
(and stack
(< depth (stack-length stack))
(let* ((frame (stack-ref stack depth))
(source (frame-source frame))
(props (and=> source source-properties)))
(and=> props source-properties->location)))))
(define (source-properties->location loc)
"Return a location object based on the info in LOC, an alist as returned
by Guile's `source-properties', `frame-source', `current-source-location',
etc."
(let ((file (assq-ref loc 'filename))
(line (assq-ref loc 'line))
(col (assq-ref loc 'column)))
(and file (make <location>
:file file
:line (and line (+ line 1))
:column (and col (+ col 1))))))
(define (location->string loc)
"Return a user-friendly representation of LOC."
(if (location? loc)
(format #f "~a:~a:~a:" (location-file loc) (location-line loc)
(location-column loc))
"<unknown-location>:"))
;;; location.scm ends here.
|