Skip to content

Instantly share code, notes, and snippets.

@tonyg

tonyg/xml-infoset.prs

Created January 24, 2022 09:35
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save tonyg/a5128e98add481d3189689b527b343b1 to your computer and use it in GitHub Desktop.
Save tonyg/a5128e98add481d3189689b527b343b1 to your computer and use it in GitHub Desktop.
Download ZIP
Sketch of a representation of XML infoset in Preserves Schema
Raw
xml-infoset.prs
version 1 .
Node = Text / Element .
Text = string .
Element =
/ @withAttributes
<<rec> @localName symbol [@attributes Attributes @children Node ...]>
/ @withoutAttributes
<<rec> @localName symbol @children [Node ...]> .
Attributes = { symbol: string ...:... } .
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment