1
(* $Id: pxp_lex_name_string.src,v 1.4 2001/06/14 14:25:56 gerd Exp $
2
* ----------------------------------------------------------------------
11
#insert open_pxp_lex_aux_*.src
14
#insert pxp_lex_defs_*.def
16
rule scan_name_string = parse
18
{ Name (Lexing.lexeme lexbuf) }
22
{ Nametoken (Lexing.lexeme lexbuf) }
26
{ CharData (Lexing.lexeme lexbuf) }
28
{ raise Netconversion.Malformed_code }
31
and scan_ignored_section = parse
33
{ tok_Conditional_begin__Ignored }
35
{ tok_Conditional_end__Ignored }
36
| "<!--" comment_string "-->"
37
{ tok_Ignore__Ignored }
38
| '"' character_except_quot* '"'
39
{ tok_Ignore__Ignored }
40
| "'" character_except_apos* "'"
41
{ tok_Ignore__Ignored }
44
| character_except_special+
45
{ tok_Ignore__Ignored }
47
{ tok_Ignore__Ignored }
49
{ tok_Ignore__Ignored }
51
{ tok_Ignore__Ignored }
53
{ tok_Ignore__Ignored }
55
{ raise Netconversion.Malformed_code }
58
(* ======================================================================
61
* $Log: pxp_lex_name_string.src,v $
62
* Revision 1.4 2001/06/14 14:25:56 gerd
63
* Removed insertion of pxp_lex_aux.src
65
* Revision 1.3 2000/08/14 22:18:34 gerd
66
* Bad_character_stream -> Netconversion.Malformed_code
68
* Revision 1.2 2000/05/29 23:53:12 gerd
69
* Updated because Markup_* modules have been renamed to Pxp_*.
71
* Revision 1.1 2000/05/20 20:33:25 gerd