Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 5.05 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>Number</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BuiltInOperator</nonterminal><bgf:expression><nonterminal>IntegerOperator</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BuiltInConstant</nonterminal><bgf:expression><nonterminal>NumberConstant</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Number</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Natural</nonterminal></bgf:expression><bgf:expression><nonterminal>Positive</nonterminal></bgf:expression><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>Integer</nonterminal><bgf:expression><selectable><selector>integer</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Natural</nonterminal><bgf:expression><selectable><selector>natural</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Positive</nonterminal><bgf:expression><selectable><selector>positive</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>IntegerOperator.content</nonterminal><bgf:expression><nonterminal>BuiltInOperator.content</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>IntegerOperator</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>Addition</nonterminal></bgf:expression><bgf:expression><nonterminal>Subtraction</nonterminal></bgf:expression><bgf:expression><nonterminal>Multiplication</nonterminal></bgf:expression><bgf:expression><nonterminal>Division</nonterminal></bgf:expression><bgf:expression><nonterminal>Modulo</nonterminal></bgf:expression><bgf:expression><nonterminal>GreaterThan</nonterminal></bgf:expression><bgf:expression><nonterminal>GreaterThanOrEqual</nonterminal></bgf:expression><bgf:expression><nonterminal>LessThan</nonterminal></bgf:expression><bgf:expression><nonterminal>LessThanOrEqual</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>NumberConstant</nonterminal><bgf:expression><selectable><selector>numberconstant</selector><bgf:expression><sequence><bgf:expression><selectable><selector>value</selector><bgf:expression><value>int</value></bgf:expression></selectable></bgf:expression><bgf:expression><sequence><bgf:expression><nonterminal>BuiltInConstant.content</nonterminal></bgf:expression><bgf:expression><nonterminal>Number</nonterminal></bgf:expression></sequence></bgf:expression></sequence></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>LessThan</nonterminal><bgf:expression><selectable><selector>lt</selector><bgf:expression><nonterminal>IntegerOperator</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>LessThanOrEqual</nonterminal><bgf:expression><selectable><selector>leq</selector><bgf:expression><nonterminal>IntegerOperator</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>GreaterThan</nonterminal><bgf:expression><selectable><selector>gt</selector><bgf:expression><nonterminal>IntegerOperator</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>GreaterThanOrEqual</nonterminal><bgf:expression><selectable><selector>geq</selector><bgf:expression><nonterminal>IntegerOperator</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Addition</nonterminal><bgf:expression><selectable><selector>addition</selector><bgf:expression><nonterminal>IntegerOperator</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Subtraction</nonterminal><bgf:expression><selectable><selector>subtraction</selector><bgf:expression><nonterminal>IntegerOperator</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Multiplication</nonterminal><bgf:expression><selectable><selector>mult</selector><bgf:expression><nonterminal>IntegerOperator</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Division</nonterminal><bgf:expression><selectable><selector>div</selector><bgf:expression><nonterminal>IntegerOperator</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Modulo</nonterminal><bgf:expression><selectable><selector>mod</selector><bgf:expression><nonterminal>IntegerOperator</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production></bgf:grammar>