helm/DEVEL/pxp/pxp/lexers/pxp_lex_aux.src

   1 (* $Id$
   2  * ----------------------------------------------------------------------
   3  *
   4  *)
   5
   6
   7   class dummy_entity = object end
   8
   9   let dummy_entity = ( new dummy_entity : entity_id )
  10
  11   (* The following tokens are pre-allocated to reduce the load on the
  12    * GC.
  13    *)
  14
  15   let tok_Doctype__Document_type = Doctype dummy_entity, Document_type
  16   let tok_Ignore__Document       = Ignore, Document
  17   let tok_Ignore__Within_tag     = Ignore, Within_tag
  18   let tok_Ignore__Document_type  = Ignore, Document_type
  19   let tok_Ignore__Declaration    = Ignore, Declaration
  20   let tok_Ignore__Ignored        = Ignore, Ignored_section
  21   let tok_Eof__Document          = Eof, Document
  22   let tok_Eof__Content           = Eof, Content
  23   let tok_Eof__Within_tag        = Eof, Within_tag
  24   let tok_Eof__Document_type     = Eof, Document_type
  25   let tok_Eof__Declaration       = Eof, Declaration
  26   let tok_Eof__Ignored           = Eof, Ignored_section
  27   let tok_LineEndCRLF__Content   = LineEnd "\r\n", Content
  28   let tok_LineEndCR__Content     = LineEnd "\r", Content
  29   let tok_LineEndLF__Content     = LineEnd "\n", Content
  30   let tok_CharDataRBRACKET__Content = CharData "]", Content
  31   let tok_Eq__Within_tag         = Eq, Within_tag
  32   let tok_Rangle__Content        = Rangle, Content
  33   let tok_Rangle_empty__Content  = Rangle_empty, Content
  34   let tok_Dtd_begin__Declaration = Dtd_begin dummy_entity, Declaration
  35   let tok_Doctype_rangle__Document = Doctype_rangle dummy_entity, Document
  36   let tok_Percent__Declaration   = Percent, Declaration
  37   let tok_Plus__Declaration      = Plus, Declaration
  38   let tok_Star__Declaration      = Star, Declaration
  39   let tok_Bar__Declaration       = Bar, Declaration
  40   let tok_Comma__Declaration     = Comma, Declaration
  41   let tok_Qmark__Declaration     = Qmark, Declaration
  42   let tok_Lparen__Declaration    = Lparen dummy_entity, Declaration
  43   let tok_RparenPlus__Declaration   = RparenPlus dummy_entity, Declaration
  44   let tok_RparenStar__Declaration   = RparenStar dummy_entity, Declaration
  45   let tok_RparenQmark__Declaration  = RparenQmark dummy_entity, Declaration
  46   let tok_Rparen__Declaration    = Rparen dummy_entity, Declaration
  47   let tok_Required__Declaration  = Required, Declaration
  48   let tok_Implied__Declaration   = Implied, Declaration
  49   let tok_Fixed__Declaration     = Fixed, Declaration
  50   let tok_Pcdata__Declaration    = Pcdata, Declaration
  51   let tok_Decl_element__Declaration  = Decl_element dummy_entity, Declaration
  52   let tok_Decl_attlist__Declaration  = Decl_attlist dummy_entity, Declaration
  53   let tok_Decl_entity__Declaration   = Decl_entity dummy_entity, Declaration
  54   let tok_Decl_notation__Declaration = Decl_notation dummy_entity, Declaration
  55   let tok_Conditional_begin__Declaration = Conditional_begin dummy_entity,
  56                                            Declaration
  57   let tok_Conditional_begin__Ignored     = Conditional_begin dummy_entity,
  58                                            Ignored_section
  59   let tok_Conditional_end__Declaration   = Conditional_end dummy_entity,
  60                                            Declaration
  61   let tok_Conditional_end__Ignored       = Conditional_end dummy_entity,
  62                                            Ignored_section
  63   let tok_Conditional_body__Declaration  = Conditional_body dummy_entity,
  64                                            Declaration
  65   let tok_Decl_rangle__Declaration   = Decl_rangle dummy_entity, Declaration
  66   let tok_Dtd_end__Document_type     = Dtd_end dummy_entity, Document_type
  67
  68 (* ======================================================================
  69  * History:
  70  *
  71  * $Log$
  72  * Revision 1.1  2000/11/17 09:57:32  lpadovan
  73  * Initial revision
  74  *
  75  * Revision 1.2  2000/08/18 20:19:59  gerd
  76  *      Comments return different comment tokens.
  77  *
  78  * Revision 1.1  2000/05/20 20:33:25  gerd
  79  *      Initial revision.
  80  *
  81  *
  82  *)