% $Id: XMLSchemaBasics.lsl,v 1.3 2000/01/17 21:33:41 connolly Exp $
%

References

  1. XML Schema Part 1: Structures
    internal draft: Id: structures.xml,v 1.13.1.15 1999/10/26 16:23:30 ht Exp

XMLSchemaBasics: trait
    includes
        XMLInfoSet,
        URI,
        Integer,
        List(Char),
        Set(Component, FiniteSet[Component] for Set[E])

        Null enumeration of 0

        TargetNS union of
            null: Null,
            ns: URIwf

        Component tuple of
            localname: List[Char],
            tns: TargetNS,
            dex: Def_or_Decl

        Def_or_Decl union of
            type: TypeDefinition,
            element: ElementDeclaration,
            attrGroup: AttrGroupDefinition,
            attrDecl: AttrDecl
% @@ others

    introduces
        asString: Name ® List[Char]

    asserts
        " n,m: Name

        asString(n) = asString(m) Þ n=m

[Index]

[source]

HTML generated using lsl2html.