Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 1.72 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>BuiltInSort</nonterminal><bgf:expression><nonterminal>CyclicEnumeration</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BuiltInOperator</nonterminal><bgf:expression><nonterminal>CyclicEnumOperator</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>CyclicEnumeration</nonterminal><bgf:expression><selectable><selector>cyclicenumeration</selector><bgf:expression><nonterminal>FiniteEnumeration.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>CyclicEnumOperator.content</nonterminal><bgf:expression><nonterminal>BuiltInOperator.content</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>CyclicEnumOperator</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Successor</nonterminal></bgf:expression><bgf:expression><nonterminal>Predecessor</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Successor</nonterminal><bgf:expression><selectable><selector>successor</selector><bgf:expression><nonterminal>CyclicEnumOperator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Predecessor</nonterminal><bgf:expression><selectable><selector>predecessor</selector><bgf:expression><nonterminal>CyclicEnumOperator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production></bgf:grammar>