aboutsummaryrefslogtreecommitdiff
path: root/src/guile
diff options
context:
space:
mode:
authorLudovic Court`es2007-08-24 17:30:45 +0000
committerLudovic Court`es2007-08-24 17:30:45 +0000
commit3f9835d998a7f59fef3b7147911c6d669a480382 (patch)
treea7cc6bf2a7c681e2bec8293d1eae71322475d418 /src/guile
parent9f3b4f1c1d999a950dcaa6edbb7fe218ac7e8ae8 (diff)
downloadskribilo-3f9835d998a7f59fef3b7147911c6d669a480382.tar.gz
skribilo-3f9835d998a7f59fef3b7147911c6d669a480382.tar.lz
skribilo-3f9835d998a7f59fef3b7147911c6d669a480382.zip
Added `equal?' for ASTs.
* src/guile/skribilo/ast.scm (equal?): New methods, for <ast>, <node> and <markup>. git-archimport-id: lcourtes@laas.fr--2006-libre/skribilo--devo--1.2--patch-92
Diffstat (limited to 'src/guile')
-rw-r--r--src/guile/skribilo/ast.scm32
1 files changed, 23 insertions, 9 deletions
diff --git a/src/guile/skribilo/ast.scm b/src/guile/skribilo/ast.scm
index f515009..930ec60 100644
--- a/src/guile/skribilo/ast.scm
+++ b/src/guile/skribilo/ast.scm
@@ -173,7 +173,8 @@
(parent :accessor ast-parent :init-keyword :parent :init-value 'unspecified)
;; Its source location.
- (loc :init-value #f :init-keyword :loc)
+ (loc :init-value #f :init-keyword :loc
+ :getter ast-loc :setter ast-loc-set!)
;; This slot is used as an optimization when resolving an AST: sub-parts of
;; the tree are marked as resolved as soon as they are and don't need to be
@@ -182,10 +183,8 @@
(define (ast? obj) (is-a? obj <ast>))
-(define (ast-loc obj) (slot-ref obj 'loc))
-(define (ast-loc-set! obj v) (slot-set! obj 'loc v))
-(define (ast-parent n)
- (slot-ref n 'parent))
+(define-method (equal? (a <ast>) (b <ast>))
+ (eq? (ast-parent a) (ast-parent b)))
(define (ast->file-location ast)
@@ -257,12 +256,19 @@
;;; ======================================================================
(define-class <node> (<ast>)
(required-options :init-keyword :required-options :init-value '())
- (options :init-keyword :options :init-value '())
+ (options :init-keyword :options :init-value '()
+ :getter node-options)
(body :init-keyword :body :init-value #f
:getter node-body))
(define (node? obj) (is-a? obj <node>))
-(define (node-options obj) (slot-ref obj 'options))
+(define-method (equal? (a <node>) (b <node>))
+ (and (next-method)
+ (equal? (slot-ref a 'required-options)
+ (slot-ref b 'required-options))
+ (equal? (node-body a)
+ (node-body b))))
+
(define node-loc ast-loc)
(define-method (ast->string (ast <node>))
@@ -296,8 +302,16 @@
(define (markup? obj) (is-a? obj <markup>))
-(define (markup-options obj) (slot-ref obj 'options))
-(define markup-body node-body)
+(define-method (equal? (a <markup>) (b <markup>))
+ (and (next-method)
+ ;; We don't check for equality of `ident' because most markups return
+ ;; a fresh identifier every time they are called (using `gensym'),
+ ;; unless an identifier is explicitly specified.
+ (equal? (markup-class a) (markup-class b))
+ (eq? (markup-markup a) (markup-markup b))))
+
+(define markup-options node-options)
+(define markup-body node-body)
(define (markup-body-set! m body)
(slot-set! m 'resolved? #f)
(slot-set! m 'body body))