X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Flexers%2Fpxp_lex_declaration.src;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Flexers%2Fpxp_lex_declaration.src;h=0000000000000000000000000000000000000000;hp=4f53d9760bec5d66d38bf78ab29ad13d6105a83d;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8

diff --git a/helm/DEVEL/pxp/pxp/lexers/pxp_lex_declaration.src b/helm/DEVEL/pxp/pxp/lexers/pxp_lex_declaration.src
deleted file mode 100644
index 4f53d9760..000000000
--- a/helm/DEVEL/pxp/pxp/lexers/pxp_lex_declaration.src
+++ /dev/null
@@ -1,138 +0,0 @@
-(* $Id$
- * ----------------------------------------------------------------------
- *
- *)
-
-
-{
-  open Pxp_types
-  open Pxp_lexer_types
-
-#insert pxp_lex_aux.src
-
-#insert open_pxp_lex_aux_*.src
-#insert open_pxp_lex_misc_*.src
-
-}
-
-#insert pxp_lex_defs_*.def
-
-(* scan_declaration: after "[" in DTD until matching "]" *)
-
-rule scan_declaration = parse
-    ws+
-      { tok_Ignore__Declaration }
-  | '%' name ';'
-      { let s = Lexing.lexeme lexbuf in
-	(PERef (String.sub s 1 (String.length s - 2))), Declaration }
-  | '%'
-      { tok_Percent__Declaration }
-  | '&' 
-      { raise(WF_error("References to general entities not allowed in DTDs")) }
-  | name
-      { Name (Lexing.lexeme lexbuf), Declaration }
-  | nmtoken
-      { Nametoken (Lexing.lexeme lexbuf), Declaration }
-  | '+'
-      { tok_Plus__Declaration }
-  | '*'
-      { tok_Star__Declaration }
-  | '|'
-      { tok_Bar__Declaration }
-  | ','
-      { tok_Comma__Declaration }
-  | '?'
-      { tok_Qmark__Declaration }
-  | '('
-      { tok_Lparen__Declaration }
-  | ")+" 
-      { tok_RparenPlus__Declaration }
-  | ")*" 
-      { tok_RparenStar__Declaration }
-  | ")?"
-      { tok_RparenQmark__Declaration }
-  | ')'
-      { tok_Rparen__Declaration }
-  | "#REQUIRED"
-      { tok_Required__Declaration }
-  | "#IMPLIED"
-      { tok_Implied__Declaration }
-  | "#FIXED"
-      { tok_Fixed__Declaration }
-  | "#PCDATA"
-      { tok_Pcdata__Declaration }
-  | "<!ELEMENT"
-      { tok_Decl_element__Declaration }
-  | "<!ATTLIST"
-      { tok_Decl_attlist__Declaration }
-  | "<!ENTITY"
-      { tok_Decl_entity__Declaration }
-  | "<!NOTATION"
-      { tok_Decl_notation__Declaration }
-  | "<!--"
-      { Comment_begin, Decl_comment }
-  | "<!["
-      { tok_Conditional_begin__Declaration }
-  | "]]>"
-      { tok_Conditional_end__Declaration }
-  | "["
-      { tok_Conditional_body__Declaration }
-
-  (* TODO: PIs modified *) 
-
-  | "<?" pi_string "?>"
-      { scan_pi (Lexing.lexeme lexbuf) scan_xml_pi, Declaration }
-  | "<?"
-      { raise (WF_error ("Illegal processing instruction")) }
-  | '"' [^ '"']* '"'
-      { let s = Lexing.lexeme lexbuf in
-        (* Check that characters are well-formed: *)
-	ignore(scan_characters (Lexing.from_string s));
-	(Unparsed_string (String.sub s 1 (String.length s - 2))), Declaration }
-  | '"'
-      { raise (WF_error ("Cannot find the second quotation mark"))
-      }
-  | "'" [^ '\'']* "'"
-      { let s = Lexing.lexeme lexbuf in
-        (* Check that characters are well-formed: *)
-	ignore(scan_characters (Lexing.from_string s));
-	(Unparsed_string (String.sub s 1 (String.length s - 2))), Declaration }
-  | "'"
-      { raise (WF_error ("Cannot find the second quotation mark"))
-      }
-  | '>'
-      { tok_Decl_rangle__Declaration }
-  | ']'
-      { tok_Dtd_end__Document_type }
-  | eof
-      { tok_Eof__Declaration }
-  | "<!"
-      { raise (WF_error "Declaration either malformed or not allowed in this context") 
-      }
-  | character
-      { raise (WF_error("Illegal token or character")) }
-  | _
-      { raise Netconversion.Malformed_code }
-
-
-(* ======================================================================
- * History:
- * 
- * $Log$
- * Revision 1.1  2000/11/17 09:57:32  lpadovan
- * Initial revision
- *
- * Revision 1.4  2000/08/18 20:19:59  gerd
- * 	Comments return different comment tokens.
- *
- * Revision 1.3  2000/08/14 22:18:34  gerd
- * 	Bad_character_stream -> Netconversion.Malformed_code
- *
- * Revision 1.2  2000/05/29 23:53:12  gerd
- * 	Updated because Markup_* modules have been renamed to Pxp_*.
- *
- * Revision 1.1  2000/05/20 20:33:25  gerd
- * 	Initial revision.
- *
- * 
- *)