Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 7.48 KB
<?xml version="1.0" encoding="UTF-8"?>
<bgf:grammar xmlns:bgf="http://planet-sl.org/bgf" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:rng="http://relaxng.org/ns/structure/1.0" xmlns:rnga="http://relaxng.org/ns/compatibility/annotations/1.0"><bgf:production><nonterminal>Declarations</nonterminal><bgf:expression><selectable><selector>declarations</selector><bgf:expression><star><bgf:expression><nonterminal>Declaration</nonterminal></bgf:expression></star></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Declaration.content</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>id</selector><bgf:expression><value>string</value></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>name</selector><bgf:expression><value>string</value></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Declaration</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>SortDeclaration</nonterminal></bgf:expression><bgf:expression><nonterminal>VariableDeclaration</nonterminal></bgf:expression><bgf:expression><nonterminal>OperatorDeclaration</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>VariableDeclaration</nonterminal><bgf:expression><selectable><selector>variabledecl</selector><bgf:expression><sequence><bgf:expression><nonterminal>Declaration.content</nonterminal></bgf:expression><bgf:expression><nonterminal>Sort</nonterminal></bgf:expression></sequence></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>SortDeclaration.content</nonterminal><bgf:expression><nonterminal>Declaration.content</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>SortDeclaration</nonterminal><bgf:expression><nonterminal>NamedSort</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>OperatorDeclaration.content</nonterminal><bgf:expression><nonterminal>Declaration.content</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>OperatorDeclaration</nonterminal><bgf:expression><nonterminal>NamedOperator</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Variable</nonterminal><bgf:expression><selectable><selector>variable</selector><bgf:expression><selectable><selector>refvariable</selector><bgf:expression><value>string</value></bgf:expression></selectable></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>NamedSort</nonterminal><bgf:expression><selectable><selector>namedsort</selector><bgf:expression><sequence><bgf:expression><nonterminal>SortDeclaration.content</nonterminal></bgf:expression><bgf:expression><nonterminal>Sort</nonterminal></bgf:expression></sequence></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>NamedOperator</nonterminal><bgf:expression><selectable><selector>namedoperator</selector><bgf:expression><sequence><bgf:expression><nonterminal>OperatorDeclaration.content</nonterminal></bgf:expression><bgf:expression><selectable><selector>parameter</selector><bgf:expression><star><bgf:expression><nonterminal>VariableDeclaration</nonterminal></bgf:expression></star></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>def</selector><bgf:expression><nonterminal>Term</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Term.content</nonterminal><bgf:expression><epsilon/></bgf:expression></bgf:production><bgf:production><nonterminal>Term</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Variable</nonterminal></bgf:expression><bgf:expression><nonterminal>Operator</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Sort.content</nonterminal><bgf:expression><epsilon/></bgf:expression></bgf:production><bgf:production><nonterminal>Sort</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>BuiltInSort</nonterminal></bgf:expression><bgf:expression><nonterminal>MultisetSort</nonterminal></bgf:expression><bgf:expression><nonterminal>ProductSort</nonterminal></bgf:expression><bgf:expression><nonterminal>UserSort</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>BuiltInSort</nonterminal><bgf:expression><epsilon/></bgf:expression></bgf:production><bgf:production><nonterminal>MultisetSort</nonterminal><bgf:expression><selectable><selector>multisetsort</selector><bgf:expression><nonterminal>Sort</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>ProductSort</nonterminal><bgf:expression><selectable><selector>productsort</selector><bgf:expression><star><bgf:expression><nonterminal>Sort</nonterminal></bgf:expression></star></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>UserSort</nonterminal><bgf:expression><selectable><selector>usersort</selector><bgf:expression><selectable><selector>declaration</selector><bgf:expression><value>string</value></bgf:expression></selectable></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Operator.content</nonterminal><bgf:expression><star><bgf:expression><selectable><selector>subterm</selector><bgf:expression><nonterminal>Term</nonterminal></bgf:expression></selectable></bgf:expression></star></bgf:expression></bgf:production><bgf:production><nonterminal>Operator</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>BuiltInOperator</nonterminal></bgf:expression><bgf:expression><nonterminal>BuiltInConstant</nonterminal></bgf:expression><bgf:expression><nonterminal>MultisetOperator</nonterminal></bgf:expression><bgf:expression><nonterminal>Tuple</nonterminal></bgf:expression><bgf:expression><nonterminal>UserOperator</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>BuiltInOperator.content</nonterminal><bgf:expression><nonterminal>Operator.content</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BuiltInOperator</nonterminal><bgf:expression><epsilon/></bgf:expression></bgf:production><bgf:production><nonterminal>BuiltInConstant.content</nonterminal><bgf:expression><nonterminal>Operator.content</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BuiltInConstant</nonterminal><bgf:expression><epsilon/></bgf:expression></bgf:production><bgf:production><nonterminal>MultisetOperator.content</nonterminal><bgf:expression><nonterminal>Operator.content</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>MultisetOperator</nonterminal><bgf:expression><epsilon/></bgf:expression></bgf:production><bgf:production><nonterminal>Tuple</nonterminal><bgf:expression><selectable><selector>tuple</selector><bgf:expression><nonterminal>Operator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>UserOperator</nonterminal><bgf:expression><selectable><selector>useroperator</selector><bgf:expression><sequence><bgf:expression><selectable><selector>declaration</selector><bgf:expression><value>string</value></bgf:expression></selectable></bgf:expression><bgf:expression><nonterminal>Operator.content</nonterminal></bgf:expression></sequence></bgf:expression></selectable></bgf:expression></bgf:production></bgf:grammar>