Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /smlnj-lib/trunk/Dev/XML/xml-tree-sig.sml
ViewVC logotype

Diff of /smlnj-lib/trunk/Dev/XML/xml-tree-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3867, Wed Dec 18 19:39:08 2013 UTC revision 3868, Wed Dec 18 21:18:28 2013 UTC
# Line 11  Line 11 
11    
12      structure Schema : XML_SCHEMA      structure Schema : XML_SCHEMA
13    
14        datatype doctype = DOCTYPE of string * external_id
15    
16        and external_id
17          = SYSTEM of string
18          | PUBLIC of string * string
19    
20      datatype content      datatype content
21        = TEXT of string        = TEXT of string
22        | CDATA of string        | CDATA of string
# Line 21  Line 27 
27            }            }
28    
29      type tree = {      type tree = {
30          xmlDecl : Schema.attribute list,        (* empty if there is no decl *)          xmlDecl : Schema.attribute list option, (* NONE if there is no decl *)
31          content : content          doctype : doctype option,
32            content : content                       (* will be an ELEMENT *)
33        }        }
34    
35    end    end

Legend:
Removed from v.3867  
changed lines
  Added in v.3868

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0