First Checked In.

js/semantics/Test/ConstraintTest.lisp

@@ -0,0 +1,67 @@
+;;; The contents of this file are subject to the Netscape Public License
+;;; Version 1.0 (the "NPL"); you may not use this file except in
+;;; compliance with the NPL.  You may obtain a copy of the NPL at
+;;; http://www.mozilla.org/NPL/
+;;;
+;;; Software distributed under the NPL is distributed on an "AS IS" basis,
+;;; WITHOUT WARRANTY OF ANY KIND, either express or implied. See the NPL
+;;; for the specific language governing rights and limitations under the
+;;; NPL.
+;;;
+;;; The Initial Developer of this code under the NPL is Netscape
+;;; Communications Corporation.  Portions created by Netscape are
+;;; Copyright (C) 1999 Netscape Communications Corporation.  All Rights
+;;; Reserved.
+
+;;;
+;;; Constraint test grammar
+;;;
+;;; Waldemar Horwat (waldemar@netscape.com)
+;;;
+
+(declaim (optimize (debug 3)))
+
+(progn
+  (defparameter *ctw*
+    (generate-world
+     "T"
+     '((grammar constraint-test-grammar :lr-1 :start)
+       
+       (production :start (:string) start-string)
+       (production :start ((:- letter digit) :chars) start-escape)
+       (production :start ((:- escape) :char) start-letter-digit)
+       
+       (production :string (begin :chars end) string)
+       
+       (production :chars () chars-none)
+       (production :chars (:chars :char) chars-some)
+       
+       (production :char (letter (:- letter)) char-letter)
+       (production :char (digit) char-digit)
+       (production :char (escape digit (:- digit)) char-escape-1)
+       (production :char (escape digit digit) char-escape-2)
+       )))
+  
+  (defparameter *ctg* (world-grammar *ctw* 'constraint-test-grammar)))
+
+
+#|
+(depict-rtf-to-local-file
+ ";Test;ConstraintTestGrammar.rtf"
+ "Constraint Test Grammar"
+ #'(lambda (markup-stream)
+     (depict-world-commands markup-stream *ctw* :visible-semantics nil)))
+
+(depict-html-to-local-file
+ ";Test;ConstraintTestGrammar.html"
+ "Constraint Test Grammar"
+ t
+ #'(lambda (markup-stream)
+     (depict-world-commands markup-stream *ctw* :visible-semantics nil)))
+
+(with-local-output (s ";Test;ConstraintTestGrammar.txt") (print-grammar *ctg* s))
+
+(pprint (parse *ctg* #'identity '(begin letter letter letter digit end)))
+|#
+
+(length (grammar-states *ctg*))

js2/semantics/Test/ConstraintTest.lisp

@@ -0,0 +1,67 @@
+;;; The contents of this file are subject to the Netscape Public License
+;;; Version 1.0 (the "NPL"); you may not use this file except in
+;;; compliance with the NPL.  You may obtain a copy of the NPL at
+;;; http://www.mozilla.org/NPL/
+;;;
+;;; Software distributed under the NPL is distributed on an "AS IS" basis,
+;;; WITHOUT WARRANTY OF ANY KIND, either express or implied. See the NPL
+;;; for the specific language governing rights and limitations under the
+;;; NPL.
+;;;
+;;; The Initial Developer of this code under the NPL is Netscape
+;;; Communications Corporation.  Portions created by Netscape are
+;;; Copyright (C) 1999 Netscape Communications Corporation.  All Rights
+;;; Reserved.
+
+;;;
+;;; Constraint test grammar
+;;;
+;;; Waldemar Horwat (waldemar@netscape.com)
+;;;
+
+(declaim (optimize (debug 3)))
+
+(progn
+  (defparameter *ctw*
+    (generate-world
+     "T"
+     '((grammar constraint-test-grammar :lr-1 :start)
+       
+       (production :start (:string) start-string)
+       (production :start ((:- letter digit) :chars) start-escape)
+       (production :start ((:- escape) :char) start-letter-digit)
+       
+       (production :string (begin :chars end) string)
+       
+       (production :chars () chars-none)
+       (production :chars (:chars :char) chars-some)
+       
+       (production :char (letter (:- letter)) char-letter)
+       (production :char (digit) char-digit)
+       (production :char (escape digit (:- digit)) char-escape-1)
+       (production :char (escape digit digit) char-escape-2)
+       )))
+  
+  (defparameter *ctg* (world-grammar *ctw* 'constraint-test-grammar)))
+
+
+#|
+(depict-rtf-to-local-file
+ ";Test;ConstraintTestGrammar.rtf"
+ "Constraint Test Grammar"
+ #'(lambda (markup-stream)
+     (depict-world-commands markup-stream *ctw* :visible-semantics nil)))
+
+(depict-html-to-local-file
+ ";Test;ConstraintTestGrammar.html"
+ "Constraint Test Grammar"
+ t
+ #'(lambda (markup-stream)
+     (depict-world-commands markup-stream *ctw* :visible-semantics nil)))
+
+(with-local-output (s ";Test;ConstraintTestGrammar.txt") (print-grammar *ctg* s))
+
+(pprint (parse *ctg* #'identity '(begin letter letter letter digit end)))
+|#
+
+(length (grammar-states *ctg*))