A formalisation of the XML infoset
Overview
Introduction
Sketch

xl-sml
open_theory "gst";


Item = dui [
document Document;
element Element;
attribute Attribute;
processingInstruction ProcessingInstruction;
refSkipped RefSkipped;
character Character;
entity Entity;
notation Notation;
nameSpaceDec NameSpaceDec]

Document = dpf [
children List g Child;
notations g Notation;
entities g Entity]

Element = dpf [
nameSpaceURI string;
localName string;
children List g Item;
attributes g Attribute;
declaredNamespaces g NameSpaceDec]

Attribute = dpf [
nameSpaceURI string;
localName string;
children List g Item]

ProcessingInstruction = dpf [
target string;
content string]

RefSkipped = dpf [
name string]

Character = dpf [
code ]

Entity = dpf [
entityType string;
name string;
systemIdentifier string;
publicIdentifier string;
baseURI string;
notation Entity]

NameSpaceDec = dpf [
name string;
systemIdentifier string;
publicIdentifier string;
baseURI string]
;

document

up quick index © RBJ

$Id: infoset.xml,v 1.1.1.1 2000/12/04 17:24:34 rbjones Exp $