Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 19.4 KB
<?xml version="1.0" encoding="UTF-8"?>
<bgf:grammar xmlns:bgf="http://planet-sl.org/bgf" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"><bgf:production><nonterminal>IdedElement</nonterminal><bgf:expression><nonterminal>NetElement</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>IdedElement</nonterminal><bgf:expression><nonterminal>Node</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>IdedElement</nonterminal><bgf:expression><nonterminal>Arc</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>URI</nonterminal><bgf:expression><selectable><selector>value</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Color</nonterminal><bgf:expression><epsilon/></bgf:expression></bgf:production><bgf:production><nonterminal>AnyElement</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>name</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>text</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>RotationType</nonterminal><bgf:expression><choice><bgf:expression><selectable><selector>rtvertical</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>rthorizontal</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>rtdiagonal</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>ShapeType</nonterminal><bgf:expression><choice><bgf:expression><selectable><selector>shtline</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>shtcurve</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>StyleType</nonterminal><bgf:expression><choice><bgf:expression><selectable><selector>sttsolid</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>sttdash</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>sttdot</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>DecorationType</nonterminal><bgf:expression><choice><bgf:expression><selectable><selector>dtunderligne</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>dtoverligne</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>dtlinethrough</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>AlignType</nonterminal><bgf:expression><choice><bgf:expression><selectable><selector>atleft</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>atcenter</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>atright</selector><bgf:expression><epsilon/></bgf:expression></selectable></bgf:expression></choice></bgf:expression></bgf:production><bgf:production><nonterminal>PNMLDocument</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>xmlns</selector><bgf:expression><nonterminal>URI</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>nets</selector><bgf:expression><nonterminal>NetElement</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>NetElement</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>type</selector><bgf:expression><nonterminal>URI</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>document</selector><bgf:expression><nonterminal>PNMLDocument</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>contents</selector><bgf:expression><nonterminal>NetContent</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>tools</selector><bgf:expression><nonterminal>ToolSpecific</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>netgraphics</selector><bgf:expression><nonterminal>NetGraphics</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>name</selector><bgf:expression><nonterminal>Name</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>NetContent</nonterminal><bgf:expression><nonterminal>NetContentElement</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>NetContent</nonterminal><bgf:expression><nonterminal>Arc</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>ToolSpecific</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>tool</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>version</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>anyelement</selector><bgf:expression><nonterminal>AnyElement</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>net</selector><bgf:expression><nonterminal>NetElement</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>arc</selector><bgf:expression><nonterminal>Arc</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>node</selector><bgf:expression><nonterminal>Node</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>LabeledElement</nonterminal><bgf:expression><nonterminal>Name</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>LabeledElement</nonterminal><bgf:expression><nonterminal>Inscription</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>LabeledElement</nonterminal><bgf:expression><nonterminal>InitialMarking</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Label</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>text</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>namedelement</selector><bgf:expression><nonterminal>LabeledElement</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Name</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>net</selector><bgf:expression><nonterminal>NetElement</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>netcontent</selector><bgf:expression><nonterminal>NetContent</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Inscription</nonterminal><bgf:expression><selectable><selector>arc</selector><bgf:expression><nonterminal>Arc</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>InitialMarking</nonterminal><bgf:expression><selectable><selector>place</selector><bgf:expression><nonterminal>Place</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>NetContentElement</nonterminal><bgf:expression><nonterminal>Place</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>NetContentElement</nonterminal><bgf:expression><nonterminal>Transition</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Arc</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>source</selector><bgf:expression><nonterminal>NetContentElement</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>target</selector><bgf:expression><nonterminal>NetContentElement</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>tools</selector><bgf:expression><nonterminal>ToolSpecific</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>edgegraphics</selector><bgf:expression><nonterminal>EdgeGraphics</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>inscription</selector><bgf:expression><nonterminal>Inscription</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Node</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>netcontentelement</selector><bgf:expression><nonterminal>NetContentElement</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>tools</selector><bgf:expression><nonterminal>ToolSpecific</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>nodegraphics</selector><bgf:expression><nonterminal>NodeGraphics</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Place</nonterminal><bgf:expression><selectable><selector>initialmarking</selector><bgf:expression><nonterminal>InitialMarking</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Transition</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>node</selector><bgf:expression><nonterminal>Node</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Graphics</nonterminal><bgf:expression><nonterminal>NetGraphics</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Graphics</nonterminal><bgf:expression><nonterminal>NodeGraphics</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Graphics</nonterminal><bgf:expression><nonterminal>EdgeGraphics</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Graphics</nonterminal><bgf:expression><nonterminal>AnnotationGraphics</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>NetGraphics</nonterminal><bgf:expression><selectable><selector>net</selector><bgf:expression><nonterminal>NetElement</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>NodeGraphics</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>node</selector><bgf:expression><nonterminal>Node</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>position</selector><bgf:expression><nonterminal>Position</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>dimension</selector><bgf:expression><nonterminal>Dimension</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>fill</selector><bgf:expression><nonterminal>Fill</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>line</selector><bgf:expression><nonterminal>Line</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>EdgeGraphics</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>arc</selector><bgf:expression><nonterminal>Arc</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>position</selector><bgf:expression><nonterminal>Position</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>fill</selector><bgf:expression><nonterminal>Fill</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>line</selector><bgf:expression><nonterminal>Line</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>AnnotationGraphics</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>namedelement</selector><bgf:expression><nonterminal>LabeledElement</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>offset</selector><bgf:expression><nonterminal>Offset</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>font</selector><bgf:expression><nonterminal>Font</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>fill</selector><bgf:expression><nonterminal>Fill</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>line</selector><bgf:expression><nonterminal>Line</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Coordinate</nonterminal><bgf:expression><nonterminal>Position</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Coordinate</nonterminal><bgf:expression><nonterminal>Offset</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Position</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>nodegraphics</selector><bgf:expression><nonterminal>NodeGraphics</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>edgegraphics</selector><bgf:expression><nonterminal>EdgeGraphics</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Offset</nonterminal><bgf:expression><selectable><selector>annotationgraphics</selector><bgf:expression><nonterminal>AnnotationGraphics</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>Dimension</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>width</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>height</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>nodegraphics</selector><bgf:expression><nonterminal>NodeGraphics</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Fill</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>gradientrotation</selector><bgf:expression><nonterminal>RotationType</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>interiorcolor</selector><bgf:expression><nonterminal>Color</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>gradientcolor</selector><bgf:expression><nonterminal>Color</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>image</selector><bgf:expression><nonterminal>URI</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>nodegraphics</selector><bgf:expression><nonterminal>NodeGraphics</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>edgegraphics</selector><bgf:expression><nonterminal>EdgeGraphics</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>annotationgraphics</selector><bgf:expression><nonterminal>AnnotationGraphics</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Line</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>color</selector><bgf:expression><nonterminal>Color</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>width</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>shape</selector><bgf:expression><nonterminal>ShapeType</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>style</selector><bgf:expression><nonterminal>StyleType</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>nodegraphics</selector><bgf:expression><nonterminal>NodeGraphics</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>edgegraphics</selector><bgf:expression><nonterminal>EdgeGraphics</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>annotationgraphics</selector><bgf:expression><nonterminal>AnnotationGraphics</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Font</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>family</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>style</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>weight</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>size</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>decoration</selector><bgf:expression><nonterminal>DecorationType</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>align</selector><bgf:expression><nonterminal>AlignType</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>rotation</selector><bgf:expression><nonterminal>Integer</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>annotationgraphics</selector><bgf:expression><nonterminal>AnnotationGraphics</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Integer</nonterminal><bgf:expression><value>int</value></bgf:expression></bgf:production><bgf:production><nonterminal>String</nonterminal><bgf:expression><value>string</value></bgf:expression></bgf:production></bgf:grammar>