Commit 5e6efedd authored by gerd's avatar gerd

Updated.


git-svn-id: https://godirepo.camlcity.org/svn/lib-pxp/[email protected] dbe99aee-44db-0310-b2b3-d33182c8eb97
parent bcb77ae8
(* $Id: compile.ml,v 1.4 2000/08/17 01:20:15 gerd Exp $
(* $Id: compile.ml,v 1.5 2001/05/17 22:38:27 gerd Exp $
* ----------------------------------------------------------------------
*
*)
......@@ -27,9 +27,9 @@ let compile in_filename out_filename print super_root pis comments =
let spec =
let e = new element_impl default_extension in
make_spec_from_mapping
~super_root_exemplar: e
~default_pinstr_exemplar: e
~comment_exemplar: e
~super_root_exemplar: (new super_root_impl default_extension)
~default_pinstr_exemplar: (new pinstr_impl default_extension)
~comment_exemplar: (new comment_impl default_extension)
~data_exemplar: (new data_impl default_extension)
~default_element_exemplar: e
~element_mapping: (Hashtbl.create 1)
......@@ -111,6 +111,9 @@ if !error_happened then exit(1);;
* History:
*
* $Log: compile.ml,v $
* Revision 1.5 2001/05/17 22:38:27 gerd
* Updated.
*
* Revision 1.4 2000/08/17 01:20:15 gerd
* Update: Also tested whether super root nodes, pinstr nodes
* and comment nodes work.
......
(* $Id: test_write.ml,v 1.2 2000/08/16 23:44:21 gerd Exp $
(* $Id: test_write.ml,v 1.3 2001/05/17 22:35:46 gerd Exp $
* ----------------------------------------------------------------------
*
*)
......@@ -25,8 +25,8 @@ let parse_and_write in_filename =
let spec =
let e = new element_impl default_extension in
make_spec_from_mapping
~super_root_exemplar: e
~default_pinstr_exemplar: e
~super_root_exemplar: (new super_root_impl default_extension)
~default_pinstr_exemplar: (new pinstr_impl default_extension)
~data_exemplar: (new data_impl default_extension)
~default_element_exemplar: e
~element_mapping: (Hashtbl.create 1)
......@@ -82,6 +82,9 @@ if !error_happened then exit(1);;
* History:
*
* $Log: test_write.ml,v $
* Revision 1.3 2001/05/17 22:35:46 gerd
* Updated.
*
* Revision 1.2 2000/08/16 23:44:21 gerd
* Updates because of changes of the PXP API.
*
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment