Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 3.31 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>FiniteIntRange</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BuiltInOperator</nonterminal><bgf:expression><nonterminal>FiniteIntRangeOperator</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BuiltInConstant</nonterminal><bgf:expression><nonterminal>FiniteIntRangeConstant</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>FiniteIntRange</nonterminal><bgf:expression><selectable><selector>finiteintrange</selector><bgf:expression><sequence><bgf:expression><selectable><selector>start</selector><bgf:expression><value>int</value></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>end</selector><bgf:expression><value>int</value></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>FiniteIntRangeOperator.content</nonterminal><bgf:expression><nonterminal>BuiltInOperator.content</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>FiniteIntRangeOperator</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>FIRLessThan</nonterminal></bgf:expression><bgf:expression><nonterminal>FIRLessThanOrEqual</nonterminal></bgf:expression><bgf:expression><nonterminal>FIRGreaterThan</nonterminal></bgf:expression><bgf:expression><nonterminal>FIRGreaterThanOrEqual</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>FIRLessThan</nonterminal><bgf:expression><selectable><selector>lessthan</selector><bgf:expression><nonterminal>FiniteIntRangeOperator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>FIRLessThanOrEqual</nonterminal><bgf:expression><selectable><selector>lessthanorequal</selector><bgf:expression><nonterminal>FiniteIntRangeOperator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>FIRGreaterThan</nonterminal><bgf:expression><selectable><selector>greaterthan</selector><bgf:expression><nonterminal>FiniteIntRangeOperator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>FIRGreaterThanOrEqual</nonterminal><bgf:expression><selectable><selector>greaterthanorequal</selector><bgf:expression><nonterminal>FiniteIntRangeOperator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>FiniteIntRangeConstant</nonterminal><bgf:expression><selectable><selector>finiteintrangeconstant</selector><bgf:expression><sequence><bgf:expression><selectable><selector>value</selector><bgf:expression><value>int</value></bgf:expression></selectable></bgf:expression><bgf:expression><nonterminal>FiniteIntRange</nonterminal></bgf:expression><bgf:expression><nonterminal>BuiltInConstant.content</nonterminal></bgf:expression></sequence></bgf:expression></selectable></bgf:expression></bgf:production></bgf:grammar>