Commit c46cc481 authored by André Pacak's avatar André Pacak

some progress of test automation

parent ec6e73b6
This source diff could not be displayed because it is too large. You can view the blob instead.
......@@ -10,7 +10,7 @@
<dependency reexport="false">08d23328-33fa-47ce-89df-daaa7554f251(SumTypes)</dependency>
<dependency reexport="false">e6d2ffd5-9c56-41f8-99ac-9d1ceb13daa2(org.inca.data)</dependency>
<dependency reexport="false">7766a138-716a-422a-9c88-131459fb8d6a(org.inca.core.runtime)</dependency>
<dependency reexport="false">fa077e06-ce43-4164-ba7a-0c94079d2b21(SLE_vision_solution)</dependency>
<dependency reexport="false">9c179615-5b01-47d6-8747-de24f81c45dc(org.inca.data.test.lang)</dependency>
</dependencies>
<languageVersions>
<language slang="l:08d23328-33fa-47ce-89df-daaa7554f251:SumTypes" version="0" />
......@@ -20,6 +20,7 @@
<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:f61473f9-130f-42f6-b98d-6c438812c2f6:jetbrains.mps.baseLanguage.unitTest" version="1" />
<language slang="l:63650c59-16c8-498a-99c8-005c7ee9515d:jetbrains.mps.lang.access" version="0" />
<language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="1" />
<language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
<language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="13" />
......@@ -40,7 +41,6 @@
<module reference="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" version="0" />
<module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
<module reference="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" version="0" />
<module reference="fa077e06-ce43-4164-ba7a-0c94079d2b21(SLE_vision_solution)" version="0" />
<module reference="08d23328-33fa-47ce-89df-daaa7554f251(SumTypes)" version="0" />
<module reference="2e8edb88-7cd1-4480-a5ad-6fcc0f1ba802(SumTypes_Checker)" version="0" />
<module reference="f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)" version="0" />
......@@ -59,6 +59,7 @@
<module reference="7766a138-716a-422a-9c88-131459fb8d6a(org.inca.core.runtime)" version="0" />
<module reference="bc791f96-4749-4311-a6e4-241e47ca97f9(org.inca.core.util)" version="0" />
<module reference="e6d2ffd5-9c56-41f8-99ac-9d1ceb13daa2(org.inca.data)" version="0" />
<module reference="9c179615-5b01-47d6-8747-de24f81c45dc(org.inca.data.test.lang)" version="0" />
<module reference="8c9a2720-9d21-4370-a226-819eb3e76e1e(org.inca.fun)" version="0" />
<module reference="cd2909da-ecb4-49dc-b176-33e5c619e516(org.inca.gp)" version="0" />
</dependencyVersions>
......
<?xml version="1.0" encoding="UTF-8"?>
<debug-info version="2">
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1160998861373:jetbrains.mps.baseLanguage.structure.AssertStatement" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123140:jetbrains.mps.baseLanguage.structure.ConstructorDeclaration" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123155:jetbrains.mps.baseLanguage.structure.ExpressionStatement" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068390468200:jetbrains.mps.baseLanguage.structure.FieldDeclaration" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123165:jetbrains.mps.baseLanguage.structure.InstanceMethodDeclaration" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1068581242864:jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/6329021646629104954:jetbrains.mps.baseLanguage.structure.SingleLineComment" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1070462154015:jetbrains.mps.baseLanguage.structure.StaticFieldDeclaration" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1070475587102:jetbrains.mps.baseLanguage.structure.SuperConstructorInvocation" />
<concept fqn="c:f3061a53-9226-4cc5-a443-f952ceaf5816/1153952380246:jetbrains.mps.baseLanguage.structure.TryStatement" />
<root nodeRef="r:40275729-d292-4df4-92d1-2d1c29664fef(SumTypes_Checker.tests@tests)/7797870059170749016">
<file name="Temporary_Test.java">
<node id="7797870059170749016" at="22,27,23,25" concept="5" />
<node id="7797870059170749017" at="27,44,28,50" concept="1" />
<node id="7797870059170749016" at="33,52,34,19" concept="5" />
<node id="7797870059170749016" at="17,0,19,0" concept="4" trace="ourParamCache" />
<node id="7797870059170749016" at="19,0,21,0" concept="2" trace="myWithCommandRule" />
<node id="7797870059170749017" at="37,0,39,0" concept="3" trace="test_temp#()V" />
<node id="7797870059170749016" at="22,0,25,0" concept="0" trace="Temporary_Test#()V" />
<node id="7797870059170749016" at="33,0,36,0" concept="0" trace="TestBody#(Ljetbrains/mps/lang/test/runtime/TransformationTest;)V" />
<node id="7797870059170749017" at="26,0,30,0" concept="3" trace="test_temp#()V" />
<scope id="7797870059170749017" at="37,46,37,46" />
<scope id="7797870059170749016" at="22,27,23,25" />
<scope id="7797870059170749017" at="27,44,28,50" />
<scope id="7797870059170749016" at="33,52,34,19" />
<scope id="7797870059170749017" at="37,0,39,0" />
<scope id="7797870059170749016" at="22,0,25,0" />
<scope id="7797870059170749016" at="33,0,36,0">
<node id="7797870059170749016" at="33,27,34,25" concept="8" />
<node id="7797870059170749017" at="38,44,39,50" concept="2" />
<node id="7797870059170749016" at="44,52,45,19" concept="8" />
<node id="2580730847075558027" at="48,46,49,63" concept="5" />
<node id="2580730847075572528" at="49,63,50,97" concept="6" />
<node id="2580730847075571873" at="50,97,51,206" concept="5" />
<node id="2580730847075622316" at="51,206,52,199" concept="5" />
<node id="2580730847075698258" at="55,29,56,229" concept="5" />
<node id="1066296671772405358" at="56,229,57,245" concept="5" />
<node id="1066296671772421896" at="57,245,58,27" concept="0" />
<node id="2580730847075635431" at="61,17,62,57" concept="2" />
<node id="7797870059170749016" at="28,0,30,0" concept="7" trace="ourParamCache" />
<node id="7797870059170749016" at="30,0,32,0" concept="3" trace="myWithCommandRule" />
<node id="7797870059170749016" at="33,0,36,0" concept="1" trace="Temporary_Test#()V" />
<node id="7797870059170749016" at="44,0,47,0" concept="1" trace="TestBody#(Ljetbrains/mps/lang/test/runtime/TransformationTest;)V" />
<node id="7797870059170749017" at="37,0,41,0" concept="4" trace="test_test#()V" />
<node id="2580730847075562209" at="55,0,60,0" concept="4" trace="run#()V" />
<node id="2580730847075562208" at="53,11,60,11" concept="2" />
<node id="2580730847075555196" at="52,199,63,7" concept="9" />
<node id="7797870059170749017" at="48,0,65,0" concept="4" trace="test_test#()V" />
<scope id="7797870059170749016" at="33,27,34,25" />
<scope id="7797870059170749017" at="38,44,39,50" />
<scope id="7797870059170749016" at="44,52,45,19" />
<scope id="2580730847075555198" at="61,17,62,57" />
<scope id="7797870059170749016" at="33,0,36,0" />
<scope id="7797870059170749016" at="44,0,47,0">
<var name="owner" id="7797870059170749016" />
</scope>
<scope id="7797870059170749017" at="26,0,30,0" />
<unit id="7797870059170749016" at="31,0,42,0" name="SumTypes_Checker.tests.Temporary_Test$TestBody" />
<unit id="7797870059170749016" at="15,0,43,0" name="SumTypes_Checker.tests.Temporary_Test" />
<scope id="2580730847075562210" at="55,29,58,27">
<var name="elem" id="2580730847075698256" />
<var name="success" id="1066296671772405356" />
</scope>
<scope id="7797870059170749017" at="37,0,41,0" />
<scope id="2580730847075562209" at="55,0,60,0" />
<scope id="2580730847075555197" at="53,11,60,11" />
<scope id="7797870059170749017" at="48,46,63,7">
<var name="analysisModel" id="2580730847075622314" />
<var name="instanceModel" id="2580730847075571876" />
<var name="repository" id="2580730847075558025" />
</scope>
<scope id="7797870059170749017" at="48,0,65,0" />
<unit id="2580730847075562209" at="54,54,60,9" name="SumTypes_Checker.tests.Temporary_Test$TestBody$1" />
<unit id="7797870059170749016" at="42,0,68,0" name="SumTypes_Checker.tests.Temporary_Test$TestBody" />
<unit id="7797870059170749016" at="26,0,69,0" name="SumTypes_Checker.tests.Temporary_Test" />
</file>
</root>
</debug-info>
......
......@@ -13,23 +13,10 @@
<concept id="5790571747095872620" name="SumTypes.structure.Module" flags="ng" index="1gj3CZ">
<child id="5790571747095872621" name="elems" index="1gj3CY" />
</concept>
<concept id="1894367444356272954" name="SumTypes.structure.Let" flags="ng" index="1SCrot">
<child id="1894367444356272974" name="bound" index="1SCrpD" />
<child id="1894367444356272978" name="body" index="1SCrpP" />
</concept>
<concept id="1894367444356272898" name="SumTypes.structure.Add" flags="ng" index="1SCro_">
<child id="1894367444356272903" name="t1" index="1SCrow" />
<child id="1894367444356272907" name="t2" index="1SCroG" />
</concept>
<concept id="1894367444356272914" name="SumTypes.structure.Mult" flags="ng" index="1SCroP">
<child id="1894367444356272919" name="t1" index="1SCroK" />
<child id="1894367444356272923" name="t2" index="1SCroW" />
<concept id="1894367444356272930" name="SumTypes.structure.Lam" flags="ng" index="1SCro5">
<child id="1894367444356272950" name="t" index="1SCroh" />
</concept>
<concept id="1894367444356272864" name="SumTypes.structure.Var" flags="ng" index="1SCrv7" />
<concept id="1894367444356272855" name="SumTypes.structure.Succ" flags="ng" index="1SCrvK">
<child id="1894367444356272860" name="t" index="1SCrvV" />
</concept>
<concept id="1894367444356272850" name="SumTypes.structure.Zero" flags="ng" index="1SCrvP" />
</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">
......@@ -38,26 +25,13 @@
</language>
</registry>
<node concept="1gj3CZ" id="6KRAo41FxLX">
<property role="TrG5h" value="TestOKLetWithArithmetic" />
<property role="TrG5h" value="TestOkLetWithArithmetic" />
<node concept="2BHCoM" id="7Sr$8awKfLY" role="1gj3CY">
<property role="TrG5h" value="test" />
<node concept="1SCrot" id="7Sr$8awKfMR" role="2BHfFu">
<node concept="1SCro5" id="38MBpdjBbKz" role="2BHfFu">
<property role="TrG5h" value="x" />
<node concept="1SCro_" id="7Sr$8awKfMY" role="1SCrpD">
<node concept="1SCrvP" id="7Sr$8awKfN7" role="1SCrow" />
<node concept="1SCrvK" id="7Sr$8awKfNs" role="1SCroG">
<node concept="1SCrvP" id="7Sr$8awKfNz" role="1SCrvV" />
</node>
</node>
<node concept="1SCroP" id="7Sr$8awKfNA" role="1SCrpP">
<node concept="1SCrv7" id="7Sr$8awKfNK" role="1SCroK">
<property role="TrG5h" value="x" />
</node>
<node concept="1SCrvK" id="7Sr$8awKfOc" role="1SCroW">
<node concept="1SCrvK" id="7Sr$8awKfOE" role="1SCrvV">
<node concept="1SCrvP" id="7Sr$8awKfOL" role="1SCrvV" />
</node>
</node>
<node concept="1SCrv7" id="1BU4o1$nk3c" role="1SCroh">
<property role="TrG5h" value="x" />
</node>
</node>
</node>
......
<?xml version="1.0" encoding="UTF-8"?>
<dependenciesRoot>
<dependency className="SumTypes_Checker.model.AnalysisResultAccess">
<classNode dependClassName="SumTypes_Checker.model.LType" />
<classNode dependClassName="SumTypes_Checker.model.Typing_InferQuerySpecification" />
<classNode dependClassName="java.lang.Object" />
<classNode dependClassName="java.lang.String" />
<classNode dependClassName="java.lang.System" />
<classNode dependClassName="java.util.Map" />
<classNode dependClassName="java.util.Set" />
<classNode dependClassName="jetbrains.mps.internal.collections.runtime.SetSequence" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.api.IPatternMatch" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.rete.matcher.DRedReteBackendFactory" />
<classNode dependClassName="org.inca.core.runtime.plugin.AbstractScope" />
<classNode dependClassName="org.inca.core.runtime.plugin.EnginePool" />
<classNode dependClassName="org.inca.core.util.plugin.CodeGenerationHelper" />
<classNode dependClassName="org.inca.data.runtime.plugin.CompositeMatcher" />
<classNode dependClassName="org.inca.data.runtime.plugin.IDataMatcher" />
<classNode dependClassName="org.inca.data.runtime.plugin.PatternMatcherException" />
<classNode dependClassName="org.inca.data.runtime.plugin.SequenceMatcher" />
<classNode dependClassName="org.inca.data.runtime.plugin.WildCardMatcher" />
<classNode dependClassName="org.jetbrains.mps.openapi.model.SModel" />
<classNode dependClassName="org.jetbrains.mps.openapi.model.SNode" />
</dependency>
<dependency className="SumTypes_Checker.model.ConstantDefinitions">
<classNode dependClassName="java.lang.SuppressWarnings" />
</dependency>
......@@ -1111,7 +1134,6 @@
</dependency>
<dependency className="SumTypes_Checker.model.Typing_Lookup_0_switchCommonQuerySpecification">
<classNode dependClassName="SumTypes_Checker.model.QuerySpecificationHints" />
<classNode dependClassName="SumTypes_Checker.model.Typing_AllvarsQuerySpecification" />
<classNode dependClassName="java.lang.Class" />
<classNode dependClassName="java.lang.Override" />
<classNode dependClassName="java.lang.String" />
......@@ -1122,22 +1144,15 @@
<classNode dependClassName="java.util.List" />
<classNode dependClassName="java.util.Set" />
<classNode dependClassName="jetbrains.mps.internal.collections.runtime.SetSequence" />
<classNode dependClassName="jetbrains.mps.smodel.adapter.structure.MetaAdapterFactory" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.api.ViatraQueryEngine" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.api.scope.QueryScope" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.exception.ViatraQueryException" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.matchers.psystem.PBody" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.matchers.psystem.PVariable" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Equality" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.PositivePatternCall" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.matchers.psystem.queries.QueryInitializationException" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.matchers.tuple.Tuples" />
<classNode dependClassName="org.inca.core.runtime.plugin.AbstractPQuery" />
<classNode dependClassName="org.inca.core.runtime.plugin.AbstractScope" />
<classNode dependClassName="org.inca.core.runtime.plugin.ConceptKey" />
<classNode dependClassName="org.inca.core.runtime.plugin.MPSGenericPatternMatcher" />
<classNode dependClassName="org.inca.core.runtime.plugin.MPSQuerySpecificationHints" />
<classNode extendsClassName="org.inca.core.runtime.plugin.MPSQuerySpecification" />
......
<?xml version="1.0" encoding="UTF-8"?>
<product version="3" modelHash="-7qwmeollvfxju5hj5sqrtgpilfan4hu">
<files names="ConstantDefinitions.java:LType.java:QuerySpecificationHints.java:Typing_AllvarsQuerySpecification.java:Typing_Allvars_0_switchCommonQuerySpecification.java:Typing_AsLTypeQuerySpecification.java:Typing_AsLType_0_switchCommonQuerySpecification.java:Typing_AsLType_WrappedBody0QuerySpecification.java:Typing_AsLType_WrappedBody1QuerySpecification.java:Typing_AsLType_WrappedBody2QuerySpecification.java:Typing_AsLType_WrappedBody3QuerySpecification.java:Typing_AsLType_WrappedQuerySpecification.java:Typing_CheckErrorQuerySpecification.java:Typing_CheckQuerySpecification.java:Typing_Check_0_switchCommonQuerySpecification.java:Typing_InferQuerySpecification.java:Typing_Infer_0_switchCommonQuerySpecification.java:Typing_Infer_WrappedBody0QuerySpecification.java:Typing_Infer_WrappedBody1QuerySpecification.java:Typing_Infer_WrappedBody2QuerySpecification.java:Typing_Infer_WrappedBody3QuerySpecification.java:Typing_Infer_WrappedBody4QuerySpecification.java:Typing_Infer_WrappedBody5QuerySpecification.java:Typing_Infer_WrappedBody6QuerySpecification.java:Typing_Infer_WrappedBody7QuerySpecification.java:Typing_Infer_WrappedBody8QuerySpecification.java:Typing_Infer_WrappedBody9QuerySpecification.java:Typing_Infer_WrappedQuerySpecification.java:Typing_LookupFailureQuerySpecification.java:Typing_LookupFailure_0_switchCommonQuerySpecification.java:Typing_LookupQuerySpecification.java:Typing_Lookup_0_switchCommonQuerySpecification.java:Typing_Lookup_WrappedBody0QuerySpecification.java:Typing_Lookup_WrappedBody10QuerySpecification.java:Typing_Lookup_WrappedBody11QuerySpecification.java:Typing_Lookup_WrappedBody12QuerySpecification.java:Typing_Lookup_WrappedBody13QuerySpecification.java:Typing_Lookup_WrappedBody14QuerySpecification.java:Typing_Lookup_WrappedBody15QuerySpecification.java:Typing_Lookup_WrappedBody16QuerySpecification.java:Typing_Lookup_WrappedBody17QuerySpecification.java:Typing_Lookup_WrappedBody18QuerySpecification.java:Typing_Lookup_WrappedBody19QuerySpecification.java:Typing_Lookup_WrappedBody1QuerySpecification.java:Typing_Lookup_WrappedBody20QuerySpecification.java:Typing_Lookup_WrappedBody2QuerySpecification.java:Typing_Lookup_WrappedBody3QuerySpecification.java:Typing_Lookup_WrappedBody4QuerySpecification.java:Typing_Lookup_WrappedBody5QuerySpecification.java:Typing_Lookup_WrappedBody6QuerySpecification.java:Typing_Lookup_WrappedBody7QuerySpecification.java:Typing_Lookup_WrappedBody8QuerySpecification.java:Typing_Lookup_WrappedBody9QuerySpecification.java:Typing_Lookup_WrappedQuerySpecification.java:Typing_MatchFunFailureQuerySpecification.java:Typing_MatchFunFailure_0_switchCommonQuerySpecification.java:Typing_MatchSumFailureQuerySpecification.java:Typing_MatchSumFailure_0_switchCommonQuerySpecification.java:Typing_RequiredQuerySpecification.java:Typing_Required_0_switchCommonQuerySpecification.java:Typing_Required_WrappedBody0QuerySpecification.java:Typing_Required_WrappedBody10QuerySpecification.java:Typing_Required_WrappedBody11QuerySpecification.java:Typing_Required_WrappedBody12QuerySpecification.java:Typing_Required_WrappedBody1QuerySpecification.java:Typing_Required_WrappedBody2QuerySpecification.java:Typing_Required_WrappedBody3QuerySpecification.java:Typing_Required_WrappedBody4QuerySpecification.java:Typing_Required_WrappedBody5QuerySpecification.java:Typing_Required_WrappedBody6QuerySpecification.java:Typing_Required_WrappedBody7QuerySpecification.java:Typing_Required_WrappedBody8QuerySpecification.java:Typing_Required_WrappedBody9QuerySpecification.java:Typing_Required_WrappedQuerySpecification.java" />
<product version="3" modelHash="-2y8w4dw4jt3nido63a70c8fx5lb0k3e">
<files names="AnalysisResultAccess.java:ConstantDefinitions.java:LType.java:QuerySpecificationHints.java:Typing_AllvarsQuerySpecification.java:Typing_Allvars_0_switchCommonQuerySpecification.java:Typing_AsLTypeQuerySpecification.java:Typing_AsLType_0_switchCommonQuerySpecification.java:Typing_AsLType_WrappedBody0QuerySpecification.java:Typing_AsLType_WrappedBody1QuerySpecification.java:Typing_AsLType_WrappedBody2QuerySpecification.java:Typing_AsLType_WrappedBody3QuerySpecification.java:Typing_AsLType_WrappedQuerySpecification.java:Typing_CheckErrorQuerySpecification.java:Typing_CheckQuerySpecification.java:Typing_Check_0_switchCommonQuerySpecification.java:Typing_InferQuerySpecification.java:Typing_Infer_0_switchCommonQuerySpecification.java:Typing_Infer_WrappedBody0QuerySpecification.java:Typing_Infer_WrappedBody1QuerySpecification.java:Typing_Infer_WrappedBody2QuerySpecification.java:Typing_Infer_WrappedBody3QuerySpecification.java:Typing_Infer_WrappedBody4QuerySpecification.java:Typing_Infer_WrappedBody5QuerySpecification.java:Typing_Infer_WrappedBody6QuerySpecification.java:Typing_Infer_WrappedBody7QuerySpecification.java:Typing_Infer_WrappedBody8QuerySpecification.java:Typing_Infer_WrappedBody9QuerySpecification.java:Typing_Infer_WrappedQuerySpecification.java:Typing_LookupFailureQuerySpecification.java:Typing_LookupFailure_0_switchCommonQuerySpecification.java:Typing_LookupQuerySpecification.java:Typing_Lookup_0_switchCommonQuerySpecification.java:Typing_Lookup_WrappedBody0QuerySpecification.java:Typing_Lookup_WrappedBody10QuerySpecification.java:Typing_Lookup_WrappedBody11QuerySpecification.java:Typing_Lookup_WrappedBody12QuerySpecification.java:Typing_Lookup_WrappedBody13QuerySpecification.java:Typing_Lookup_WrappedBody14QuerySpecification.java:Typing_Lookup_WrappedBody15QuerySpecification.java:Typing_Lookup_WrappedBody16QuerySpecification.java:Typing_Lookup_WrappedBody17QuerySpecification.java:Typing_Lookup_WrappedBody18QuerySpecification.java:Typing_Lookup_WrappedBody19QuerySpecification.java:Typing_Lookup_WrappedBody1QuerySpecification.java:Typing_Lookup_WrappedBody20QuerySpecification.java:Typing_Lookup_WrappedBody2QuerySpecification.java:Typing_Lookup_WrappedBody3QuerySpecification.java:Typing_Lookup_WrappedBody4QuerySpecification.java:Typing_Lookup_WrappedBody5QuerySpecification.java:Typing_Lookup_WrappedBody6QuerySpecification.java:Typing_Lookup_WrappedBody7QuerySpecification.java:Typing_Lookup_WrappedBody8QuerySpecification.java:Typing_Lookup_WrappedBody9QuerySpecification.java:Typing_Lookup_WrappedQuerySpecification.java:Typing_MatchFunFailureQuerySpecification.java:Typing_MatchFunFailure_0_switchCommonQuerySpecification.java:Typing_MatchSumFailureQuerySpecification.java:Typing_MatchSumFailure_0_switchCommonQuerySpecification.java:Typing_RequiredQuerySpecification.java:Typing_Required_0_switchCommonQuerySpecification.java:Typing_Required_WrappedBody0QuerySpecification.java:Typing_Required_WrappedBody10QuerySpecification.java:Typing_Required_WrappedBody11QuerySpecification.java:Typing_Required_WrappedBody12QuerySpecification.java:Typing_Required_WrappedBody1QuerySpecification.java:Typing_Required_WrappedBody2QuerySpecification.java:Typing_Required_WrappedBody3QuerySpecification.java:Typing_Required_WrappedBody4QuerySpecification.java:Typing_Required_WrappedBody5QuerySpecification.java:Typing_Required_WrappedBody6QuerySpecification.java:Typing_Required_WrappedBody7QuerySpecification.java:Typing_Required_WrappedBody8QuerySpecification.java:Typing_Required_WrappedBody9QuerySpecification.java:Typing_Required_WrappedQuerySpecification.java" />
</product>
<?xml version="1.0" encoding="UTF-8"?>
<product version="3" modelHash="1lpfbdskws1ne1cv52segd60dti7x82" />
<product version="3" modelHash="e9z8gxhgxp36gnueu7ve931a7g9rslh" />
package SumTypes_Checker.model;
/*Generated by MPS */
import org.jetbrains.mps.openapi.model.SNode;
import org.jetbrains.mps.openapi.model.SModel;
import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher;
import org.eclipse.viatra.query.runtime.api.IPatternMatch;
import org.inca.core.runtime.plugin.EnginePool;
import org.inca.core.runtime.plugin.AbstractScope;
import org.eclipse.viatra.query.runtime.rete.matcher.DRedReteBackendFactory;
import java.util.Set;
import org.inca.core.util.plugin.CodeGenerationHelper;
import jetbrains.mps.internal.collections.runtime.SetSequence;
import java.util.Map;
import org.inca.data.runtime.plugin.SequenceMatcher;
import org.inca.data.runtime.plugin.WildCardMatcher;
import org.inca.data.runtime.plugin.PatternMatcherException;
import org.inca.data.runtime.plugin.IDataMatcher;
import org.inca.data.runtime.plugin.CompositeMatcher;
public class AnalysisResultAccess {
public static boolean isChecked(final SNode term, final SModel scope) {
final ViatraQueryMatcher<IPatternMatch> evaluator = EnginePool.getMatcher(Typing_InferQuerySpecification.instance(), AbstractScope.from(scope), true, DRedReteBackendFactory.INSTANCE);
final IPatternMatch tup = evaluator.newMatch(term, null);
final Set<LType.LTypeElement> values = CodeGenerationHelper.getAllValues(evaluator, "out_1", tup);
System.out.println(values);
{
final Object[] values_e0a = {SetSequence.fromSet(values).first()};
// declare the local variables for the case matchers
Map<String, Object> case_0_a4a0;
Map<String, Object> case_1_b4a0;
Map<String, Object> case_2_c4a0;
if ((case_0_a4a0 = new SequenceMatcher(matcher_a0e0a).match(values_e0a)) != null) {
return true;
} else if ((case_1_b4a0 = new SequenceMatcher(matcher_a1e0a).match(values_e0a)) != null) {
return false;
} else if ((case_2_c4a0 = new SequenceMatcher(WildCardMatcher.INSTANCE).match(values_e0a)) != null) {
return true;
} else {
throw new PatternMatcherException(values_e0a);
}
}
}
private static final IDataMatcher matcher_a0e0a = new CompositeMatcher(LType.Any.class);
private static final IDataMatcher matcher_a1e0a = new CompositeMatcher(LType.Bot.class);
}
......@@ -34,31 +34,31 @@ public final class QuerySpecificationHints extends MPSQuerySpecificationHints {
this.conceptFeatures = new HashSet<SConceptFeature>();
this.conceptFeatures.add(MetaAdapterFactory.getProperty(0xceab519525ea4f22L, 0x9b92103b95ca8c0cL, 0x110396eaaa4L, 0x110396ec041L, "name"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb9390L, 0x1a4a252762eb9399L, "ty2"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb9312L, 0x1a4a252762eb9317L, "t1"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb9302L, 0x1a4a252762eb930bL, "t2"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb936bL, 0x1a4a252762eb9374L, "t1"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb9359L, 0x1a4a252762eb935eL, "t"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb9312L, 0x1a4a252762eb931bL, "t2"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb92d7L, 0x1a4a252762eb92dcL, "t"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb9322L, 0x1a4a252762eb9336L, "t"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb93dcL, 0x1a4a252762eb93e1L, "ty1"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb936bL, 0x1a4a252762eb9378L, "t2"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eba873L, 0x1a4a252762eba8b6L, "c1"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb933aL, 0x1a4a252762eb9352L, "body"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb93f1L, 0x1a4a252762eb93f6L, "t"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb93faL, 0x1a4a252762eb93ffL, "ty"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb937fL, 0x1a4a252762eb9384L, "t"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb937fL, 0x1a4a252762eb93d5L, "ty"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb9390L, 0x1a4a252762eb9395L, "ty1"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb9312L, 0x1a4a252762eb9317L, "t1"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb933aL, 0x1a4a252762eb934eL, "bound"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eba8aaL, 0x1a4a252762eba8afL, "t"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eba873L, 0x1a4a252762eba8bdL, "c2"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb93dcL, 0x1a4a252762eb93e5L, "ty2"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb93faL, 0x1a4a252762eb93ffL, "ty"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb9390L, 0x1a4a252762eb9399L, "ty2"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb933aL, 0x1a4a252762eb9352L, "body"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb936bL, 0x1a4a252762eb9374L, "t1"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb9302L, 0x1a4a252762eb9307L, "t1"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb9302L, 0x1a4a252762eb930bL, "t2"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eba873L, 0x1a4a252762eba878L, "matchee"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb93f1L, 0x1a4a252762eb93f6L, "t"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb9359L, 0x1a4a252762eb935eL, "t"));
this.conceptFeatures.add(MetaAdapterFactory.getReferenceLink(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, 0x7980b687ac7456feL, 0x7980b687ac7456ffL, "parent"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb936bL, 0x1a4a252762eb9378L, "t2"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb92d7L, 0x1a4a252762eb92dcL, "t"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eba8aaL, 0x1a4a252762eba8afL, "t"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb937fL, 0x1a4a252762eb9384L, "t"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eba873L, 0x1a4a252762eba8bdL, "c2"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eba873L, 0x1a4a252762eba8b6L, "c1"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb9312L, 0x1a4a252762eb931bL, "t2"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb933aL, 0x1a4a252762eb934eL, "bound"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb9362L, 0x1a4a252762eb9367L, "t"));
this.conceptFeatures.add(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb93dcL, 0x1a4a252762eb93e1L, "ty1"));
this.languages = new HashSet<SLanguage>();
this.languages.add(MetaAdapterFactory.getLanguage(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, "ceab5195-25ea-4f22-9b92-103b95ca8c0c"));
......
......@@ -86,10 +86,10 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
PVariable var__8645823339780090022 = body.getOrCreateVariableByName("8645823339780090022");
PVariable var__1066296671789487966 = body.getOrCreateVariableByName("1066296671789487966");
new TypeConstraint(body, Tuples.flatTupleOf(var_ty), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb938fL, "SumTypes.structure.Type")));
new PositivePatternCall(body, Tuples.flatTupleOf(var_ty, var__8645823339780090022, var_out_1), Typing_AsLType_WrappedQuerySpecification.instance().getInternalQueryRepresentation());
new PositivePatternCall(body, Tuples.flatTupleOf(var_ty, var__1066296671789487966, var_out_1), Typing_AsLType_WrappedQuerySpecification.instance().getInternalQueryRepresentation());
SetSequence.fromSet(bodies).addElement(body);
}
......
......@@ -93,8 +93,8 @@ public final class Typing_AsLType_WrappedBody0QuerySpecification extends MPSQuer
exportedParameters.add(new ExportedParameter(body, var_out_2, p_out_2));
body.setSymbolicParameters(exportedParameters);
PVariable var__8645823339780132542 = body.newVirtualVariable();
PVariable var__tmp_298 = body.getOrCreateVariableByName("tmp_298");
PVariable var__tmp_297 = body.getOrCreateVariableByName("tmp_297");
PVariable var__1066296671789528856 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_ty), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb938fL, "SumTypes.structure.Type")));
new TypeConstraint(body, Tuples.flatTupleOf(var_f___match_a0a0s), new ConceptKey(MetaAdapterFactory.getConcept(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb93ecL, "SumTypes.structure.Nat")));
......@@ -104,7 +104,7 @@ public final class Typing_AsLType_WrappedBody0QuerySpecification extends MPSQuer
@Override
public String getShortDescription() {
return "8645823339780132542";
return "1066296671789528856";
}
@Override
......@@ -117,9 +117,9 @@ public final class Typing_AsLType_WrappedBody0QuerySpecification extends MPSQuer
return LType.Nat.create();
}
}, var__8645823339780132542, false);
new Equality(body, var__tmp_298, var__8645823339780132542);
new Equality(body, var__tmp_298, var_out_2);
}, var__1066296671789528856, false);
new Equality(body, var__tmp_297, var__1066296671789528856);
new Equality(body, var__tmp_297, var_out_2);
SetSequence.fromSet(bodies).addElement(body);
}
......
......@@ -112,11 +112,11 @@ public final class Typing_AsLType_WrappedBody1QuerySpecification extends MPSQuer
exportedParameters.add(new ExportedParameter(body, var_out_8, p_out_8));
body.setSymbolicParameters(exportedParameters);
PVariable var__1066296671789528915 = body.newVirtualVariable();
PVariable var__tmp_300 = body.getOrCreateVariableByName("tmp_300");
PVariable var__tmp_301 = body.getOrCreateVariableByName("tmp_301");
PVariable var__tmp_302 = body.getOrCreateVariableByName("tmp_302");
PVariable var__tmp_303 = body.getOrCreateVariableByName("tmp_303");
PVariable var__8645823339780132601 = body.newVirtualVariable();
PVariable var__tmp_298 = body.getOrCreateVariableByName("tmp_298");
PVariable var__tmp_299 = body.getOrCreateVariableByName("tmp_299");
new TypeConstraint(body, Tuples.flatTupleOf(var_ty), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb938fL, "SumTypes.structure.Type")));
......@@ -127,21 +127,21 @@ public final class Typing_AsLType_WrappedBody1QuerySpecification extends MPSQuer
new TypeConstraint(body, Tuples.flatTupleOf(var_f___ty2), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb938fL, "SumTypes.structure.Type")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_AsLType_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var_f___match_a1a0s, var_ty);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_f___match_a1a0s, var__tmp_299), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb9390L, 0x1a4a252762eb9395L, "ty1")));
new Equality(body, var_f___match_a0b0a81, var__tmp_299);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_f___match_a1a0s, var__tmp_298), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb9390L, 0x1a4a252762eb9395L, "ty1")));
new Equality(body, var_f___match_a0b0a81, var__tmp_298);
new Equality(body, var_f___ty1, var_f___match_a0b0a81);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_f___match_a1a0s, var__tmp_300), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb9390L, 0x1a4a252762eb9399L, "ty2")));
new Equality(body, var_f___match_b0b0a81, var__tmp_300);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_f___match_a1a0s, var__tmp_299), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb9390L, 0x1a4a252762eb9399L, "ty2")));
new Equality(body, var_f___match_b0b0a81, var__tmp_299);
new Equality(body, var_f___ty2, var_f___match_b0b0a81);
new PositivePatternCall(body, Tuples.flatTupleOf(var_f___ty1, var__tmp_301), Typing_AsLTypeQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var_f___lty1, var__tmp_301);
new PositivePatternCall(body, Tuples.flatTupleOf(var_f___ty2, var__tmp_302), Typing_AsLTypeQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var_f___lty2, var__tmp_302);
new PositivePatternCall(body, Tuples.flatTupleOf(var_f___ty1, var__tmp_300), Typing_AsLTypeQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var_f___lty1, var__tmp_300);
new PositivePatternCall(body, Tuples.flatTupleOf(var_f___ty2, var__tmp_301), Typing_AsLTypeQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var_f___lty2, var__tmp_301);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
return "8645823339780132601";
return "1066296671789528915";
}
@Override
......@@ -154,9 +154,9 @@ public final class Typing_AsLType_WrappedBody1QuerySpecification extends MPSQuer
return LType.Fun.create(((LType.LTypeElement) valueProvider.getValue("f___lty1")), ((LType.LTypeElement) valueProvider.getValue("f___lty2")));
}
}, var__8645823339780132601, false);
new Equality(body, var__tmp_303, var__8645823339780132601);
new Equality(body, var__tmp_303, var_out_8);
}, var__1066296671789528915, false);
new Equality(body, var__tmp_302, var__1066296671789528915);
new Equality(body, var__tmp_302, var_out_8);
SetSequence.fromSet(bodies).addElement(body);
}
......
......@@ -112,12 +112,12 @@ public final class Typing_AsLType_WrappedBody2QuerySpecification extends MPSQuer
exportedParameters.add(new ExportedParameter(body, var_out_8, p_out_8));
body.setSymbolicParameters(exportedParameters);
PVariable var__tmp_308 = body.getOrCreateVariableByName("tmp_308");
PVariable var__tmp_304 = body.getOrCreateVariableByName("tmp_304");
PVariable var__tmp_305 = body.getOrCreateVariableByName("tmp_305");
PVariable var__tmp_306 = body.getOrCreateVariableByName("tmp_306");
PVariable var__8645823339780132662 = body.newVirtualVariable();
PVariable var__tmp_307 = body.getOrCreateVariableByName("tmp_307");
PVariable var__tmp_303 = body.getOrCreateVariableByName("tmp_303");
PVariable var__1066296671789528976 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_ty), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb938fL, "SumTypes.structure.Type")));
new TypeConstraint(body, Tuples.flatTupleOf(var_f___match_a2a0s), new ConceptKey(MetaAdapterFactory.getConcept(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb93dcL, "SumTypes.structure.Sum")));
......@@ -127,21 +127,21 @@ public final class Typing_AsLType_WrappedBody2QuerySpecification extends MPSQuer
new TypeConstraint(body, Tuples.flatTupleOf(var_f___ty2), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb938fL, "SumTypes.structure.Type")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_AsLType_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var_f___match_a2a0s, var_ty);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_f___match_a2a0s, var__tmp_304), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb93dcL, 0x1a4a252762eb93e1L, "ty1")));
new Equality(body, var_f___match_a0c0a81, var__tmp_304);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_f___match_a2a0s, var__tmp_303), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb93dcL, 0x1a4a252762eb93e1L, "ty1")));
new Equality(body, var_f___match_a0c0a81, var__tmp_303);
new Equality(body, var_f___ty1, var_f___match_a0c0a81);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_f___match_a2a0s, var__tmp_305), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb93dcL, 0x1a4a252762eb93e5L, "ty2")));
new Equality(body, var_f___match_b0c0a81, var__tmp_305);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_f___match_a2a0s, var__tmp_304), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x8d2332833fa47ceL, 0x89dfdaaa7554f251L, 0x1a4a252762eb93dcL, 0x1a4a252762eb93e5L, "ty2")));
new Equality(body, var_f___match_b0c0a81, var__tmp_304);
new Equality(body, var_f___ty2, var_f___match_b0c0a81);
new PositivePatternCall(body, Tuples.flatTupleOf(var_f___ty1, var__tmp_306), Typing_AsLTypeQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var_f___lty1, var__tmp_306);
new PositivePatternCall(body, Tuples.flatTupleOf(var_f___ty2, var__tmp_307), Typing_AsLTypeQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var_f___lty2, var__tmp_307);
new PositivePatternCall(body, Tuples.flatTupleOf(var_f___ty1, var__tmp_305), Typing_AsLTypeQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var_f___lty1, var__tmp_305);
new PositivePatternCall(body, Tuples.flatTupleOf(var_f___ty2, var__tmp_306), Typing_AsLTypeQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var_f___lty2, var__tmp_306);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
return "8645823339780132662";
return "1066296671789528976";
}
@Override
......@@ -154,9 +154,9 @@ public final class Typing_AsLType_WrappedBody2QuerySpecification extends MPSQuer
return LType.Sum.create(((LType.LTypeElement) valueProvider.getValue("f___lty1")), ((LType.LTypeElement) valueProvider.getValue("f___lty2")));