Verites/verigraph

View on GitHub
tests/grammars/elevator.gps/type.gty

Summary

Maintainability
Test Coverage
<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<gxl xmlns="http://www.gupro.de/GXL/gxl-1.0.dtd">
    <graph role="type" edgeids="false" edgemode="directed" id="type">
        <attr name="$version">
            <string>curly</string>
        </attr>
        <node id="n0">
            <attr name="layout">
                <string>72 58 19 17</string>
            </attr>
        </node>
        <node id="n1">
            <attr name="layout">
                <string>60 102 40 17</string>
            </attr>
        </node>
        <node id="n2">
            <attr name="layout">
                <string>203 129 34 17</string>
            </attr>
        </node>
        <node id="n3">
            <attr name="layout">
                <string>303 101 57 17</string>
            </attr>
        </node>
        <node id="n4">
            <attr name="layout">
                <string>344 194 60 17</string>
            </attr>
        </node>
        <edge from="n0" to="n0">
            <attr name="label">
                <string>type:up</string>
            </attr>
        </edge>
        <edge from="n1" to="n1">
            <attr name="label">
                <string>type:down</string>
            </attr>
        </edge>
        <edge from="n2" to="n2">
            <attr name="label">
                <string>type:floor</string>
            </attr>
        </edge>
        <edge from="n2" to="n3">
            <attr name="label">
                <string>holds</string>
            </attr>
        </edge>
        <edge from="n2" to="n2">
            <attr name="label">
                <string>higher_than</string>
            </attr>
            <attr name="layout">
                <string>500 0 181 119 156 153 156 153 11</string>
            </attr>
        </edge>
        <edge from="n2" to="n2">
            <attr name="label">
                <string>next_up</string>
            </attr>
            <attr name="layout">
                <string>500 0 181 119 147 87 147 87 11</string>
            </attr>
        </edge>
        <edge from="n3" to="n3">
            <attr name="label">
                <string>type:request</string>
            </attr>
        </edge>
        <edge from="n3" to="n3">
            <attr name="label">
                <string>call</string>
            </attr>
            <attr name="layout">
                <string>500 0 319 90 347 54 347 54 11</string>
            </attr>
        </edge>
        <edge from="n3" to="n3">
            <attr name="label">
                <string>stop</string>
            </attr>
            <attr name="layout">
                <string>500 0 319 90 288 59 288 59 11</string>
            </attr>
        </edge>
        <edge from="n4" to="n4">
            <attr name="label">
                <string>type:elevator</string>
            </attr>
        </edge>
        <edge from="n4" to="n2">
            <attr name="label">
                <string>on</string>
            </attr>
        </edge>
    </graph>
</gxl>