From d76c1c496b0774e28b699dd5ff4f446d580fd986 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Mon, 20 May 2019 18:47:20 -0400 Subject: REALMET: implement incoming edges in visualisation. multips need fix --- .../META-INF/MANIFEST.MF | 5 +- .../outputs/IRREALISTIC1NEIGHBOURHOOD.gml | 440 ++++++++++++ .../outputs/REALISTIC1NEIGHBOURHOOD.gml | 520 ++++++++++++++ .../outputs/cycleMODEL.gml | 752 +++++++++++++++++++++ .../outputs/cycleNEIGHBOURHOOD.gml | 210 ++++++ .../outputs/realisticModelNEIGHBOURHOOD.gml | 724 ++++++++++++++++++++ .../outputs/simpleSCIrrealistic0NEIGHBOURHOOD.gml | 304 +++++++++ .../outputs/simpleSCIrrealistic1NEIGHBOURHOOD.gml | 374 ++++++++++ .../outputs/simpleSCIrrealistic2NEIGHBOURHOOD.gml | 560 +++++++++++++++ .../outputs/simpleSCIrrealistic3NEIGHBOURHOOD.gml | 639 +++++++++++++++++ .../outputs/simpleSCIrrealisticMODEL.gml | 698 +++++++++++++++++++ .../outputs/simpleSCRealistic0NEIGHBOURHOOD.gml | 314 +++++++++ .../outputs/simpleSCRealistic1NEIGHBOURHOOD.gml | 621 +++++++++++++++++ .../outputs/simpleSCRealistic2NEIGHBOURHOOD.gml | 559 +++++++++++++++ .../outputs/simpleSCRealistic3NEIGHBOURHOOD.gml | 599 ++++++++++++++++ .../outputs/simpleSCRealisticMODEL.gml | 736 ++++++++++++++++++++ .../plugin.xml | 8 + .../resources/cycle.xmi | 21 + .../resources/simpleSCIrrealistic.xmi | 14 + .../resources/simpleSCRealistic.xmi | 14 + .../resources/simpleStatechart.aird | 231 +++++++ .../resources/simpleStatechart.ecore | 16 + .../resources/simpleStatechart.genmodel | 20 + .../metrics/examples/CSERposterSample.xtend | 8 +- .../src/simpleStatechart/Entry.java | 50 ++ .../simpleStatechart/SimpleStatechartFactory.java | 60 ++ .../simpleStatechart/SimpleStatechartPackage.java | 340 ++++++++++ .../src/simpleStatechart/State.java | 42 ++ .../src/simpleStatechart/Statechart.java | 69 ++ .../src/simpleStatechart/impl/EntryImpl.java | 157 +++++ .../impl/SimpleStatechartFactoryImpl.java | 117 ++++ .../impl/SimpleStatechartPackageImpl.java | 252 +++++++ .../src/simpleStatechart/impl/StateImpl.java | 133 ++++ .../src/simpleStatechart/impl/StatechartImpl.java | 221 ++++++ .../util/SimpleStatechartAdapterFactory.java | 156 +++++ .../util/SimpleStatechartSwitch.java | 152 +++++ .../metrics/examples/.CSERposterSample.xtendbin | Bin 7376 -> 7750 bytes .../metrics/examples/CSERposterSample.java | 10 +- 38 files changed, 10141 insertions(+), 5 deletions(-) create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/IRREALISTIC1NEIGHBOURHOOD.gml create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/REALISTIC1NEIGHBOURHOOD.gml create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleMODEL.gml create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleNEIGHBOURHOOD.gml create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic0NEIGHBOURHOOD.gml create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic1NEIGHBOURHOOD.gml create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic2NEIGHBOURHOOD.gml create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic3NEIGHBOURHOOD.gml create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealisticMODEL.gml create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic0NEIGHBOURHOOD.gml create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic1NEIGHBOURHOOD.gml create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic2NEIGHBOURHOOD.gml create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic3NEIGHBOURHOOD.gml create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealisticMODEL.gml create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/cycle.xmi create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleSCIrrealistic.xmi create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleSCRealistic.xmi create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleStatechart.aird create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleStatechart.ecore create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleStatechart.genmodel create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/Entry.java create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/SimpleStatechartFactory.java create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/SimpleStatechartPackage.java create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/State.java create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/Statechart.java create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/EntryImpl.java create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/SimpleStatechartFactoryImpl.java create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/SimpleStatechartPackageImpl.java create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/StateImpl.java create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/StatechartImpl.java create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/util/SimpleStatechartAdapterFactory.java create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/util/SimpleStatechartSwitch.java (limited to 'Metrics') diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/META-INF/MANIFEST.MF b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/META-INF/MANIFEST.MF index 7ae55080..b9c65c38 100644 --- a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/META-INF/MANIFEST.MF +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/META-INF/MANIFEST.MF @@ -10,7 +10,10 @@ Automatic-Module-Name: ca.mcgill.ecse.dslreasoner.realistic.metrics Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Export-Package: linkedList, linkedList.impl, - linkedList.util + linkedList.util, + simpleStatechart, + simpleStatechart.impl, + simpleStatechart.util Require-Bundle: org.eclipse.core.runtime, org.eclipse.emf.ecore;bundle-version="2.14.0";visibility:=reexport, hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/IRREALISTIC1NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/IRREALISTIC1NEIGHBOURHOOD.gml new file mode 100644 index 00000000..ef560678 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/IRREALISTIC1NEIGHBOURHOOD.gml @@ -0,0 +1,440 @@ +Creator "yFiles" +Version "2.16" +graph +[ + hierarchic 1 + label "" + directed 1 + node + [ + id 0 + label "" + graphics + [ + x -352.0 + y -118.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Entry class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 1 + label "" + graphics + [ + x 319.0 + y 34.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (4)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 2 + label "" + graphics + [ + x 75.0 + y -196.0 + w 176.0 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Statechart class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 3 + label "" + graphics + [ + x 90.0 + y 247.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + edge + [ + source 0 + target 3 + label "entry reference Entry" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x -352.0 + y -118.0 + ] + point + [ + x -362.0 + y 247.0 + ] + point + [ + x 90.0 + y 247.0 + ] + ] + ] + edgeAnchor + [ + xSource -0.14545454545454545 + ] + LabelGraphics + [ + text "entry reference Entry" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 116.048828125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 1 + target 1 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 319.0 + y 34.0 + ] + point + [ + x 319.0 + y -122.0 + ] + point + [ + x 319.0 + y 34.0 + ] + ] + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 44.025390625 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1, 0]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 44.025390625 + contentHeight 18.701171875 + model "six_pos" + position "shead" + ] + ] + edge + [ + source 2 + target 3 + label "state reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 75.0 + y -196.0 + ] + point + [ + x 65.0 + y 173.5 + ] + point + [ + x 90.0 + y 173.5 + ] + point + [ + x 90.0 + y 247.0 + ] + ] + ] + edgeAnchor + [ + xSource -0.11363636363636363 + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 142.076171875 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[4, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 30.68359375 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 2 + target 0 + label "entry reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 75.0 + y -196.0 + ] + point + [ + x -377.0 + y -196.0 + ] + point + [ + x -352.0 + y -118.0 + ] + ] + ] + edgeAnchor + [ + xTarget -0.36363636363636365 + ] + LabelGraphics + [ + text "entry reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 142.73828125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 3 + target 1 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 90.0 + y 247.0 + ] + point + [ + x 309.0 + y 241.5 + ] + point + [ + x 319.0 + y 34.0 + ] + ] + ] + edgeAnchor + [ + ySource -0.275 + xTarget -0.14545454545454545 + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 0, 0]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 44.025390625 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] +] diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/REALISTIC1NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/REALISTIC1NEIGHBOURHOOD.gml new file mode 100644 index 00000000..6df09856 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/REALISTIC1NEIGHBOURHOOD.gml @@ -0,0 +1,520 @@ +Creator "yFiles" +Version "2.16" +graph +[ + hierarchic 1 + label "" + directed 1 + node + [ + id 0 + label "" + graphics + [ + x -117.0 + y -42.5 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 1 + label "" + graphics + [ + x -357.0 + y -128.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Entry class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 2 + label "" + graphics + [ + x -366.0 + y 195.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 3 + label "" + graphics + [ + x -127.0 + y 356.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 4 + label "" + graphics + [ + x 196.0 + y 265.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (2)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 5 + label "" + graphics + [ + x 111.0 + y -185.0 + w 176.0 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Statechart class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + edge + [ + source 1 + target 2 + label "entry reference Entry" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.13090909090909092 + ] + LabelGraphics + [ + text "entry reference Entry" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 116.048828125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 3 + target 0 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xTarget -0.14545454545454545 + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[2, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 44.025390625 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 2 + target 3 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x -366.0 + y 195.0 + ] + point + [ + x -390.0 + y 215.0 + ] + point + [ + x -390.0 + y 356.0 + ] + point + [ + x -127.0 + y 356.0 + ] + ] + ] + edgeAnchor + [ + ySource 1.0 + xTarget -0.2909090909090909 + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 4 + target 3 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 196.0 + y 265.0 + ] + point + [ + x 196.0 + y 356.0 + ] + point + [ + x -127.0 + y 356.0 + ] + ] + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 30.68359375 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 5 + target 0 + label "state reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 111.0 + y -185.0 + ] + point + [ + x 111.0 + y -42.5 + ] + point + [ + x -117.0 + y -42.5 + ] + ] + ] + edgeAnchor + [ + xTarget 0.16 + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 142.076171875 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 2, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 57.3671875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 5 + target 1 + label "entry reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 111.0 + y -185.0 + ] + point + [ + x -346.0 + y -185.0 + ] + point + [ + x -357.0 + y -128.0 + ] + ] + ] + edgeAnchor + [ + xTarget 0.16 + ] + LabelGraphics + [ + text "entry reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 142.73828125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] +] diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleMODEL.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleMODEL.gml new file mode 100644 index 00000000..2dd8a1d8 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleMODEL.gml @@ -0,0 +1,752 @@ +graph +[ + node + [ + id 0 + graphics + [ + w 41.800000000000004 + h 26 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "true" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 1 + graphics + [ + w 50.6 + h 26 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "false" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 2 + graphics + [ + w 115.50000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Element class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 3 + graphics + [ + w 115.50000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Element class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 4 + graphics + [ + w 107.80000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Object class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 5 + graphics + [ + w 115.50000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Element class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 6 + graphics + [ + w 107.80000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Object class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 7 + graphics + [ + w 115.50000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Element class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 8 + graphics + [ + w 107.80000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Object class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 9 + graphics + [ + w 115.50000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Element class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 10 + graphics + [ + w 107.80000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Object class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 11 + graphics + [ + w 115.50000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Element class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 12 + graphics + [ + w 112.2 + h 26 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "New Integers" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 13 + graphics + [ + w 85.80000000000001 + h 26 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "New Reals" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 14 + graphics + [ + w 103.4 + h 26 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "New Strings" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 15 + graphics + [ + w 103.4 + h 26 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "New Objects" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + edge + [ + source 3 + target 4 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "value reference Element" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 5 + target 6 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "value reference Element" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 7 + target 8 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "value reference Element" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 9 + target 10 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "value reference Element" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 2 + target 3 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "next reference Element" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 3 + target 5 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "next reference Element" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 5 + target 7 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "next reference Element" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 7 + target 9 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "next reference Element" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 9 + target 11 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "next reference Element" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] +] diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleNEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleNEIGHBOURHOOD.gml new file mode 100644 index 00000000..125acc5c --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleNEIGHBOURHOOD.gml @@ -0,0 +1,210 @@ +graph +[ + node + [ + id 0 + graphics + [ + w 152.9 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Element class] (1)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 1 + graphics + [ + w 145.20000000000002 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Object class] (4)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 2 + graphics + [ + w 152.9 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Element class] (1)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 3 + graphics + [ + w 152.9 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Element class] (4)" + fontSize 14 + fontName "Dialog" + ] + ] + edge + [ + source 2 + target 3 + label "next reference Element" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "next reference Element" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 0, 0]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 3 + target 3 + label "next reference Element" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "next reference Element" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1, 0]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 3 + target 1 + label "value reference Element" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "value reference Element" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] +] diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelNEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelNEIGHBOURHOOD.gml index e69de29b..b0f17c49 100644 --- a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelNEIGHBOURHOOD.gml +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelNEIGHBOURHOOD.gml @@ -0,0 +1,724 @@ +graph +[ + node + [ + id 0 + graphics + [ + w 176.0 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Transition class] (7)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 1 + graphics + [ + w 584.1 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class, CompositeElement class, Vertex class, RegularState class] (1)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 2 + graphics + [ + w 360.8 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Statechart class, CompositeElement class] (1)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 3 + graphics + [ + w 584.1 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class, CompositeElement class, Vertex class, RegularState class] (1)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 4 + graphics + [ + w 584.1 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class, CompositeElement class, Vertex class, RegularState class] (1)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 5 + graphics + [ + w 584.1 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class, CompositeElement class, Vertex class, RegularState class] (2)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 6 + graphics + [ + w 391.6 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Pseudostate class, Entry class, Vertex class] (1)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 7 + graphics + [ + w 145.20000000000002 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Region class] (1)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 8 + graphics + [ + w 176.0 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Transition class] (1)" + fontSize 14 + fontName "Dialog" + ] + ] + edge + [ + source 2 + target 7 + label "regions reference CompositeElement" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "regions reference CompositeElement" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 5 + target 0 + label "incomingTransitions reference Vertex" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "incomingTransitions reference Vertex" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 0, 0, 0, 0, 0, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 5 + target 0 + label "outgoingTransitions reference Vertex" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "outgoingTransitions reference Vertex" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1, 0, 0, 0, 0, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 4 + target 0 + label "incomingTransitions reference Vertex" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "incomingTransitions reference Vertex" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[2]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1, 0, 0, 0, 0, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 4 + target 0 + label "outgoingTransitions reference Vertex" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "outgoingTransitions reference Vertex" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[4]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1, 1, 0, 0, 0, 1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 3 + target 0 + label "incomingTransitions reference Vertex" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "incomingTransitions reference Vertex" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 2]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1, 0, 0, 0, 0, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 3 + target 0 + label "outgoingTransitions reference Vertex" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "outgoingTransitions reference Vertex" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 0, 0, 0, 0, 0, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 6 + target 8 + label "outgoingTransitions reference Vertex" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "outgoingTransitions reference Vertex" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 7 + target 6 + label "vertices reference Region" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "vertices reference Region" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 1, 1, 2, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 0 + target 1 + label "target reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "target reference Transition" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 1, 1, 1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 2]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 0 + target 4 + label "source reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "source reference Transition" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 1, 1, 1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[4]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 1 + target 0 + label "incomingTransitions reference Vertex" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "incomingTransitions reference Vertex" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 0, 0, 0, 0, 0]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 8 + target 3 + label "target reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "target reference Transition" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 8 + target 6 + label "source reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "source reference Transition" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] +] diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic0NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic0NEIGHBOURHOOD.gml new file mode 100644 index 00000000..0cfc9216 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic0NEIGHBOURHOOD.gml @@ -0,0 +1,304 @@ +Creator "yFiles" +Version "2.16" +graph +[ + hierarchic 1 + label "" + directed 1 + node + [ + id 0 + label "" + graphics + [ + x 95.0 + y -28.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (5)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 1 + label "" + graphics + [ + x 357.0 + y -28.0 + w 176.0 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Statechart class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 2 + label "" + graphics + [ + x -158.0 + y -28.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Entry class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + edge + [ + source 0 + target 0 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 95.0 + y -28.0 + ] + point + [ + x 105.0 + y -199.0 + ] + point + [ + x 95.0 + y -28.0 + ] + ] + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 30.68359375 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 30.68359375 + contentHeight 18.701171875 + model "six_pos" + position "shead" + ] + ] + edge + [ + source 1 + target 0 + label "state reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 142.076171875 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[5]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 30.68359375 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 1 + target 2 + label "entry reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 357.0 + y -28.0 + ] + point + [ + x 357.0 + y 130.0 + ] + point + [ + x -158.0 + y 130.0 + ] + point + [ + x -158.0 + y -28.0 + ] + ] + ] + edgeAnchor + [ + ySource 1.0 + ] + LabelGraphics + [ + text "entry reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 142.73828125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 2 + target 0 + label "entry reference Entry" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "entry reference Entry" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 116.048828125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 0]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 30.68359375 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] +] diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic1NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic1NEIGHBOURHOOD.gml new file mode 100644 index 00000000..868b39c5 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic1NEIGHBOURHOOD.gml @@ -0,0 +1,374 @@ +graph +[ + node + [ + id 0 + graphics + [ + w 137.5 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Entry class] (1)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 1 + graphics + [ + w 137.5 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (4)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 2 + graphics + [ + w 176.0 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Statechart class] (1)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 3 + graphics + [ + w 137.5 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + ] + ] + edge + [ + source 0 + target 3 + label "entry reference Entry" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "entry reference Entry" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 1 + target 3 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 0, 0]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 1 + target 1 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 1, 0]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 2 + target 3 + label "state reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 2 + target 0 + label "entry reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "entry reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 2 + target 1 + label "state reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[4]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 3 + target 1 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 0, 0]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] +] diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic2NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic2NEIGHBOURHOOD.gml new file mode 100644 index 00000000..4fe07a99 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic2NEIGHBOURHOOD.gml @@ -0,0 +1,560 @@ +Creator "yFiles" +Version "2.16" +graph +[ + hierarchic 1 + label "" + directed 1 + node + [ + id 0 + label "" + graphics + [ + x -316.0 + y 303.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 1 + label "" + graphics + [ + x 49.0 + y -220.0 + w 176.0 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Statechart class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 2 + label "" + graphics + [ + x -280.0 + y 100.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 3 + label "" + graphics + [ + x 156.0 + y 100.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 4 + label "" + graphics + [ + x -270.0 + y -92.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Entry class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 5 + label "" + graphics + [ + x 425.0 + y -220.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (2)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + edge + [ + source 0 + target 2 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x -316.0 + y 303.0 + ] + point + [ + x -280.0 + y 198.5 + ] + point + [ + x -292.0 + y 198.5 + ] + point + [ + x -280.0 + y 100.0 + ] + ] + ] + edgeAnchor + [ + xSource 0.5236363636363637 + xTarget -0.17454545454545456 + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 1 + target 5 + label "state reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.625 + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 142.076171875 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 1, 1, 2]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 57.3671875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 30.68359375 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 1 + target 4 + label "entry reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 49.0 + y -220.0 + ] + point + [ + x -270.0 + y -220.0 + ] + point + [ + x -270.0 + y -92.0 + ] + ] + ] + LabelGraphics + [ + text "entry reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 142.73828125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 2 + target 3 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 3 + target 5 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 156.0 + y 100.0 + ] + point + [ + x 425.0 + y 100.0 + ] + point + [ + x 425.0 + y -220.0 + ] + ] + ] + edgeAnchor + [ + xSource -0.8 + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 0]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 30.68359375 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 4 + target 2 + label "entry reference Entry" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xTarget 0.14545454545454545 + ] + LabelGraphics + [ + text "entry reference Entry" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 116.048828125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 5 + target 5 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 425.0 + y -220.0 + ] + point + [ + x 425.0 + y -270.0 + ] + point + [ + x 425.0 + y -220.0 + ] + ] + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 30.68359375 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 0]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 30.68359375 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] +] diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic3NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic3NEIGHBOURHOOD.gml new file mode 100644 index 00000000..4c6b4ee5 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic3NEIGHBOURHOOD.gml @@ -0,0 +1,639 @@ +Creator "yFiles" +Version "2.16" +graph +[ + hierarchic 1 + label "" + directed 1 + node + [ + id 0 + label "" + graphics + [ + x 332.0 + y 59.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 1 + label "" + graphics + [ + x 38.0 + y -148.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 2 + label "" + graphics + [ + x -247.0 + y -148.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Entry class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 3 + label "" + graphics + [ + x 23.0 + y -252.0 + w 176.0 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Statechart class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 4 + label "" + graphics + [ + x 340.0 + y 259.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 5 + label "" + graphics + [ + x 340.0 + y -141.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 6 + label "" + graphics + [ + x -282.0 + y 153.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + edge + [ + source 4 + target 6 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 340.0 + y 259.0 + ] + point + [ + x 377.5 + y 325.5 + ] + point + [ + x -262.0 + y 325.5 + ] + point + [ + x -262.0 + y 278.75 + ] + point + [ + x -282.0 + y 278.75 + ] + point + [ + x -282.0 + y 153.0 + ] + ] + ] + edgeAnchor + [ + xSource 0.5454545454545454 + ySource 0.975 + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 0 + target 4 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.11636363636363636 + ySource 0.225 + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 1 + target 5 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.2690909090909091 + ySource 0.35 + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 5 + target 0 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xTarget 0.11636363636363636 + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 2 + target 6 + label "entry reference Entry" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.509090909090909 + ] + LabelGraphics + [ + text "entry reference Entry" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 116.048828125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 3 + target 1 + label "state reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xTarget -0.21818181818181817 + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 142.076171875 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 1, 1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 70.708984375 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 3 + target 2 + label "entry reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 23.0 + y -252.0 + ] + point + [ + x -247.0 + y -252.0 + ] + point + [ + x -247.0 + y -148.0 + ] + ] + ] + edgeAnchor + [ + yTarget -1.0 + ] + LabelGraphics + [ + text "entry reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 142.73828125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 6 + target 1 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x -282.0 + y 153.0 + ] + point + [ + x 3.0 + y 153.0 + ] + point + [ + x 38.0 + y -148.0 + ] + ] + ] + edgeAnchor + [ + xTarget -0.509090909090909 + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] +] diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealisticMODEL.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealisticMODEL.gml new file mode 100644 index 00000000..5102dc66 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealisticMODEL.gml @@ -0,0 +1,698 @@ +graph +[ + node + [ + id 0 + graphics + [ + w 41.800000000000004 + h 26 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "true" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 1 + graphics + [ + w 50.6 + h 26 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "false" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 2 + graphics + [ + w 138.60000000000002 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Statechart class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 3 + graphics + [ + w 100.10000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + State class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 4 + graphics + [ + w 100.10000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + State class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 5 + graphics + [ + w 100.10000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + State class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 6 + graphics + [ + w 100.10000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + State class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 7 + graphics + [ + w 100.10000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + State class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 8 + graphics + [ + w 100.10000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Entry class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 9 + graphics + [ + w 112.2 + h 26 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "New Integers" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 10 + graphics + [ + w 85.80000000000001 + h 26 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "New Reals" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 11 + graphics + [ + w 103.4 + h 26 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "New Strings" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 12 + graphics + [ + w 103.4 + h 26 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "New Objects" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + edge + [ + source 3 + target 4 + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "next reference State" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 4 + target 5 + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "next reference State" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 5 + target 6 + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "next reference State" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 6 + target 7 + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "next reference State" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 7 + target 3 + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "next reference State" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 8 + target 3 + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "entry reference Entry" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 2 + target 3 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 2 + target 4 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 2 + target 5 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 2 + target 6 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 2 + target 7 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 2 + target 8 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "entry reference Statechart" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] +] diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic0NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic0NEIGHBOURHOOD.gml new file mode 100644 index 00000000..05929964 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic0NEIGHBOURHOOD.gml @@ -0,0 +1,314 @@ +Creator "yFiles" +Version "2.16" +graph +[ + hierarchic 1 + label "" + directed 1 + node + [ + id 0 + label "" + graphics + [ + x 120.0 + y 68.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (5)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 1 + label "" + graphics + [ + x 435.0 + y 82.0 + w 176.0 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Statechart class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 2 + label "" + graphics + [ + x -139.25 + y 68.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Entry class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + edge + [ + source 0 + target 0 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 120.0 + y 68.0 + ] + point + [ + x 90.0 + y -141.0 + ] + point + [ + x 120.0 + y 68.0 + ] + ] + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 4, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 44.025390625 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 2, 2, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 57.3671875 + contentHeight 18.701171875 + model "six_pos" + position "shead" + ] + ] + edge + [ + source 1 + target 0 + label "state reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + ySource -0.7 + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 142.076171875 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[5]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 57.3671875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 1 + target 2 + label "entry reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 435.0 + y 82.0 + ] + point + [ + x 415.75 + y 287.0 + ] + point + [ + x -139.25 + y 287.0 + ] + point + [ + x -139.25 + y 68.0 + ] + ] + ] + edgeAnchor + [ + xSource -0.21875 + ] + LabelGraphics + [ + text "entry reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 142.73828125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 2 + target 0 + label "entry reference Entry" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + ySource 0.35 + xTarget -0.28 + yTarget 0.35 + ] + LabelGraphics + [ + text "entry reference Entry" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 116.048828125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 0, 0, 0]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 57.3671875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] +] diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic1NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic1NEIGHBOURHOOD.gml new file mode 100644 index 00000000..09dff987 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic1NEIGHBOURHOOD.gml @@ -0,0 +1,621 @@ +graph +[ + node + [ + id 0 + graphics + [ + w 137.5 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 1 + graphics + [ + w 137.5 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Entry class] (1)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 2 + graphics + [ + w 137.5 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 3 + graphics + [ + w 137.5 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 4 + graphics + [ + w 137.5 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (2)" + fontSize 14 + fontName "Dialog" + ] + ] + node + [ + id 5 + graphics + [ + w 176.0 + h 40 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Statechart class] (1)" + fontSize 14 + fontName "Dialog" + ] + ] + edge + [ + source 1 + target 2 + label "entry reference Entry" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "entry reference Entry" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 3 + target 2 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 3 + target 0 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 3 + target 4 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[2]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 2 + target 3 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 4 + target 2 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 0]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 4 + target 3 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 0]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 5 + target 2 + label "state reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1, 1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 5 + target 1 + label "entry reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "entry reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 5 + target 4 + label "state reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[2]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1, 1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 5 + target 3 + label "state reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1, 1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 5 + target 0 + label "state reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + ] + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1, 1, 1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + model "six_pos" + position "ttail" + ] + ] +] diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic2NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic2NEIGHBOURHOOD.gml new file mode 100644 index 00000000..aa0f19b6 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic2NEIGHBOURHOOD.gml @@ -0,0 +1,559 @@ +Creator "yFiles" +Version "2.16" +graph +[ + hierarchic 1 + label "" + directed 1 + node + [ + id 0 + label "" + graphics + [ + x -321.0 + y 198.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 1 + label "" + graphics + [ + x 312.0 + y -56.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 2 + label "" + graphics + [ + x 337.0 + y 323.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 3 + label "" + graphics + [ + x 40.75 + y 192.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 4 + label "" + graphics + [ + x -321.0 + y 47.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 5 + label "" + graphics + [ + x 312.0 + y -193.0 + w 176.0 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Statechart class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 6 + label "" + graphics + [ + x 40.75 + y -128.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Entry class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + edge + [ + source 2 + target 3 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 337.0 + y 323.0 + ] + point + [ + x 40.75 + y 323.0 + ] + point + [ + x 40.75 + y 192.0 + ] + ] + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 57.3671875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 3 + target 2 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 40.75 + y 192.0 + ] + point + [ + x 40.75 + y 323.0 + ] + point + [ + x 337.0 + y 323.0 + ] + ] + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 5 + target 1 + label "state reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 142.076171875 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 1, 1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 70.708984375 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 5 + target 6 + label "entry reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 312.0 + y -193.0 + ] + point + [ + x 40.75 + y -193.0 + ] + point + [ + x 40.75 + y -128.0 + ] + ] + ] + edgeAnchor + [ + xSource -0.5113636363636364 + ] + LabelGraphics + [ + text "entry reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 142.73828125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 0 + target 3 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + yTarget 0.3 + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 6 + target 3 + label "entry reference Entry" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "entry reference Entry" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 116.048828125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 1 + target 2 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.5454545454545454 + xTarget 0.18181818181818182 + yTarget -0.75 + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] +] diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic3NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic3NEIGHBOURHOOD.gml new file mode 100644 index 00000000..8127e609 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic3NEIGHBOURHOOD.gml @@ -0,0 +1,599 @@ +Creator "yFiles" +Version "2.16" +graph +[ + hierarchic 1 + label "" + directed 1 + node + [ + id 0 + label "" + graphics + [ + x -158.5 + y -79.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 1 + label "" + graphics + [ + x 229.25 + y 230.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 2 + label "" + graphics + [ + x 93.0 + y 9.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 3 + label "" + graphics + [ + x 424.0 + y 43.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 4 + label "" + graphics + [ + x -416.0 + y 9.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Entry class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 5 + label "" + graphics + [ + x -197.0 + y 243.0 + w 137.5 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[State class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + node + [ + id 6 + label "" + graphics + [ + x -177.75 + y -230.0 + w 176.0 + h 40.0 + type "roundrectangle" + fill "#FFCC00" + outline "#000000" + ] + LabelGraphics + [ + ] + LabelGraphics + [ + text "[Statechart class] (1)" + fontSize 14 + fontName "Dialog" + anchor "c" + ] + ] + edge + [ + source 3 + target 1 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x 424.0 + y 43.0 + ] + point + [ + x 424.0 + y 230.0 + ] + point + [ + x 229.25 + y 230.0 + ] + ] + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 4 + target 5 + label "entry reference Entry" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x -416.0 + y 9.0 + ] + point + [ + x -321.0 + y 9.0 + ] + point + [ + x -321.0 + y 250.0 + ] + point + [ + x -197.0 + y 243.0 + ] + ] + ] + edgeAnchor + [ + yTarget 0.35 + ] + LabelGraphics + [ + text "entry reference Entry" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 116.048828125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 5 + target 1 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x -197.0 + y 243.0 + ] + point + [ + x -180.9375 + y 306.0 + ] + point + [ + x 229.25 + y 306.0 + ] + point + [ + x 229.25 + y 230.0 + ] + ] + ] + edgeAnchor + [ + xSource 0.23363636363636364 + yTarget 1.0 + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 0 + target 5 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.56 + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 6 + target 0 + label "state reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.21875 + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 142.076171875 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 1, 1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 70.708984375 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 6 + target 4 + label "entry reference Statechart" + graphics + [ + fill "#000000" + targetArrow "standard" + Line + [ + point + [ + x -177.75 + y -230.0 + ] + point + [ + x -416.0 + y -230.0 + ] + point + [ + x -416.0 + y 9.0 + ] + ] + ] + edgeAnchor + [ + xSource -0.7727272727272727 + ] + LabelGraphics + [ + text "entry reference Statechart" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 142.73828125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] + edge + [ + source 1 + target 5 + label "next reference State" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xTarget 0.5672727272727273 + yTarget -0.65 + ] + LabelGraphics + [ + text "next reference State" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 112.064453125 + contentHeight 18.701171875 + model "six_pos" + position "head" + ] + LabelGraphics + [ + text "[1, 1, 1, 1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 57.3671875 + contentHeight 18.701171875 + model "six_pos" + position "stail" + ] + LabelGraphics + [ + text "[1]" + fontSize 12 + fontName "Dialog" + configuration "AutoFlippingLabel" + contentWidth 17.341796875 + contentHeight 18.701171875 + model "six_pos" + position "ttail" + ] + ] +] diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealisticMODEL.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealisticMODEL.gml new file mode 100644 index 00000000..584651de --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealisticMODEL.gml @@ -0,0 +1,736 @@ +graph +[ + node + [ + id 0 + graphics + [ + w 41.800000000000004 + h 26 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "true" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 1 + graphics + [ + w 50.6 + h 26 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "false" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 2 + graphics + [ + w 138.60000000000002 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Statechart class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 3 + graphics + [ + w 100.10000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + State class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 4 + graphics + [ + w 100.10000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + State class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 5 + graphics + [ + w 100.10000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + State class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 6 + graphics + [ + w 100.10000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + State class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 7 + graphics + [ + w 100.10000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + State class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 8 + graphics + [ + w 100.10000000000001 + h 40 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Entry class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 9 + graphics + [ + w 112.2 + h 26 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "New Integers" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 10 + graphics + [ + w 85.80000000000001 + h 26 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "New Reals" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 11 + graphics + [ + w 103.4 + h 26 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "New Strings" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + + node + [ + id 12 + graphics + [ + w 103.4 + h 26 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "New Objects" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6 + ] + ] + edge + [ + source 3 + target 4 + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "next reference State" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 4 + target 3 + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "next reference State" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 4 + target 5 + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "next reference State" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 4 + target 6 + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "next reference State" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 4 + target 7 + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "next reference State" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 5 + target 4 + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "next reference State" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 7 + target 3 + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "next reference State" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 8 + target 3 + graphics + [ + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "entry reference Entry" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 2 + target 3 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 2 + target 4 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 2 + target 5 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 2 + target 6 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 2 + target 7 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "state reference Statechart" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] + edge + [ + source 2 + target 8 + graphics + [ + fill "#000000" + width 3 + targetArrow "standard" + ] + LabelGraphics + [ + text "entry reference Statechart" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + model "six_pos" + position "thead" + ] + ] +] diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/plugin.xml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/plugin.xml index 4dca04bb..08f6a86b 100644 --- a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/plugin.xml +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/plugin.xml @@ -14,4 +14,12 @@ genModel="resources/linkedList.genmodel"/> + + + + + diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/cycle.xmi b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/cycle.xmi new file mode 100644 index 00000000..685a2b66 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/cycle.xmi @@ -0,0 +1,21 @@ + + + + + + + + + + + + + + + + diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleSCIrrealistic.xmi b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleSCIrrealistic.xmi new file mode 100644 index 00000000..c34857c9 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleSCIrrealistic.xmi @@ -0,0 +1,14 @@ + + + + + + + + + diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleSCRealistic.xmi b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleSCRealistic.xmi new file mode 100644 index 00000000..131e4482 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleSCRealistic.xmi @@ -0,0 +1,14 @@ + + + + + + + + + diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleStatechart.aird b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleStatechart.aird new file mode 100644 index 00000000..3a8ce88a --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleStatechart.aird @@ -0,0 +1,231 @@ + + + + simpleStatechart.ecore + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + bold + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + KEEP_LOCATION + KEEP_SIZE + KEEP_RATIO + + + + + + + + + + + + + + + + + + + + bold + + + + + + + + + + + + labelSize + + + labelSize + + + + + + + + + + + labelSize + + + labelSize + + + + + + + + + + + + + diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleStatechart.ecore b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleStatechart.ecore new file mode 100644 index 00000000..a5df7904 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleStatechart.ecore @@ -0,0 +1,16 @@ + + + + + + + + + + + + + diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleStatechart.genmodel b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleStatechart.genmodel new file mode 100644 index 00000000..fc751c8e --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/resources/simpleStatechart.genmodel @@ -0,0 +1,20 @@ + + + simpleStatechart.ecore + + + + + + + + + + + + + diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/CSERposterSample.xtend b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/CSERposterSample.xtend index 8dd16090..44aad755 100644 --- a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/CSERposterSample.xtend +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/CSERposterSample.xtend @@ -18,6 +18,7 @@ import org.eclipse.viatra.query.runtime.rete.matcher.ReteEngine import java.io.PrintWriter import linkedList.LinkedListPackage import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.neighbourhood.Neighbourhood2Gml +import simpleStatechart.SimpleStatechartPackage class CSERposterSample { static val partialInterpretation2Logic = new InstanceModel2PartialInterpretation @@ -26,15 +27,18 @@ class CSERposterSample { static val partialVisualizer = new PartialInterpretation2Gml static val neighbourhoodVisualizer = new Neighbourhood2Gml static val depth = 1 + static val REALISTIC = "simpleSCRealistic" + static val IRREALISTIC = "simpleSCIrrealistic" def static void main(String[] args) { Resource.Factory.Registry.INSTANCE.extensionToFactoryMap.put("*", new XMIResourceFactoryImpl) YakindummPackage.eINSTANCE.eClass LinkedListPackage.eINSTANCE.eClass + SimpleStatechartPackage.eINSTANCE.eClass ReteEngine.getClass val outputs = "outputs" - val instModName = "realisticModel" + val instModName = REALISTIC val workspace = new FileSystemWorkspace('''resources''', "") val model = workspace.readModel(EObject, instModName+".xmi") @@ -60,7 +64,7 @@ class CSERposterSample { val hood = neighbourhoodComputer.createRepresentation(partialModelOutput, depth, Integer.MAX_VALUE, Integer.MAX_VALUE) - val w2 = new PrintWriter(outputs+"/"+instModName+"NEIGHBOURHOOD.gml") + val w2 = new PrintWriter(outputs+"/"+instModName+depth+"NEIGHBOURHOOD.gml") w2.print(neighbourhoodVisualizer.transform(hood, partialModelOutput)) diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/Entry.java b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/Entry.java new file mode 100644 index 00000000..10203691 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/Entry.java @@ -0,0 +1,50 @@ +/** + */ +package simpleStatechart; + +import org.eclipse.emf.ecore.EObject; + +/** + * + * A representation of the model object 'Entry'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see simpleStatechart.SimpleStatechartPackage#getEntry() + * @model + * @generated + */ +public interface Entry extends EObject { + /** + * Returns the value of the 'Entry' reference. + * + *

+ * If the meaning of the 'Entry' reference isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Entry' reference. + * @see #setEntry(State) + * @see simpleStatechart.SimpleStatechartPackage#getEntry_Entry() + * @model + * @generated + */ + State getEntry(); + + /** + * Sets the value of the '{@link simpleStatechart.Entry#getEntry Entry}' reference. + * + * + * @param value the new value of the 'Entry' reference. + * @see #getEntry() + * @generated + */ + void setEntry(State value); + +} // Entry diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/SimpleStatechartFactory.java b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/SimpleStatechartFactory.java new file mode 100644 index 00000000..a185daa0 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/SimpleStatechartFactory.java @@ -0,0 +1,60 @@ +/** + */ +package simpleStatechart; + +import org.eclipse.emf.ecore.EFactory; + +/** + * + * The Factory for the model. + * It provides a create method for each non-abstract class of the model. + * + * @see simpleStatechart.SimpleStatechartPackage + * @generated + */ +public interface SimpleStatechartFactory extends EFactory { + /** + * The singleton instance of the factory. + * + * + * @generated + */ + SimpleStatechartFactory eINSTANCE = simpleStatechart.impl.SimpleStatechartFactoryImpl.init(); + + /** + * Returns a new object of class 'State'. + * + * + * @return a new object of class 'State'. + * @generated + */ + State createState(); + + /** + * Returns a new object of class 'Entry'. + * + * + * @return a new object of class 'Entry'. + * @generated + */ + Entry createEntry(); + + /** + * Returns a new object of class 'Statechart'. + * + * + * @return a new object of class 'Statechart'. + * @generated + */ + Statechart createStatechart(); + + /** + * Returns the package supported by this factory. + * + * + * @return the package supported by this factory. + * @generated + */ + SimpleStatechartPackage getSimpleStatechartPackage(); + +} //SimpleStatechartFactory diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/SimpleStatechartPackage.java b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/SimpleStatechartPackage.java new file mode 100644 index 00000000..0d5a1042 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/SimpleStatechartPackage.java @@ -0,0 +1,340 @@ +/** + */ +package simpleStatechart; + +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.EPackage; +import org.eclipse.emf.ecore.EReference; + +/** + * + * The Package for the model. + * It contains accessors for the meta objects to represent + * + * + * @see simpleStatechart.SimpleStatechartFactory + * @model kind="package" + * @generated + */ +public interface SimpleStatechartPackage extends EPackage { + /** + * The package name. + * + * + * @generated + */ + String eNAME = "simpleStatechart"; + + /** + * The package namespace URI. + * + * + * @generated + */ + String eNS_URI = "simpleSC"; + + /** + * The package namespace name. + * + * + * @generated + */ + String eNS_PREFIX = "simpleSC"; + + /** + * The singleton instance of the package. + * + * + * @generated + */ + SimpleStatechartPackage eINSTANCE = simpleStatechart.impl.SimpleStatechartPackageImpl.init(); + + /** + * The meta object id for the '{@link simpleStatechart.impl.StateImpl State}' class. + * + * + * @see simpleStatechart.impl.StateImpl + * @see simpleStatechart.impl.SimpleStatechartPackageImpl#getState() + * @generated + */ + int STATE = 0; + + /** + * The feature id for the 'Next' reference list. + * + * + * @generated + * @ordered + */ + int STATE__NEXT = 0; + + /** + * The number of structural features of the 'State' class. + * + * + * @generated + * @ordered + */ + int STATE_FEATURE_COUNT = 1; + + /** + * The number of operations of the 'State' class. + * + * + * @generated + * @ordered + */ + int STATE_OPERATION_COUNT = 0; + + /** + * The meta object id for the '{@link simpleStatechart.impl.EntryImpl Entry}' class. + * + * + * @see simpleStatechart.impl.EntryImpl + * @see simpleStatechart.impl.SimpleStatechartPackageImpl#getEntry() + * @generated + */ + int ENTRY = 1; + + /** + * The feature id for the 'Entry' reference. + * + * + * @generated + * @ordered + */ + int ENTRY__ENTRY = 0; + + /** + * The number of structural features of the 'Entry' class. + * + * + * @generated + * @ordered + */ + int ENTRY_FEATURE_COUNT = 1; + + /** + * The number of operations of the 'Entry' class. + * + * + * @generated + * @ordered + */ + int ENTRY_OPERATION_COUNT = 0; + + /** + * The meta object id for the '{@link simpleStatechart.impl.StatechartImpl Statechart}' class. + * + * + * @see simpleStatechart.impl.StatechartImpl + * @see simpleStatechart.impl.SimpleStatechartPackageImpl#getStatechart() + * @generated + */ + int STATECHART = 2; + + /** + * The feature id for the 'State' containment reference list. + * + * + * @generated + * @ordered + */ + int STATECHART__STATE = 0; + + /** + * The feature id for the 'Entry' containment reference. + * + * + * @generated + * @ordered + */ + int STATECHART__ENTRY = 1; + + /** + * The number of structural features of the 'Statechart' class. + * + * + * @generated + * @ordered + */ + int STATECHART_FEATURE_COUNT = 2; + + /** + * The number of operations of the 'Statechart' class. + * + * + * @generated + * @ordered + */ + int STATECHART_OPERATION_COUNT = 0; + + + /** + * Returns the meta object for class '{@link simpleStatechart.State State}'. + * + * + * @return the meta object for class 'State'. + * @see simpleStatechart.State + * @generated + */ + EClass getState(); + + /** + * Returns the meta object for the reference list '{@link simpleStatechart.State#getNext Next}'. + * + * + * @return the meta object for the reference list 'Next'. + * @see simpleStatechart.State#getNext() + * @see #getState() + * @generated + */ + EReference getState_Next(); + + /** + * Returns the meta object for class '{@link simpleStatechart.Entry Entry}'. + * + * + * @return the meta object for class 'Entry'. + * @see simpleStatechart.Entry + * @generated + */ + EClass getEntry(); + + /** + * Returns the meta object for the reference '{@link simpleStatechart.Entry#getEntry Entry}'. + * + * + * @return the meta object for the reference 'Entry'. + * @see simpleStatechart.Entry#getEntry() + * @see #getEntry() + * @generated + */ + EReference getEntry_Entry(); + + /** + * Returns the meta object for class '{@link simpleStatechart.Statechart Statechart}'. + * + * + * @return the meta object for class 'Statechart'. + * @see simpleStatechart.Statechart + * @generated + */ + EClass getStatechart(); + + /** + * Returns the meta object for the containment reference list '{@link simpleStatechart.Statechart#getState State}'. + * + * + * @return the meta object for the containment reference list 'State'. + * @see simpleStatechart.Statechart#getState() + * @see #getStatechart() + * @generated + */ + EReference getStatechart_State(); + + /** + * Returns the meta object for the containment reference '{@link simpleStatechart.Statechart#getEntry Entry}'. + * + * + * @return the meta object for the containment reference 'Entry'. + * @see simpleStatechart.Statechart#getEntry() + * @see #getStatechart() + * @generated + */ + EReference getStatechart_Entry(); + + /** + * Returns the factory that creates the instances of the model. + * + * + * @return the factory that creates the instances of the model. + * @generated + */ + SimpleStatechartFactory getSimpleStatechartFactory(); + + /** + * + * Defines literals for the meta objects that represent + * + * + * @generated + */ + interface Literals { + /** + * The meta object literal for the '{@link simpleStatechart.impl.StateImpl State}' class. + * + * + * @see simpleStatechart.impl.StateImpl + * @see simpleStatechart.impl.SimpleStatechartPackageImpl#getState() + * @generated + */ + EClass STATE = eINSTANCE.getState(); + + /** + * The meta object literal for the 'Next' reference list feature. + * + * + * @generated + */ + EReference STATE__NEXT = eINSTANCE.getState_Next(); + + /** + * The meta object literal for the '{@link simpleStatechart.impl.EntryImpl Entry}' class. + * + * + * @see simpleStatechart.impl.EntryImpl + * @see simpleStatechart.impl.SimpleStatechartPackageImpl#getEntry() + * @generated + */ + EClass ENTRY = eINSTANCE.getEntry(); + + /** + * The meta object literal for the 'Entry' reference feature. + * + * + * @generated + */ + EReference ENTRY__ENTRY = eINSTANCE.getEntry_Entry(); + + /** + * The meta object literal for the '{@link simpleStatechart.impl.StatechartImpl Statechart}' class. + * + * + * @see simpleStatechart.impl.StatechartImpl + * @see simpleStatechart.impl.SimpleStatechartPackageImpl#getStatechart() + * @generated + */ + EClass STATECHART = eINSTANCE.getStatechart(); + + /** + * The meta object literal for the 'State' containment reference list feature. + * + * + * @generated + */ + EReference STATECHART__STATE = eINSTANCE.getStatechart_State(); + + /** + * The meta object literal for the 'Entry' containment reference feature. + * + * + * @generated + */ + EReference STATECHART__ENTRY = eINSTANCE.getStatechart_Entry(); + + } + +} //SimpleStatechartPackage diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/State.java b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/State.java new file mode 100644 index 00000000..9f65b62b --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/State.java @@ -0,0 +1,42 @@ +/** + */ +package simpleStatechart; + +import org.eclipse.emf.common.util.EList; + +import org.eclipse.emf.ecore.EObject; + +/** + * + * A representation of the model object 'State'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see simpleStatechart.SimpleStatechartPackage#getState() + * @model + * @generated + */ +public interface State extends EObject { + /** + * Returns the value of the 'Next' reference list. + * The list contents are of type {@link simpleStatechart.State}. + * + *

+ * If the meaning of the 'Next' reference list isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Next' reference list. + * @see simpleStatechart.SimpleStatechartPackage#getState_Next() + * @model + * @generated + */ + EList getNext(); + +} // State diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/Statechart.java b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/Statechart.java new file mode 100644 index 00000000..10c6dfc1 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/Statechart.java @@ -0,0 +1,69 @@ +/** + */ +package simpleStatechart; + +import org.eclipse.emf.common.util.EList; + +import org.eclipse.emf.ecore.EObject; + +/** + * + * A representation of the model object 'Statechart'. + * + * + *

+ * The following features are supported: + *

+ * + * + * @see simpleStatechart.SimpleStatechartPackage#getStatechart() + * @model + * @generated + */ +public interface Statechart extends EObject { + /** + * Returns the value of the 'State' containment reference list. + * The list contents are of type {@link simpleStatechart.State}. + * + *

+ * If the meaning of the 'State' containment reference list isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'State' containment reference list. + * @see simpleStatechart.SimpleStatechartPackage#getStatechart_State() + * @model containment="true" + * @generated + */ + EList getState(); + + /** + * Returns the value of the 'Entry' containment reference. + * + *

+ * If the meaning of the 'Entry' containment reference isn't clear, + * there really should be more of a description here... + *

+ * + * @return the value of the 'Entry' containment reference. + * @see #setEntry(Entry) + * @see simpleStatechart.SimpleStatechartPackage#getStatechart_Entry() + * @model containment="true" required="true" + * @generated + */ + Entry getEntry(); + + /** + * Sets the value of the '{@link simpleStatechart.Statechart#getEntry Entry}' containment reference. + * + * + * @param value the new value of the 'Entry' containment reference. + * @see #getEntry() + * @generated + */ + void setEntry(Entry value); + +} // Statechart diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/EntryImpl.java b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/EntryImpl.java new file mode 100644 index 00000000..0e25ace3 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/EntryImpl.java @@ -0,0 +1,157 @@ +/** + */ +package simpleStatechart.impl; + +import org.eclipse.emf.common.notify.Notification; + +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.InternalEObject; + +import org.eclipse.emf.ecore.impl.ENotificationImpl; +import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; + +import simpleStatechart.Entry; +import simpleStatechart.SimpleStatechartPackage; +import simpleStatechart.State; + +/** + * + * An implementation of the model object 'Entry'. + * + *

+ * The following features are implemented: + *

+ *
    + *
  • {@link simpleStatechart.impl.EntryImpl#getEntry Entry}
    • + *
+ * + * @generated + */ +public class EntryImpl extends MinimalEObjectImpl.Container implements Entry { + /** + * The cached value of the '{@link #getEntry() Entry}' reference. + * + * + * @see #getEntry() + * @generated + * @ordered + */ + protected State entry; + + /** + * + * + * @generated + */ + protected EntryImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return SimpleStatechartPackage.Literals.ENTRY; + } + + /** + * + * + * @generated + */ + public State getEntry() { + if (entry != null && entry.eIsProxy()) { + InternalEObject oldEntry = (InternalEObject)entry; + entry = (State)eResolveProxy(oldEntry); + if (entry != oldEntry) { + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.RESOLVE, SimpleStatechartPackage.ENTRY__ENTRY, oldEntry, entry)); + } + } + return entry; + } + + /** + * + * + * @generated + */ + public State basicGetEntry() { + return entry; + } + + /** + * + * + * @generated + */ + public void setEntry(State newEntry) { + State oldEntry = entry; + entry = newEntry; + if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, SimpleStatechartPackage.ENTRY__ENTRY, oldEntry, entry)); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case SimpleStatechartPackage.ENTRY__ENTRY: + if (resolve) return getEntry(); + return basicGetEntry(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case SimpleStatechartPackage.ENTRY__ENTRY: + setEntry((State)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case SimpleStatechartPackage.ENTRY__ENTRY: + setEntry((State)null); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case SimpleStatechartPackage.ENTRY__ENTRY: + return entry != null; + } + return super.eIsSet(featureID); + } + +} //EntryImpl diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/SimpleStatechartFactoryImpl.java b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/SimpleStatechartFactoryImpl.java new file mode 100644 index 00000000..421aee1c --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/SimpleStatechartFactoryImpl.java @@ -0,0 +1,117 @@ +/** + */ +package simpleStatechart.impl; + +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.EObject; +import org.eclipse.emf.ecore.EPackage; + +import org.eclipse.emf.ecore.impl.EFactoryImpl; + +import org.eclipse.emf.ecore.plugin.EcorePlugin; + +import simpleStatechart.*; + +/** + * + * An implementation of the model Factory. + * + * @generated + */ +public class SimpleStatechartFactoryImpl extends EFactoryImpl implements SimpleStatechartFactory { + /** + * Creates the default factory implementation. + * + * + * @generated + */ + public static SimpleStatechartFactory init() { + try { + SimpleStatechartFactory theSimpleStatechartFactory = (SimpleStatechartFactory)EPackage.Registry.INSTANCE.getEFactory(SimpleStatechartPackage.eNS_URI); + if (theSimpleStatechartFactory != null) { + return theSimpleStatechartFactory; + } + } + catch (Exception exception) { + EcorePlugin.INSTANCE.log(exception); + } + return new SimpleStatechartFactoryImpl(); + } + + /** + * Creates an instance of the factory. + * + * + * @generated + */ + public SimpleStatechartFactoryImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + public EObject create(EClass eClass) { + switch (eClass.getClassifierID()) { + case SimpleStatechartPackage.STATE: return createState(); + case SimpleStatechartPackage.ENTRY: return createEntry(); + case SimpleStatechartPackage.STATECHART: return createStatechart(); + default: + throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier"); + } + } + + /** + * + * + * @generated + */ + public State createState() { + StateImpl state = new StateImpl(); + return state; + } + + /** + * + * + * @generated + */ + public Entry createEntry() { + EntryImpl entry = new EntryImpl(); + return entry; + } + + /** + * + * + * @generated + */ + public Statechart createStatechart() { + StatechartImpl statechart = new StatechartImpl(); + return statechart; + } + + /** + * + * + * @generated + */ + public SimpleStatechartPackage getSimpleStatechartPackage() { + return (SimpleStatechartPackage)getEPackage(); + } + + /** + * + * + * @deprecated + * @generated + */ + @Deprecated + public static SimpleStatechartPackage getPackage() { + return SimpleStatechartPackage.eINSTANCE; + } + +} //SimpleStatechartFactoryImpl diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/SimpleStatechartPackageImpl.java b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/SimpleStatechartPackageImpl.java new file mode 100644 index 00000000..556157e4 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/SimpleStatechartPackageImpl.java @@ -0,0 +1,252 @@ +/** + */ +package simpleStatechart.impl; + +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.EPackage; +import org.eclipse.emf.ecore.EReference; + +import org.eclipse.emf.ecore.impl.EPackageImpl; + +import simpleStatechart.Entry; +import simpleStatechart.SimpleStatechartFactory; +import simpleStatechart.SimpleStatechartPackage; +import simpleStatechart.State; +import simpleStatechart.Statechart; + +/** + * + * An implementation of the model Package. + * + * @generated + */ +public class SimpleStatechartPackageImpl extends EPackageImpl implements SimpleStatechartPackage { + /** + * + * + * @generated + */ + private EClass stateEClass = null; + + /** + * + * + * @generated + */ + private EClass entryEClass = null; + + /** + * + * + * @generated + */ + private EClass statechartEClass = null; + + /** + * Creates an instance of the model Package, registered with + * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package + * package URI value. + *

Note: the correct way to create the package is via the static + * factory method {@link #init init()}, which also performs + * initialization of the package, or returns the registered package, + * if one already exists. + * + * + * @see org.eclipse.emf.ecore.EPackage.Registry + * @see simpleStatechart.SimpleStatechartPackage#eNS_URI + * @see #init() + * @generated + */ + private SimpleStatechartPackageImpl() { + super(eNS_URI, SimpleStatechartFactory.eINSTANCE); + } + + /** + * + * + * @generated + */ + private static boolean isInited = false; + + /** + * Creates, registers, and initializes the Package for this model, and for any others upon which it depends. + * + *

This method is used to initialize {@link SimpleStatechartPackage#eINSTANCE} when that field is accessed. + * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package. + * + * + * @see #eNS_URI + * @see #createPackageContents() + * @see #initializePackageContents() + * @generated + */ + public static SimpleStatechartPackage init() { + if (isInited) return (SimpleStatechartPackage)EPackage.Registry.INSTANCE.getEPackage(SimpleStatechartPackage.eNS_URI); + + // Obtain or create and register package + Object registeredSimpleStatechartPackage = EPackage.Registry.INSTANCE.get(eNS_URI); + SimpleStatechartPackageImpl theSimpleStatechartPackage = registeredSimpleStatechartPackage instanceof SimpleStatechartPackageImpl ? (SimpleStatechartPackageImpl)registeredSimpleStatechartPackage : new SimpleStatechartPackageImpl(); + + isInited = true; + + // Create package meta-data objects + theSimpleStatechartPackage.createPackageContents(); + + // Initialize created meta-data + theSimpleStatechartPackage.initializePackageContents(); + + // Mark meta-data to indicate it can't be changed + theSimpleStatechartPackage.freeze(); + + // Update the registry and return the package + EPackage.Registry.INSTANCE.put(SimpleStatechartPackage.eNS_URI, theSimpleStatechartPackage); + return theSimpleStatechartPackage; + } + + /** + * + * + * @generated + */ + public EClass getState() { + return stateEClass; + } + + /** + * + * + * @generated + */ + public EReference getState_Next() { + return (EReference)stateEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EClass getEntry() { + return entryEClass; + } + + /** + * + * + * @generated + */ + public EReference getEntry_Entry() { + return (EReference)entryEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EClass getStatechart() { + return statechartEClass; + } + + /** + * + * + * @generated + */ + public EReference getStatechart_State() { + return (EReference)statechartEClass.getEStructuralFeatures().get(0); + } + + /** + * + * + * @generated + */ + public EReference getStatechart_Entry() { + return (EReference)statechartEClass.getEStructuralFeatures().get(1); + } + + /** + * + * + * @generated + */ + public SimpleStatechartFactory getSimpleStatechartFactory() { + return (SimpleStatechartFactory)getEFactoryInstance(); + } + + /** + * + * + * @generated + */ + private boolean isCreated = false; + + /** + * Creates the meta-model objects for the package. This method is + * guarded to have no affect on any invocation but its first. + * + * + * @generated + */ + public void createPackageContents() { + if (isCreated) return; + isCreated = true; + + // Create classes and their features + stateEClass = createEClass(STATE); + createEReference(stateEClass, STATE__NEXT); + + entryEClass = createEClass(ENTRY); + createEReference(entryEClass, ENTRY__ENTRY); + + statechartEClass = createEClass(STATECHART); + createEReference(statechartEClass, STATECHART__STATE); + createEReference(statechartEClass, STATECHART__ENTRY); + } + + /** + * + * + * @generated + */ + private boolean isInitialized = false; + + /** + * Complete the initialization of the package and its meta-model. This + * method is guarded to have no affect on any invocation but its first. + * + * + * @generated + */ + public void initializePackageContents() { + if (isInitialized) return; + isInitialized = true; + + // Initialize package + setName(eNAME); + setNsPrefix(eNS_PREFIX); + setNsURI(eNS_URI); + + // Create type parameters + + // Set bounds for type parameters + + // Add supertypes to classes + + // Initialize classes, features, and operations; add parameters + initEClass(stateEClass, State.class, "State", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getState_Next(), this.getState(), null, "next", null, 0, -1, State.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(entryEClass, Entry.class, "Entry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getEntry_Entry(), this.getState(), null, "entry", null, 0, 1, Entry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + initEClass(statechartEClass, Statechart.class, "Statechart", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); + initEReference(getStatechart_State(), this.getState(), null, "state", null, 0, -1, Statechart.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + initEReference(getStatechart_Entry(), this.getEntry(), null, "entry", null, 1, 1, Statechart.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); + + // Create resource + createResource(eNS_URI); + } + +} //SimpleStatechartPackageImpl diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/StateImpl.java b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/StateImpl.java new file mode 100644 index 00000000..52b97a9d --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/StateImpl.java @@ -0,0 +1,133 @@ +/** + */ +package simpleStatechart.impl; + +import java.util.Collection; + +import org.eclipse.emf.common.util.EList; + +import org.eclipse.emf.ecore.EClass; + +import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; + +import org.eclipse.emf.ecore.util.EObjectResolvingEList; + +import simpleStatechart.SimpleStatechartPackage; +import simpleStatechart.State; + +/** + * + * An implementation of the model object 'State'. + * + *

+ * The following features are implemented: + *

+ *
    + *
  • {@link simpleStatechart.impl.StateImpl#getNext Next}
    • + *
+ * + * @generated + */ +public class StateImpl extends MinimalEObjectImpl.Container implements State { + /** + * The cached value of the '{@link #getNext() Next}' reference list. + * + * + * @see #getNext() + * @generated + * @ordered + */ + protected EList next; + + /** + * + * + * @generated + */ + protected StateImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return SimpleStatechartPackage.Literals.STATE; + } + + /** + * + * + * @generated + */ + public EList getNext() { + if (next == null) { + next = new EObjectResolvingEList(State.class, this, SimpleStatechartPackage.STATE__NEXT); + } + return next; + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case SimpleStatechartPackage.STATE__NEXT: + return getNext(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case SimpleStatechartPackage.STATE__NEXT: + getNext().clear(); + getNext().addAll((Collection)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case SimpleStatechartPackage.STATE__NEXT: + getNext().clear(); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case SimpleStatechartPackage.STATE__NEXT: + return next != null && !next.isEmpty(); + } + return super.eIsSet(featureID); + } + +} //StateImpl diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/StatechartImpl.java b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/StatechartImpl.java new file mode 100644 index 00000000..cef2ee61 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/impl/StatechartImpl.java @@ -0,0 +1,221 @@ +/** + */ +package simpleStatechart.impl; + +import java.util.Collection; + +import org.eclipse.emf.common.notify.Notification; +import org.eclipse.emf.common.notify.NotificationChain; + +import org.eclipse.emf.common.util.EList; + +import org.eclipse.emf.ecore.EClass; +import org.eclipse.emf.ecore.InternalEObject; + +import org.eclipse.emf.ecore.impl.ENotificationImpl; +import org.eclipse.emf.ecore.impl.MinimalEObjectImpl; + +import org.eclipse.emf.ecore.util.EObjectContainmentEList; +import org.eclipse.emf.ecore.util.InternalEList; + +import simpleStatechart.Entry; +import simpleStatechart.SimpleStatechartPackage; +import simpleStatechart.State; +import simpleStatechart.Statechart; + +/** + * + * An implementation of the model object 'Statechart'. + * + *

+ * The following features are implemented: + *

+ *
    + *
  • {@link simpleStatechart.impl.StatechartImpl#getState State}
    • + *
  • {@link simpleStatechart.impl.StatechartImpl#getEntry Entry}
    • + *
+ * + * @generated + */ +public class StatechartImpl extends MinimalEObjectImpl.Container implements Statechart { + /** + * The cached value of the '{@link #getState() State}' containment reference list. + * + * + * @see #getState() + * @generated + * @ordered + */ + protected EList state; + + /** + * The cached value of the '{@link #getEntry() Entry}' containment reference. + * + * + * @see #getEntry() + * @generated + * @ordered + */ + protected Entry entry; + + /** + * + * + * @generated + */ + protected StatechartImpl() { + super(); + } + + /** + * + * + * @generated + */ + @Override + protected EClass eStaticClass() { + return SimpleStatechartPackage.Literals.STATECHART; + } + + /** + * + * + * @generated + */ + public EList getState() { + if (state == null) { + state = new EObjectContainmentEList(State.class, this, SimpleStatechartPackage.STATECHART__STATE); + } + return state; + } + + /** + * + * + * @generated + */ + public Entry getEntry() { + return entry; + } + + /** + * + * + * @generated + */ + public NotificationChain basicSetEntry(Entry newEntry, NotificationChain msgs) { + Entry oldEntry = entry; + entry = newEntry; + if (eNotificationRequired()) { + ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, SimpleStatechartPackage.STATECHART__ENTRY, oldEntry, newEntry); + if (msgs == null) msgs = notification; else msgs.add(notification); + } + return msgs; + } + + /** + * + * + * @generated + */ + public void setEntry(Entry newEntry) { + if (newEntry != entry) { + NotificationChain msgs = null; + if (entry != null) + msgs = ((InternalEObject)entry).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - SimpleStatechartPackage.STATECHART__ENTRY, null, msgs); + if (newEntry != null) + msgs = ((InternalEObject)newEntry).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - SimpleStatechartPackage.STATECHART__ENTRY, null, msgs); + msgs = basicSetEntry(newEntry, msgs); + if (msgs != null) msgs.dispatch(); + } + else if (eNotificationRequired()) + eNotify(new ENotificationImpl(this, Notification.SET, SimpleStatechartPackage.STATECHART__ENTRY, newEntry, newEntry)); + } + + /** + * + * + * @generated + */ + @Override + public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { + switch (featureID) { + case SimpleStatechartPackage.STATECHART__STATE: + return ((InternalEList)getState()).basicRemove(otherEnd, msgs); + case SimpleStatechartPackage.STATECHART__ENTRY: + return basicSetEntry(null, msgs); + } + return super.eInverseRemove(otherEnd, featureID, msgs); + } + + /** + * + * + * @generated + */ + @Override + public Object eGet(int featureID, boolean resolve, boolean coreType) { + switch (featureID) { + case SimpleStatechartPackage.STATECHART__STATE: + return getState(); + case SimpleStatechartPackage.STATECHART__ENTRY: + return getEntry(); + } + return super.eGet(featureID, resolve, coreType); + } + + /** + * + * + * @generated + */ + @SuppressWarnings("unchecked") + @Override + public void eSet(int featureID, Object newValue) { + switch (featureID) { + case SimpleStatechartPackage.STATECHART__STATE: + getState().clear(); + getState().addAll((Collection)newValue); + return; + case SimpleStatechartPackage.STATECHART__ENTRY: + setEntry((Entry)newValue); + return; + } + super.eSet(featureID, newValue); + } + + /** + * + * + * @generated + */ + @Override + public void eUnset(int featureID) { + switch (featureID) { + case SimpleStatechartPackage.STATECHART__STATE: + getState().clear(); + return; + case SimpleStatechartPackage.STATECHART__ENTRY: + setEntry((Entry)null); + return; + } + super.eUnset(featureID); + } + + /** + * + * + * @generated + */ + @Override + public boolean eIsSet(int featureID) { + switch (featureID) { + case SimpleStatechartPackage.STATECHART__STATE: + return state != null && !state.isEmpty(); + case SimpleStatechartPackage.STATECHART__ENTRY: + return entry != null; + } + return super.eIsSet(featureID); + } + +} //StatechartImpl diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/util/SimpleStatechartAdapterFactory.java b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/util/SimpleStatechartAdapterFactory.java new file mode 100644 index 00000000..908a7f5f --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/util/SimpleStatechartAdapterFactory.java @@ -0,0 +1,156 @@ +/** + */ +package simpleStatechart.util; + +import org.eclipse.emf.common.notify.Adapter; +import org.eclipse.emf.common.notify.Notifier; + +import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl; + +import org.eclipse.emf.ecore.EObject; + +import simpleStatechart.*; + +/** + * + * The Adapter Factory for the model. + * It provides an adapter createXXX method for each class of the model. + * + * @see simpleStatechart.SimpleStatechartPackage + * @generated + */ +public class SimpleStatechartAdapterFactory extends AdapterFactoryImpl { + /** + * The cached model package. + * + * + * @generated + */ + protected static SimpleStatechartPackage modelPackage; + + /** + * Creates an instance of the adapter factory. + * + * + * @generated + */ + public SimpleStatechartAdapterFactory() { + if (modelPackage == null) { + modelPackage = SimpleStatechartPackage.eINSTANCE; + } + } + + /** + * Returns whether this factory is applicable for the type of the object. + * + * This implementation returns true if the object is either the model's package or is an instance object of the model. + * + * @return whether this factory is applicable for the type of the object. + * @generated + */ + @Override + public boolean isFactoryForType(Object object) { + if (object == modelPackage) { + return true; + } + if (object instanceof EObject) { + return ((EObject)object).eClass().getEPackage() == modelPackage; + } + return false; + } + + /** + * The switch that delegates to the createXXX methods. + * + * + * @generated + */ + protected SimpleStatechartSwitch modelSwitch = + new SimpleStatechartSwitch() { + @Override + public Adapter caseState(State object) { + return createStateAdapter(); + } + @Override + public Adapter caseEntry(Entry object) { + return createEntryAdapter(); + } + @Override + public Adapter caseStatechart(Statechart object) { + return createStatechartAdapter(); + } + @Override + public Adapter defaultCase(EObject object) { + return createEObjectAdapter(); + } + }; + + /** + * Creates an adapter for the target. + * + * + * @param target the object to adapt. + * @return the adapter for the target. + * @generated + */ + @Override + public Adapter createAdapter(Notifier target) { + return modelSwitch.doSwitch((EObject)target); + } + + + /** + * Creates a new adapter for an object of class '{@link simpleStatechart.State State}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see simpleStatechart.State + * @generated + */ + public Adapter createStateAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link simpleStatechart.Entry Entry}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see simpleStatechart.Entry + * @generated + */ + public Adapter createEntryAdapter() { + return null; + } + + /** + * Creates a new adapter for an object of class '{@link simpleStatechart.Statechart Statechart}'. + * + * This default implementation returns null so that we can easily ignore cases; + * it's useful to ignore a case when inheritance will catch all the cases anyway. + * + * @return the new adapter. + * @see simpleStatechart.Statechart + * @generated + */ + public Adapter createStatechartAdapter() { + return null; + } + + /** + * Creates a new adapter for the default case. + * + * This default implementation returns null. + * + * @return the new adapter. + * @generated + */ + public Adapter createEObjectAdapter() { + return null; + } + +} //SimpleStatechartAdapterFactory diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/util/SimpleStatechartSwitch.java b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/util/SimpleStatechartSwitch.java new file mode 100644 index 00000000..30c60e74 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/src/simpleStatechart/util/SimpleStatechartSwitch.java @@ -0,0 +1,152 @@ +/** + */ +package simpleStatechart.util; + +import org.eclipse.emf.ecore.EObject; +import org.eclipse.emf.ecore.EPackage; + +import org.eclipse.emf.ecore.util.Switch; + +import simpleStatechart.*; + +/** + * + * The Switch for the model's inheritance hierarchy. + * It supports the call {@link #doSwitch(EObject) doSwitch(object)} + * to invoke the caseXXX method for each class of the model, + * starting with the actual class of the object + * and proceeding up the inheritance hierarchy + * until a non-null result is returned, + * which is the result of the switch. + * + * @see simpleStatechart.SimpleStatechartPackage + * @generated + */ +public class SimpleStatechartSwitch extends Switch { + /** + * The cached model package + * + * + * @generated + */ + protected static SimpleStatechartPackage modelPackage; + + /** + * Creates an instance of the switch. + * + * + * @generated + */ + public SimpleStatechartSwitch() { + if (modelPackage == null) { + modelPackage = SimpleStatechartPackage.eINSTANCE; + } + } + + /** + * Checks whether this is a switch for the given package. + * + * + * @param ePackage the package in question. + * @return whether this is a switch for the given package. + * @generated + */ + @Override + protected boolean isSwitchFor(EPackage ePackage) { + return ePackage == modelPackage; + } + + /** + * Calls caseXXX for each class of the model until one returns a non null result; it yields that result. + * + * + * @return the first non-null result returned by a caseXXX call. + * @generated + */ + @Override + protected T doSwitch(int classifierID, EObject theEObject) { + switch (classifierID) { + case SimpleStatechartPackage.STATE: { + State state = (State)theEObject; + T result = caseState(state); + if (result == null) result = defaultCase(theEObject); + return result; + } + case SimpleStatechartPackage.ENTRY: { + Entry entry = (Entry)theEObject; + T result = caseEntry(entry); + if (result == null) result = defaultCase(theEObject); + return result; + } + case SimpleStatechartPackage.STATECHART: { + Statechart statechart = (Statechart)theEObject; + T result = caseStatechart(statechart); + if (result == null) result = defaultCase(theEObject); + return result; + } + default: return defaultCase(theEObject); + } + } + + /** + * Returns the result of interpreting the object as an instance of 'State'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'State'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseState(State object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Entry'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Entry'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseEntry(Entry object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'Statechart'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'Statechart'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) + * @generated + */ + public T caseStatechart(Statechart object) { + return null; + } + + /** + * Returns the result of interpreting the object as an instance of 'EObject'. + * + * This implementation returns null; + * returning a non-null result will terminate the switch, but this is the last case anyway. + * + * @param object the target of the switch. + * @return the result of interpreting the object as an instance of 'EObject'. + * @see #doSwitch(org.eclipse.emf.ecore.EObject) + * @generated + */ + @Override + public T defaultCase(EObject object) { + return null; + } + +} //SimpleStatechartSwitch diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/.CSERposterSample.xtendbin b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/.CSERposterSample.xtendbin index 2db9fecc..50bd73de 100644 Binary files a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/.CSERposterSample.xtendbin and b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/.CSERposterSample.xtendbin differ diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/CSERposterSample.java b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/CSERposterSample.java index ee5069d7..b67728e8 100644 --- a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/CSERposterSample.java +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/examples/CSERposterSample.java @@ -38,6 +38,7 @@ import org.eclipse.xtext.xbase.lib.Exceptions; import org.eclipse.xtext.xbase.lib.Functions.Function1; import org.eclipse.xtext.xbase.lib.InputOutput; import org.eclipse.xtext.xbase.lib.IterableExtensions; +import simpleStatechart.SimpleStatechartPackage; @SuppressWarnings("all") public class CSERposterSample { @@ -53,6 +54,10 @@ public class CSERposterSample { private final static int depth = 1; + private final static String REALISTIC = "simpleSCRealistic"; + + private final static String IRREALISTIC = "simpleSCIrrealistic"; + public static void main(final String[] args) { try { Map _extensionToFactoryMap = Resource.Factory.Registry.INSTANCE.getExtensionToFactoryMap(); @@ -60,9 +65,10 @@ public class CSERposterSample { _extensionToFactoryMap.put("*", _xMIResourceFactoryImpl); YakindummPackage.eINSTANCE.eClass(); LinkedListPackage.eINSTANCE.eClass(); + SimpleStatechartPackage.eINSTANCE.eClass(); ReteEngine.class.getClass(); final String outputs = "outputs"; - final String instModName = "realisticModel"; + final String instModName = CSERposterSample.REALISTIC; StringConcatenation _builder = new StringConcatenation(); _builder.append("resources"); final FileSystemWorkspace workspace = new FileSystemWorkspace(_builder.toString(), ""); @@ -92,7 +98,7 @@ public class CSERposterSample { writer.print(CSERposterSample.partialVisualizer.transform(partialModelOutput)); writer.close(); final NeighbourhoodWithTraces, AbstractNodeDescriptor> hood = CSERposterSample.neighbourhoodComputer.createRepresentation(partialModelOutput, CSERposterSample.depth, Integer.MAX_VALUE, Integer.MAX_VALUE); - final PrintWriter w2 = new PrintWriter((((outputs + "/") + instModName) + "NEIGHBOURHOOD.gml")); + final PrintWriter w2 = new PrintWriter(((((outputs + "/") + instModName) + Integer.valueOf(CSERposterSample.depth)) + "NEIGHBOURHOOD.gml")); w2.print(CSERposterSample.neighbourhoodVisualizer.transform(hood, partialModelOutput)); w2.close(); InputOutput.println("visualization done"); -- cgit v1.2.3-54-g00ecf