summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mocksoap.rnc
blob: 745ee82d7ce87b90195ccdfe1020af3f42dc024c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
# A RelaxNG schema for Mock Soap with OMDoc content  (OMDoc 1.3)           
# $Id: mocksoap.rnc 8959 2011-09-02 06:01:43Z kohlhase $
# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/mocksoap.rnc $
# See the documentation and examples at http://www.omdoc.org
# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL) 

namespace omdoc = "http://omdoc.org/ns"
namespace env = "http://www.w3.org/2003/05/soap-envelope"
namespace ws = "http://www.mathweb.org/ws-fictional"

start = Envelope

include "omdoc-common.rnc"
include "omdocmobj.rnc"
include "omdocdoc.rnc"
include "omdocdc.rnc"
include "omdoccc.rnc"
include "omdocmtxt.rnc"
include "omdocst.rnc"
include "omdocpf.rnc"


Envelope = element env:Envelope {Body}
Body = element env:Body {(prover|prove|proof|theory)*}
prover = element ws:prover {attribute env:encodingStyle {xsd:anyURI}?,
         name?,version?,URL?,uptime?,sysinfo?}
name = element ws:name {text}		
version = element ws:version {text}		
URL = element ws:URL {text}		
uptime = element ws:uptime {text}		
sysinfo = element ws:sysinfo {ostype?,mips?}		
ostype = element ws:ostype {text}
mips = element ws:mips {text}

prove = element ws:prove {attribute env:encodingStyle {xsd:anyURI}?,
                          (assertion|replyWith|timeout)*}
replyWith = element ws:replyWith {state*}
timeout = element ws:timeout {text}
state = element ws:state {text}