Bommels05/Mozilla
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Clean grammars on allegro to save memory

Browse Source 
git-svn-id: svn://10.0.0.236/trunk@55277 18797224-902f-48f8-a5cc-f745e15eee43
This commit is contained in:
waldemar%netscape.com
1999-12-04 05:04:08 +00:00
parent 77c4947349
commit 23207ef36f
6 changed files with 28 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
mozilla/js/semantics/JS20/Lexer.lisp
View File

@@ -616,4 +616,5 @@ fjds*/y//z")
(js-pmetaparse "3a+in'a+b\\040\\077\\700\\150\\15A\\69\"de'\"'\"")
|#
#+allegro (clean-grammar *lg*) ;Remove this line if you wish to print the grammar's state tables.
(length (grammar-states *lg*))

18
mozilla/js/semantics/JS20/Parser.lisp
View File

@@ -605,6 +605,9 @@
; A list of terminals that may precede a / or /= terminal;
; The intersection of the $regular-expression and /|/= lists.
; The intersection of the $regular-expression|$virtual-semicolon and /|/= lists.
;
; USE ONLY ON canonical-lr-1 grammars.
; DON'T RUN THIS AFTER CALLING forward-parser-states.
(defun show-regexp-and-division-predecessors (grammar)
(let* ((nstates (length (grammar-states grammar)))
(state-predecessors (make-array nstates :element-type 'terminalset :initial-element *empty-terminalset*)))
@@ -619,12 +622,13 @@
(div-predecessors *empty-terminalset*))
(all-state-transitions
#'(lambda (state transitions-hash)
(when (gethash '$regular-expression transitions-hash)
(terminalset-union-f regexp-predecessors (svref state-predecessors (state-number state))))
(if (or (gethash '/ transitions-hash) (gethash '/= transitions-hash))
(terminalset-union-f div-predecessors (svref state-predecessors (state-number state)))
(when (gethash '$virtual-semicolon transitions-hash)
(terminalset-union-f virtual-predecessors (svref state-predecessors (state-number state))))))
(let ((predecessors (svref state-predecessors (state-number state))))
(when (gethash '$regular-expression transitions-hash)
(terminalset-union-f regexp-predecessors predecessors))
(if (or (gethash '/ transitions-hash) (gethash '/= transitions-hash))
(terminalset-union-f div-predecessors predecessors)
(when (gethash '$virtual-semicolon transitions-hash)
(terminalset-union-f virtual-predecessors predecessors)))))
grammar)
(values
(terminalset-list grammar regexp-predecessors)
@@ -697,4 +701,6 @@
|#
(ensure-lf-subset *jg*)
(forward-parser-states *jg*)
#+allegro (clean-grammar *jg*) ;Remove this line if you wish to print the grammar's state tables.
(length (grammar-states *jg*))

1
mozilla/js/semantics/JS20/RegExp.lisp
View File

@@ -634,4 +634,5 @@
(run-regexp "(aa|aabaac|ba|b|c)*" "aabaac")
|#
#+allegro (clean-grammar *rg*) ;Remove this line if you wish to print the grammar's state tables.
(length (grammar-states *rg*))

1
mozilla/js2/semantics/JS20/Lexer.lisp
View File

@@ -616,4 +616,5 @@ fjds*/y//z")
(js-pmetaparse "3a+in'a+b\\040\\077\\700\\150\\15A\\69\"de'\"'\"")
|#
#+allegro (clean-grammar *lg*) ;Remove this line if you wish to print the grammar's state tables.
(length (grammar-states *lg*))

18
mozilla/js2/semantics/JS20/Parser.lisp
View File

@@ -605,6 +605,9 @@
; A list of terminals that may precede a / or /= terminal;
; The intersection of the $regular-expression and /|/= lists.
; The intersection of the $regular-expression|$virtual-semicolon and /|/= lists.
;
; USE ONLY ON canonical-lr-1 grammars.
; DON'T RUN THIS AFTER CALLING forward-parser-states.
(defun show-regexp-and-division-predecessors (grammar)
(let* ((nstates (length (grammar-states grammar)))
(state-predecessors (make-array nstates :element-type 'terminalset :initial-element *empty-terminalset*)))
@@ -619,12 +622,13 @@
(div-predecessors *empty-terminalset*))
(all-state-transitions
#'(lambda (state transitions-hash)
(when (gethash '$regular-expression transitions-hash)
(terminalset-union-f regexp-predecessors (svref state-predecessors (state-number state))))
(if (or (gethash '/ transitions-hash) (gethash '/= transitions-hash))
(terminalset-union-f div-predecessors (svref state-predecessors (state-number state)))
(when (gethash '$virtual-semicolon transitions-hash)
(terminalset-union-f virtual-predecessors (svref state-predecessors (state-number state))))))
(let ((predecessors (svref state-predecessors (state-number state))))
(when (gethash '$regular-expression transitions-hash)
(terminalset-union-f regexp-predecessors predecessors))
(if (or (gethash '/ transitions-hash) (gethash '/= transitions-hash))
(terminalset-union-f div-predecessors predecessors)
(when (gethash '$virtual-semicolon transitions-hash)
(terminalset-union-f virtual-predecessors predecessors)))))
grammar)
(values
(terminalset-list grammar regexp-predecessors)
@@ -697,4 +701,6 @@
|#
(ensure-lf-subset *jg*)
(forward-parser-states *jg*)
#+allegro (clean-grammar *jg*) ;Remove this line if you wish to print the grammar's state tables.
(length (grammar-states *jg*))

1
mozilla/js2/semantics/JS20/RegExp.lisp
View File

@@ -634,4 +634,5 @@
(run-regexp "(aa|aabaac|ba|b|c)*" "aabaac")
|#
#+allegro (clean-grammar *rg*) ;Remove this line if you wish to print the grammar's state tables.
(length (grammar-states *rg*))