Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 4.58 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>String</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BuiltInOperator</nonterminal><bgf:expression><nonterminal>StringOperator</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>BuiltInConstant</nonterminal><bgf:expression><nonterminal>StringConstant</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>String</nonterminal><bgf:expression><selectable><selector>string</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>StringConstant.content</nonterminal><bgf:expression><selectable><selector>value</selector><bgf:expression><value>string</value></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>StringConstant</nonterminal><bgf:expression><selectable><selector>stringconstant</selector><bgf:expression><sequence><bgf:expression><nonterminal>StringConstant.content</nonterminal></bgf:expression><bgf:expression><nonterminal>BuiltInConstant.content</nonterminal></bgf:expression></sequence></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>StringOperator.content</nonterminal><bgf:expression><nonterminal>BuiltInOperator.content</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>StringOperator</nonterminal><bgf:expression><choice><bgf:expression><nonterminal>StringLessThan</nonterminal></bgf:expression><bgf:expression><nonterminal>StringLessThanOrEqual</nonterminal></bgf:expression><bgf:expression><nonterminal>StringGreaterThan</nonterminal></bgf:expression><bgf:expression><nonterminal>StringGreaterThanOrEqual</nonterminal></bgf:expression><bgf:expression><nonterminal>StringConcatenation</nonterminal></bgf:expression><bgf:expression><nonterminal>StringAppend</nonterminal></bgf:expression><bgf:expression><nonterminal>StringLength</nonterminal></bgf:expression><bgf:expression><nonterminal>Substring</nonterminal></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>StringLessThan</nonterminal><bgf:expression><selectable><selector>lts</selector><bgf:expression><nonterminal>StringOperator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>StringLessThanOrEqual</nonterminal><bgf:expression><selectable><selector>leqs</selector><bgf:expression><nonterminal>StringOperator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>StringGreaterThan</nonterminal><bgf:expression><selectable><selector>gts</selector><bgf:expression><nonterminal>StringOperator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>StringGreaterThanOrEqual</nonterminal><bgf:expression><selectable><selector>geqs</selector><bgf:expression><nonterminal>StringOperator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>StringConcatenation</nonterminal><bgf:expression><selectable><selector>stringconcatenation</selector><bgf:expression><nonterminal>StringOperator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>StringLength</nonterminal><bgf:expression><selectable><selector>stringlength</selector><bgf:expression><nonterminal>StringOperator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>StringAppend</nonterminal><bgf:expression><selectable><selector>stringappend</selector><bgf:expression><nonterminal>StringOperator.content</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Substring</nonterminal><bgf:expression><selectable><selector>substring</selector><bgf:expression><sequence><bgf:expression><selectable><selector>start</selector><bgf:expression><value>int</value></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>length</selector><bgf:expression><value>int</value></bgf:expression></selectable></bgf:expression><bgf:expression><nonterminal>StringOperator.content</nonterminal></bgf:expression></sequence></bgf:expression></selectable></bgf:expression></bgf:production></bgf:grammar>