Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
12 lines (11 sloc) 10.7 KB
<?xml version="1.0" encoding="UTF-8"?>
<bgf:grammar xmlns:bgf="http://planet-sl.org/bgf"><!--Symbol, Production, Attr, Exception-->
<root>Symbol</root>
<bgf:production><nonterminal>Symbol</nonterminal><bgf:expression><choice><bgf:expression><selectable><selector>int</selector><bgf:expression><epsilon /></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>bool</selector><bgf:expression><epsilon /></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>real</selector><bgf:expression><epsilon /></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>rat</selector><bgf:expression><epsilon /></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>str</selector><bgf:expression><epsilon /></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>num</selector><bgf:expression><epsilon /></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>node</selector><bgf:expression><epsilon /></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>void</selector><bgf:expression><epsilon /></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>value</selector><bgf:expression><epsilon /></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>loc</selector><bgf:expression><epsilon /></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>datetime</selector><bgf:expression><epsilon /></bgf:expression></selectable></bgf:expression></choice></bgf:expression>
</bgf:production><bgf:production><label>label</label><nonterminal>Symbol</nonterminal><bgf:expression><sequence><bgf:expression><marked><mark>name</mark><bgf:expression><value>string</value></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>symbol</mark><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></marked></bgf:expression></sequence></bgf:expression>
</bgf:production><bgf:production><nonterminal>Symbol</nonterminal><bgf:expression><choice><bgf:expression><selectable><selector>set</selector><bgf:expression><marked><mark>symbol</mark><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></marked></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>rel</selector><bgf:expression><marked><mark>symbols</mark><bgf:expression><star><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></star></bgf:expression></marked></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>lrel</selector><bgf:expression><marked><mark>symbols</mark><bgf:expression><star><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></star></bgf:expression></marked></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>tuple</selector><bgf:expression><marked><mark>symbols</mark><bgf:expression><star><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></star></bgf:expression></marked></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>list</selector><bgf:expression><marked><mark>symbol</mark><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></marked></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>map</selector><bgf:expression><sequence><bgf:expression><marked><mark>from</mark><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>to</mark><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></marked></bgf:expression></sequence></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>bag</selector><bgf:expression><marked><mark>symbol</mark><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></marked></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>adt</selector><bgf:expression><sequence><bgf:expression><marked><mark>name</mark><bgf:expression><value>string</value></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>parameters</mark><bgf:expression><star><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></star></bgf:expression></marked></bgf:expression></sequence></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>cons</selector><bgf:expression><sequence><bgf:expression><marked><mark>adt</mark><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>name</mark><bgf:expression><value>string</value></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>parameters</mark><bgf:expression><star><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></star></bgf:expression></marked></bgf:expression></sequence></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>alias</selector><bgf:expression><sequence><bgf:expression><marked><mark>name</mark><bgf:expression><value>string</value></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>parameters</mark><bgf:expression><star><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></star></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>aliased</mark><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></marked></bgf:expression></sequence></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>func</selector><bgf:expression><sequence><bgf:expression><marked><mark>ret</mark><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>parameters</mark><bgf:expression><star><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></star></bgf:expression></marked></bgf:expression></sequence></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>var-func</selector><bgf:expression><sequence><bgf:expression><marked><mark>ret</mark><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>parameters</mark><bgf:expression><star><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></star></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>varArg</mark><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></marked></bgf:expression></sequence></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>reified</selector><bgf:expression><marked><mark>symbol</mark><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></marked></bgf:expression></selectable></bgf:expression></choice></bgf:expression>
</bgf:production><bgf:production><label>parameter</label><nonterminal>Symbol</nonterminal><bgf:expression><sequence><bgf:expression><marked><mark>name</mark><bgf:expression><value>string</value></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>bound</mark><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></marked></bgf:expression></sequence></bgf:expression>
</bgf:production><bgf:production><nonterminal>Production</nonterminal><bgf:expression><choice><bgf:expression><selectable><selector>cons</selector><bgf:expression><sequence><bgf:expression><marked><mark>def</mark><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>symbols</mark><bgf:expression><star><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></star></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>kwTypes</mark><bgf:expression><star><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></star></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>kwDefaults</mark><bgf:expression><star><bgf:expression><sequence><bgf:expression><value>string</value></bgf:expression><bgf:expression><star><bgf:expression><sequence><bgf:expression><value>string</value></bgf:expression><bgf:expression><any /></bgf:expression></sequence></bgf:expression></star></bgf:expression></sequence></bgf:expression></star></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>attributes</mark><bgf:expression><star><bgf:expression><nonterminal>Attr</nonterminal></bgf:expression></star></bgf:expression></marked></bgf:expression></sequence></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>func</selector><bgf:expression><sequence><bgf:expression><marked><mark>def</mark><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>symbols</mark><bgf:expression><star><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></star></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>kwTypes</mark><bgf:expression><star><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></star></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>kwDefaults</mark><bgf:expression><star><bgf:expression><sequence><bgf:expression><value>string</value></bgf:expression><bgf:expression><star><bgf:expression><sequence><bgf:expression><value>string</value></bgf:expression><bgf:expression><any /></bgf:expression></sequence></bgf:expression></star></bgf:expression></sequence></bgf:expression></star></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>attributes</mark><bgf:expression><star><bgf:expression><nonterminal>Attr</nonterminal></bgf:expression></star></bgf:expression></marked></bgf:expression></sequence></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>choice</selector><bgf:expression><sequence><bgf:expression><marked><mark>def</mark><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>alternatives</mark><bgf:expression><star><bgf:expression><nonterminal>Production</nonterminal></bgf:expression></star></bgf:expression></marked></bgf:expression></sequence></bgf:expression></selectable></bgf:expression></choice></bgf:expression>
</bgf:production><bgf:production><label>tag</label><nonterminal>Attr</nonterminal><bgf:expression><marked><mark>tag</mark><bgf:expression><any /></bgf:expression></marked></bgf:expression>
</bgf:production><bgf:production><label>typeCastException</label><nonterminal>Exception</nonterminal><bgf:expression><sequence><bgf:expression><marked><mark>from</mark><bgf:expression><nonterminal>Symbol</nonterminal></bgf:expression></marked></bgf:expression><bgf:expression><marked><mark>to</mark><bgf:expression><empty /></bgf:expression></marked></bgf:expression></sequence></bgf:expression>
</bgf:production></bgf:grammar>