]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/lexers/pxp_lex_aux.src
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / lexers / pxp_lex_aux.src
diff --git a/helm/DEVEL/pxp/pxp/lexers/pxp_lex_aux.src b/helm/DEVEL/pxp/pxp/lexers/pxp_lex_aux.src
new file mode 100644 (file)
index 0000000..2ab21a3
--- /dev/null
@@ -0,0 +1,82 @@
+(* $Id$
+ * ----------------------------------------------------------------------
+ *
+ *)
+
+
+  class dummy_entity = object end
+
+  let dummy_entity = ( new dummy_entity : entity_id )
+
+  (* The following tokens are pre-allocated to reduce the load on the
+   * GC.
+   *)
+
+  let tok_Doctype__Document_type = Doctype dummy_entity, Document_type
+  let tok_Ignore__Document       = Ignore, Document
+  let tok_Ignore__Within_tag     = Ignore, Within_tag
+  let tok_Ignore__Document_type  = Ignore, Document_type
+  let tok_Ignore__Declaration    = Ignore, Declaration
+  let tok_Ignore__Ignored        = Ignore, Ignored_section
+  let tok_Eof__Document          = Eof, Document
+  let tok_Eof__Content           = Eof, Content
+  let tok_Eof__Within_tag        = Eof, Within_tag
+  let tok_Eof__Document_type     = Eof, Document_type
+  let tok_Eof__Declaration       = Eof, Declaration
+  let tok_Eof__Ignored           = Eof, Ignored_section
+  let tok_LineEndCRLF__Content   = LineEnd "\r\n", Content
+  let tok_LineEndCR__Content     = LineEnd "\r", Content
+  let tok_LineEndLF__Content     = LineEnd "\n", Content
+  let tok_CharDataRBRACKET__Content = CharData "]", Content
+  let tok_Eq__Within_tag         = Eq, Within_tag
+  let tok_Rangle__Content        = Rangle, Content
+  let tok_Rangle_empty__Content  = Rangle_empty, Content
+  let tok_Dtd_begin__Declaration = Dtd_begin dummy_entity, Declaration
+  let tok_Doctype_rangle__Document = Doctype_rangle dummy_entity, Document
+  let tok_Percent__Declaration   = Percent, Declaration
+  let tok_Plus__Declaration      = Plus, Declaration
+  let tok_Star__Declaration      = Star, Declaration
+  let tok_Bar__Declaration       = Bar, Declaration
+  let tok_Comma__Declaration     = Comma, Declaration
+  let tok_Qmark__Declaration     = Qmark, Declaration
+  let tok_Lparen__Declaration    = Lparen dummy_entity, Declaration
+  let tok_RparenPlus__Declaration   = RparenPlus dummy_entity, Declaration
+  let tok_RparenStar__Declaration   = RparenStar dummy_entity, Declaration
+  let tok_RparenQmark__Declaration  = RparenQmark dummy_entity, Declaration
+  let tok_Rparen__Declaration    = Rparen dummy_entity, Declaration
+  let tok_Required__Declaration  = Required, Declaration
+  let tok_Implied__Declaration   = Implied, Declaration
+  let tok_Fixed__Declaration     = Fixed, Declaration
+  let tok_Pcdata__Declaration    = Pcdata, Declaration
+  let tok_Decl_element__Declaration  = Decl_element dummy_entity, Declaration
+  let tok_Decl_attlist__Declaration  = Decl_attlist dummy_entity, Declaration
+  let tok_Decl_entity__Declaration   = Decl_entity dummy_entity, Declaration
+  let tok_Decl_notation__Declaration = Decl_notation dummy_entity, Declaration
+  let tok_Conditional_begin__Declaration = Conditional_begin dummy_entity, 
+                                           Declaration 
+  let tok_Conditional_begin__Ignored     = Conditional_begin dummy_entity, 
+                                           Ignored_section
+  let tok_Conditional_end__Declaration   = Conditional_end dummy_entity, 
+                                           Declaration
+  let tok_Conditional_end__Ignored       = Conditional_end dummy_entity, 
+                                           Ignored_section
+  let tok_Conditional_body__Declaration  = Conditional_body dummy_entity, 
+                                           Declaration
+  let tok_Decl_rangle__Declaration   = Decl_rangle dummy_entity, Declaration
+  let tok_Dtd_end__Document_type     = Dtd_end dummy_entity, Document_type
+
+(* ======================================================================
+ * History:
+ * 
+ * $Log$
+ * Revision 1.1  2000/11/17 09:57:32  lpadovan
+ * Initial revision
+ *
+ * Revision 1.2  2000/08/18 20:19:59  gerd
+ *     Comments return different comment tokens.
+ *
+ * Revision 1.1  2000/05/20 20:33:25  gerd
+ *     Initial revision.
+ *
+ * 
+ *)