Commit 634fe40b authored by André Pacak's avatar André Pacak
Browse files

benchmark is parametric in analysis

parent bb42d4b5
......@@ -45,6 +45,9 @@
<child id="1153952416686" name="body" index="2GV8ay" />
<child id="1153952429843" name="finallyBody" index="2GVbov" />
</concept>
<concept id="2820489544401957797" name="jetbrains.mps.baseLanguage.structure.DefaultClassCreator" flags="nn" index="HV5vD">
<reference id="2820489544401957798" name="classifier" index="HV5vE" />
</concept>
<concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
<child id="1197027771414" name="operand" index="2Oq$k0" />
<child id="1197027833540" name="operation" index="2OqNvi" />
......@@ -115,7 +118,6 @@
<reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
<child id="1068499141038" name="actualArgument" index="37wK5m" />
</concept>
<concept id="1212685548494" name="jetbrains.mps.baseLanguage.structure.ClassCreator" flags="nn" index="1pGfFk" />
<concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
<reference id="1107535924139" name="classifier" index="3uigEE" />
</concept>
......@@ -490,11 +492,21 @@
<ref role="3uigEE" to="49o:75UymJIFJjC" resolve="AnalysisResultAccess" />
</node>
<node concept="2ShNRf" id="6HKiFajdTln" role="33vP2m">
<node concept="1pGfFk" id="6HKiFajdTlm" role="2ShVmc">
<ref role="37wK5l" to="49o:6HKiFajdFgi" resolve="AnalysisResultAccess" />
<node concept="37vLTw" id="6HKiFajdTlH" role="37wK5m">
<ref role="3cqZAo" node="VcfMLFPDCA" resolve="model" />
</node>
<node concept="HV5vD" id="1qgtRARLEo_" role="2ShVmc">
<ref role="HV5vE" to="49o:75UymJIFJjC" resolve="AnalysisResultAccess" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="1qgtRARLHPn" role="3cqZAp">
<node concept="2OqwBi" id="1qgtRARLI6O" role="3clFbG">
<node concept="37vLTw" id="1qgtRARLHPl" role="2Oq$k0">
<ref role="3cqZAo" node="6HKiFajdRbR" resolve="resultAccess" />
</node>
<node concept="liA8E" id="1qgtRARLIQA" role="2OqNvi">
<ref role="37wK5l" to="49o:1qgtRARH2jZ" resolve="initialize" />
<node concept="37vLTw" id="1qgtRARLIRw" role="37wK5m">
<ref role="3cqZAo" node="VcfMLFPDCA" resolve="model" />
</node>
</node>
</node>
......@@ -509,7 +521,7 @@
<ref role="3cqZAo" node="6HKiFajdRbR" resolve="resultAccess" />
</node>
<node concept="liA8E" id="6HKiFajdYbI" role="2OqNvi">
<ref role="37wK5l" to="49o:6HKiFajdJKR" resolve="observeChange" />
<ref role="37wK5l" to="49o:1qgtRARH2Xx" resolve="isWellTyped" />
<node concept="2OqwBi" id="6HKiFajdZg8" role="37wK5m">
<node concept="37vLTw" id="6HKiFajdYDd" role="2Oq$k0">
<ref role="3cqZAo" node="VcfMLFPH$y" resolve="elem" />
......
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:643fd2cc-24f9-4234-81b0-5ec221d50839(template)">
<persistence version="9" />
<languages>
<use id="b802a056-92a2-4fbc-902e-f8e5004c331f" name="org.inca.core" version="0" />
<use id="cd2909da-ecb4-49dc-b176-33e5c619e516" name="org.inca.gp" version="0" />
<use id="e6d2ffd5-9c56-41f8-99ac-9d1ceb13daa2" name="org.inca.data" version="2" />
<use id="8c9a2720-9d21-4370-a226-819eb3e76e1e" name="org.inca.fun" version="0" />
<use id="5a551d67-ba3f-49dc-b984-2ea4f8c9ad07" name="pcf.lang" version="0" />
<use id="3a1c1f85-c745-4d04-a210-f97a7e31f9cc" name="org.inca.extensions" version="0" />
<use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="8" />
</languages>
<imports>
<import index="jzuy" ref="r:6e7dd948-f19c-43a8-9d13-11db5e2eb071(pcf.lang.structure)" />
<import index="hqsm" ref="r:aa4c3470-43ab-4dad-b73e-20da0ee43be1(org.inca.core.structure)" />
<import index="l0z0" ref="7766a138-716a-422a-9c88-131459fb8d6a/java:io.usethesource.capsule(org.inca.core.runtime/)" />
<import index="guwi" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.io(JDK/)" />
<import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" />
</imports>
<registry>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
<concept id="1465982738277781862" name="jetbrains.mps.baseLanguage.structure.PlaceholderMember" flags="ng" index="2tJIrI" />
<concept id="1070534370425" name="jetbrains.mps.baseLanguage.structure.IntegerType" flags="in" index="10Oyi0" />
<concept id="1070534644030" name="jetbrains.mps.baseLanguage.structure.BooleanType" flags="in" index="10P_77" />
<concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
<property id="1176718929932" name="isFinal" index="3TUv4t" />
</concept>
<concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
<concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
<child id="5680397130376446158" name="type" index="1tU5fm" />
</concept>
<concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
<child id="1068580123133" name="returnType" index="3clF45" />
<child id="1068580123134" name="parameter" index="3clF46" />
<child id="1068580123135" name="body" index="3clF47" />
</concept>
<concept id="1068580123165" name="jetbrains.mps.baseLanguage.structure.InstanceMethodDeclaration" flags="ig" index="3clFb_" />
<concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS" />
<concept id="1068581517677" name="jetbrains.mps.baseLanguage.structure.VoidType" flags="in" index="3cqZAl" />
<concept id="1107461130800" name="jetbrains.mps.baseLanguage.structure.Classifier" flags="ng" index="3pOWGL">
<child id="5375687026011219971" name="member" index="jymVt" unordered="true" />
</concept>
<concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
<child id="1178549979242" name="visibility" index="1B3o_S" />
</concept>
<concept id="1107796713796" name="jetbrains.mps.baseLanguage.structure.Interface" flags="ig" index="3HP615" />
<concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
</language>
<language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
<concept id="1143226024141" name="jetbrains.mps.lang.smodel.structure.SModelType" flags="in" index="H_c77" />
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
<reference id="1138405853777" name="concept" index="ehGHo" />
</concept>
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="3HP615" id="1qgtRARH0vS">
<property role="TrG5h" value="IAnalysisResultAccess" />
<node concept="2tJIrI" id="1qgtRARH0vT" role="jymVt" />
<node concept="3clFb_" id="1qgtRARH0vU" role="jymVt">
<property role="TrG5h" value="initialize" />
<node concept="3clFbS" id="1qgtRARH0vY" role="3clF47" />
<node concept="3Tm1VV" id="1qgtRARH0vZ" role="1B3o_S" />
<node concept="3cqZAl" id="1qgtRARH0w0" role="3clF45" />
<node concept="37vLTG" id="1qgtRARJY8F" role="3clF46">
<property role="3TUv4t" value="true" />
<property role="TrG5h" value="scope" />
<node concept="H_c77" id="1qgtRARJYb3" role="1tU5fm" />
</node>
</node>
<node concept="3Tm1VV" id="1qgtRARH0vV" role="1B3o_S" />
<node concept="3clFb_" id="1qgtRARH0vW" role="jymVt">
<property role="TrG5h" value="getNumberOfAllTuples" />
<node concept="3clFbS" id="1qgtRARH0w1" role="3clF47" />
<node concept="3Tm1VV" id="1qgtRARH0w2" role="1B3o_S" />
<node concept="10Oyi0" id="1qgtRARH0w3" role="3clF45" />
</node>
<node concept="3clFb_" id="1qgtRARH0vX" role="jymVt">
<property role="TrG5h" value="isWellTyped" />
<node concept="3clFbS" id="1qgtRARH0w4" role="3clF47" />
<node concept="3Tm1VV" id="1qgtRARH0w5" role="1B3o_S" />
<node concept="10P_77" id="1qgtRARH0w6" role="3clF45" />
<node concept="37vLTG" id="1qgtRARH0w7" role="3clF46">
<property role="TrG5h" value="root" />
<node concept="3Tqbb2" id="1qgtRARH0w8" role="1tU5fm">
<ref role="ehGHo" to="jzuy:1Da9ityUTbh" resolve="Term" />
</node>
</node>
</node>
</node>
</model>
......@@ -24,6 +24,7 @@
<language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
<language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="1" />
<language slang="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" version="2" />
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:63650c59-16c8-498a-99c8-005c7ee9515d:jetbrains.mps.lang.access" version="0" />
<language slang="l:fe9d76d7-5809-45c9-ae28-a40915b4d6ff:jetbrains.mps.lang.checkedName" version="0" />
<language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="1" />
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment