1
(* $Id: pxp_lex_within_tag.src,v 1.7 2002/03/13 22:45:45 gerd Exp $
2
* ----------------------------------------------------------------------
11
#insert open_pxp_lex_aux_*.src
14
#insert pxp_lex_defs_*.def
17
rule scan_within_tag = parse
19
{ tok_IgnoreLineEnd__Within_tag }
21
{ tok_IgnoreLineEnd__Within_tag }
23
{ tok_IgnoreLineEnd__Within_tag }
25
{ tok_Ignore__Within_tag }
27
{ Name (Lexing.lexeme lexbuf ), Within_tag }
29
{ tok_Eq__Within_tag }
30
| '"' character_except_quot* '"'
31
{ let l = Lexing.lexeme_end lexbuf - Lexing.lexeme_start lexbuf in
32
let v = Pxp_lexing.sub_lexeme lexbuf 1 (l-2) in
33
Attval v, Within_tag }
35
{ raise (WF_error ("Cannot find the second quotation mark"))
37
| "'" character_except_apos* "'"
38
{ let l = Lexing.lexeme_end lexbuf - Lexing.lexeme_start lexbuf in
39
let v = Pxp_lexing.sub_lexeme lexbuf 1 (l-2) in
40
Attval v, Within_tag }
42
{ raise (WF_error ("Cannot find the second quotation mark"))
45
{ tok_Rangle__Content }
47
{ tok_Rangle_empty__Content }
49
{ tok_Eof__Within_tag }
51
{ raise (WF_error ("Illegal inside tags")) }
53
{ raise Netconversion.Malformed_code }
56
(* ======================================================================
59
* $Log: pxp_lex_within_tag.src,v $
60
* Revision 1.7 2002/03/13 22:45:45 gerd
61
* Improved Pxp_lexing.
63
* Revision 1.6 2001/06/14 14:25:56 gerd
64
* Removed insertion of pxp_lex_aux.src
66
* Revision 1.5 2000/10/01 19:51:33 gerd
69
* Revision 1.4 2000/09/21 21:33:14 gerd
70
* Bugfix: Line counting within tags
72
* Revision 1.3 2000/08/14 22:18:34 gerd
73
* Bad_character_stream -> Netconversion.Malformed_code
75
* Revision 1.2 2000/05/29 23:53:12 gerd
76
* Updated because Markup_* modules have been renamed to Pxp_*.
78
* Revision 1.1 2000/05/20 20:33:25 gerd