Skip to content

GitLab

I
iTypes
Commit cae4687d authored by André Pacak's avatar André Pacak
Browse files
Options

working type checker for variant types in IncA

parent e961a976
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 8876 additions and 8647 deletions
inca-translation/.mps/workspace.xml
View file @ cae4687d
This diff is collapsed.
inca-translation/languages/VariantTypes/models/structure.mps
View file @ cae4687d
......@@ -16,9 +16,7 @@
<child id="1071489727083" name="linkDeclaration" index="1TKVEi" />
<child id="1071489727084" name="propertyDeclaration" index="1TKVEl" />
</concept>
<concept id="1169125989551" name="jetbrains.mps.lang.structure.structure.InterfaceConceptDeclaration" flags="ig" index="PlHQZ">
<child id="1169127546356" name="extends" index="PrDN$" />
</concept>
<concept id="1169125989551" name="jetbrains.mps.lang.structure.structure.InterfaceConceptDeclaration" flags="ig" index="PlHQZ" />
<concept id="1169127622168" name="jetbrains.mps.lang.structure.structure.InterfaceConceptReference" flags="ig" index="PrWs8">
<reference id="1169127628841" name="intfc" index="PrY4T" />
</concept>
......@@ -50,11 +48,8 @@
</registry>
<node concept="PlHQZ" id="1Da9ityUTbh">
<property role="EcuMT" value="1894367444356272849" />
<property role="TrG5h" value="ExpTerm" />
<property role="TrG5h" value="Term" />
<property role="3GE5qa" value="term" />
<node concept="PrWs8" id="csIA0xsqB6" role="PrDN$">
<ref role="PrY4T" node="csIA0xsqB1" resolve="ITerm" />
</node>
</node>
<node concept="1TIwiD" id="1Da9ityUTbi">
<property role="EcuMT" value="1894367444356272850" />
......@@ -63,7 +58,7 @@
<property role="3GE5qa" value="term" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="1Da9ityUTbj" role="PzmwI">
<ref role="PrY4T" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="PrY4T" node="1Da9ityUTbh" resolve="Term" />
</node>
</node>
<node concept="1TIwiD" id="1Da9ityUTbn">
......@@ -73,14 +68,14 @@
<property role="3GE5qa" value="term" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="1Da9ityUTbo" role="PzmwI">
<ref role="PrY4T" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="PrY4T" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="1TJgyj" id="1Da9ityUTbs" role="1TKVEi">
<property role="IQ2ns" value="1894367444356272860" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="t" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
</node>
<node concept="1TIwiD" id="1Da9ityUTbw">
......@@ -92,7 +87,7 @@
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
<node concept="PrWs8" id="1Da9ityUTbU" role="PzmwI">
<ref role="PrY4T" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="PrY4T" node="1Da9ityUTbh" resolve="Term" />
</node>
</node>
<node concept="1TIwiD" id="1Da9ityUTc2">
......@@ -102,21 +97,21 @@
<property role="3GE5qa" value="term" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="1Da9ityUTc3" role="PzmwI">
<ref role="PrY4T" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="PrY4T" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="1TJgyj" id="1Da9ityUTc7" role="1TKVEi">
<property role="IQ2ns" value="1894367444356272903" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="t1" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="1TJgyj" id="1Da9ityUTcb" role="1TKVEi">
<property role="IQ2ns" value="1894367444356272907" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="t2" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
</node>
<node concept="1TIwiD" id="1Da9ityUTci">
......@@ -126,21 +121,21 @@
<property role="3GE5qa" value="term" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="1Da9ityUTcj" role="PzmwI">
<ref role="PrY4T" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="PrY4T" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="1TJgyj" id="1Da9ityUTcn" role="1TKVEi">
<property role="IQ2ns" value="1894367444356272919" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="t1" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="1TJgyj" id="1Da9ityUTcr" role="1TKVEi">
<property role="IQ2ns" value="1894367444356272923" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="t2" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
</node>
<node concept="1TIwiD" id="1Da9ityUTcy">
......@@ -153,14 +148,14 @@
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
<node concept="PrWs8" id="1Da9ityUTcI" role="PzmwI">
<ref role="PrY4T" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="PrY4T" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="1TJgyj" id="1Da9ityUTcQ" role="1TKVEi">
<property role="IQ2ns" value="1894367444356272950" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="t" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
</node>
<node concept="1TIwiD" id="1Da9ityUTcU">
......@@ -173,21 +168,21 @@
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
</node>
<node concept="PrWs8" id="1Da9ityUTd6" role="PzmwI">
<ref role="PrY4T" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="PrY4T" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="1TJgyj" id="1Da9ityUTde" role="1TKVEi">
<property role="IQ2ns" value="1894367444356272974" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="bound" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="1TJgyj" id="1Da9ityUTdi" role="1TKVEi">
<property role="IQ2ns" value="1894367444356272978" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="body" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
</node>
<node concept="1TIwiD" id="1Da9ityUTdF">
......@@ -196,21 +191,21 @@
<property role="3GE5qa" value="term" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="1Da9ityUTdG" role="PzmwI">
<ref role="PrY4T" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="PrY4T" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="1TJgyj" id="1Da9ityUTdO" role="1TKVEi">
<property role="IQ2ns" value="1894367444356273012" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="t1" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="1TJgyj" id="1Da9ityUTdS" role="1TKVEi">
<property role="IQ2ns" value="1894367444356273016" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="t2" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
</node>
<node concept="1TIwiD" id="1Da9ityUTdZ">
......@@ -220,14 +215,14 @@
<property role="3GE5qa" value="term" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="1Da9ityUTe0" role="PzmwI">
<ref role="PrY4T" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="PrY4T" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="1TJgyj" id="1Da9ityUTe4" role="1TKVEi">
<property role="IQ2ns" value="1894367444356273028" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="t" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="1TJgyj" id="1Da9ityUTfl" role="1TKVEi">
<property role="IQ2ns" value="1894367444356273109" />
......@@ -282,14 +277,14 @@
<property role="TrG5h" value="ParensTerm" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="1Da9ityUTfM" role="PzmwI">
<ref role="PrY4T" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="PrY4T" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="1TJgyj" id="1Da9ityUTfQ" role="1TKVEi">
<property role="IQ2ns" value="1894367444356273142" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="t" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
</node>
<node concept="1TIwiD" id="1Da9ityUTfU">
......@@ -351,7 +346,7 @@
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="term" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
</node>
<node concept="1TIwiD" id="6VVZNB97NER">
......@@ -378,7 +373,7 @@
<property role="34LRSv" value="tag" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="$yAo6zIflO" role="PzmwI">
<ref role="PrY4T" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="PrY4T" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="PrWs8" id="$yAo6zIfm3" role="PzmwI">
<ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
......@@ -388,7 +383,7 @@
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="t" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
</node>
<node concept="1TIwiD" id="$yAo6zIfos">
......@@ -397,14 +392,14 @@
<property role="TrG5h" value="Match" />
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
<node concept="PrWs8" id="$yAo6zIfot" role="PzmwI">
<ref role="PrY4T" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="PrY4T" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="1TJgyj" id="$yAo6zIfox" role="1TKVEi">
<property role="IQ2ns" value="658257277626152481" />
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="matchee" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="ExpTerm" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
<node concept="1TJgyj" id="$yAo6zIfoJ" role="1TKVEi">
<property role="IQ2ns" value="658257277626152495" />
......@@ -434,10 +429,7 @@
<property role="20lmBu" value="aggregation" />
<property role="20kJfa" value="t" />
<property role="20lbJX" value="1" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="ExpTerm" />
</node>
<node concept="PrWs8" id="csIA0xsqBa" role="PzmwI">
<ref role="PrY4T" node="csIA0xsqB1" resolve="ITerm" />
<ref role="20lvS9" node="1Da9ityUTbh" resolve="Term" />
</node>
</node>
<node concept="1TIwiD" id="1ZoSGYtY0b6">
......@@ -472,10 +464,5 @@
<ref role="20lvS9" node="1Da9ityUTef" resolve="Type" />
</node>
</node>
<node concept="PlHQZ" id="csIA0xsqB1">
<property role="EcuMT" value="224259003502406081" />
<property role="3GE5qa" value="term" />
<property role="TrG5h" value="ITerm" />
</node>
</model>
inca-translation/solutions/VariantTypes_Checker/models/test.ok_match_single.mps
View file @ cae4687d
......@@ -60,8 +60,8 @@
<node concept="2EAAUw" id="2WR4rosZKeN" role="2EAAYI">
<property role="2EAAUF" value="x" />
<property role="2EAAUB" value="a" />
<node concept="1SCrvK" id="2WR4rosZKfk" role="2EAAUK">
<node concept="1SCrv7" id="2WR4rosZKfz" role="1SCrvV">
<node concept="1SCrvK" id="2aex7X3sfep" role="2EAAUK">
<node concept="1SCrv7" id="2aex7X3BVSy" role="1SCrvV">
<property role="TrG5h" value="x" />
</node>
</node>
......
inca-translation/solutions/VariantTypes_Checker/source_gen.caches/VariantTypes_Checker/model/dependencies
View file @ cae4687d
......@@ -473,8 +473,10 @@
<classNode dependClassName="org.inca.core.runtime.plugin.MPSQuerySpecificationHints" />
<classNode extendsClassName="org.inca.core.runtime.plugin.MPSQuerySpecification" />
</dependency>
<dependency className="VariantTypes_Checker.model.Typing_ConditionCaseQuerySpecification">
<dependency className="VariantTypes_Checker.model.Typing_InferQuerySpecification">
<classNode dependClassName="VariantTypes_Checker.model.LType" />
<classNode dependClassName="VariantTypes_Checker.model.QuerySpecificationHints" />
<classNode dependClassName="VariantTypes_Checker.model.Typing_Infer_WrappedQuerySpecification" />
<classNode dependClassName="java.lang.Class" />
<classNode dependClassName="java.lang.Override" />
<classNode dependClassName="java.lang.String" />
......@@ -489,27 +491,27 @@
<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.context.common.JavaTransitiveInstancesKey" />
<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.aggregations.BoundAggregator" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.AggregatorConstraint" />
<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.ConceptFeatureKey" />
<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 dependClassName="org.inca.data.runtime.plugin.LatticeInputKey" />
<classNode extendsClassName="org.inca.core.runtime.plugin.MPSQuerySpecification" />
</dependency>
<dependency className="VariantTypes_Checker.model.Typing_InferQuerySpecification">
<classNode dependClassName="VariantTypes_Checker.model.LType" />
<dependency className="VariantTypes_Checker.model.Typing_Infer_0_switchCommonQuerySpecification">
<classNode dependClassName="VariantTypes_Checker.model.QuerySpecificationHints" />
<classNode dependClassName="VariantTypes_Checker.model.Typing_Infer_WrappedQuerySpecification" />
<classNode dependClassName="java.lang.Class" />
<classNode dependClassName="java.lang.Override" />
<classNode dependClassName="java.lang.String" />
......@@ -520,32 +522,31 @@
<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.aggregations.BoundAggregator" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.AggregatorConstraint" />
<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 dependClassName="org.inca.data.runtime.plugin.LatticeInputKey" />
<classNode extendsClassName="org.inca.core.runtime.plugin.MPSQuerySpecification" />
</dependency>
<dependency className="VariantTypes_Checker.model.Typing_Infer_0_switchCommonQuerySpecification">
<dependency className="VariantTypes_Checker.model.Typing_Infer_WrappedQuerySpecification">
<classNode dependClassName="VariantTypes_Checker.model.LType" />
<classNode dependClassName="VariantTypes_Checker.model.QuerySpecificationHints" />
<classNode dependClassName="VariantTypes_Checker.model.Typing_AsLTypeQuerySpecification" />
<classNode dependClassName="VariantTypes_Checker.model.Typing_CheckQuerySpecification" />
<classNode dependClassName="VariantTypes_Checker.model.Typing_InferQuerySpecification" />
<classNode dependClassName="VariantTypes_Checker.model.Typing_Infer_0_switchCommonQuerySpecification" />
<classNode dependClassName="VariantTypes_Checker.model.Typing_LookupQuerySpecification" />
<classNode dependClassName="java.lang.Class" />
<classNode dependClassName="java.lang.Exception" />
<classNode dependClassName="java.lang.Iterable" />
<classNode dependClassName="java.lang.Object" />
<classNode dependClassName="java.lang.Override" />
<classNode dependClassName="java.lang.String" />
<classNode dependClassName="java.lang.SuppressWarnings" />
......@@ -555,31 +556,34 @@
<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.IExpressionEvaluator" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.matchers.psystem.IValueProvider" />
<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.basicdeferred.ExpressionEvaluation" />
<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.ConceptFeatureKey" />
<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 dependClassName="org.inca.data.runtime.plugin.LatticeInputKey" />
<classNode extendsClassName="org.inca.core.runtime.plugin.MPSQuerySpecification" />
</dependency>
<dependency className="VariantTypes_Checker.model.Typing_Infer_WrappedQuerySpecification">
<classNode dependClassName="VariantTypes_Checker.model.LType" />
<dependency className="VariantTypes_Checker.model.Typing_LookupCaseConditionQuerySpecification">
<classNode dependClassName="VariantTypes_Checker.model.QuerySpecificationHints" />
<classNode dependClassName="VariantTypes_Checker.model.Typing_AsLTypeQuerySpecification" />
<classNode dependClassName="VariantTypes_Checker.model.Typing_CheckQuerySpecification" />
<classNode dependClassName="VariantTypes_Checker.model.Typing_InferQuerySpecification" />
<classNode dependClassName="VariantTypes_Checker.model.Typing_Infer_0_switchCommonQuerySpecification" />
<classNode dependClassName="VariantTypes_Checker.model.Typing_LookupQuerySpecification" />
<classNode dependClassName="java.lang.Class" />
<classNode dependClassName="java.lang.Exception" />
<classNode dependClassName="java.lang.Iterable" />
<classNode dependClassName="java.lang.Object" />
<classNode dependClassName="java.lang.Override" />
<classNode dependClassName="java.lang.String" />
<classNode dependClassName="java.lang.SuppressWarnings" />
......@@ -593,14 +597,10 @@
<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.IExpressionEvaluator" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.matchers.psystem.IValueProvider" />
<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.basicdeferred.ExpressionEvaluation" />
<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" />
......@@ -611,7 +611,6 @@
<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 dependClassName="org.inca.data.runtime.plugin.LatticeInputKey" />
<classNode extendsClassName="org.inca.core.runtime.plugin.MPSQuerySpecification" />
</dependency>
<dependency className="VariantTypes_Checker.model.Typing_LookupFailureQuerySpecification">
......@@ -690,7 +689,9 @@
<dependency className="VariantTypes_Checker.model.Typing_LookupQuerySpecification">
<classNode dependClassName="VariantTypes_Checker.model.LType" />
<classNode dependClassName="VariantTypes_Checker.model.QuerySpecificationHints" />
<classNode dependClassName="VariantTypes_Checker.model.Typing_AllvarsQuerySpecification" />
<classNode dependClassName="VariantTypes_Checker.model.Typing_InferQuerySpecification" />
<classNode dependClassName="VariantTypes_Checker.model.Typing_LookupCaseConditionQuerySpecification" />
<classNode dependClassName="VariantTypes_Checker.model.Typing_Lookup_0_switchCommonQuerySpecification" />
<classNode dependClassName="VariantTypes_Checker.model.Typing_RequiredQuerySpecification" />
<classNode dependClassName="java.lang.Class" />
......@@ -718,6 +719,7 @@
<classNode dependClassName="org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExpressionEvaluation" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Inequality" />
<classNode dependClassName="org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.NegativePatternCall" />
<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" />
......@@ -735,7 +737,6 @@
</dependency>
<dependency className="VariantTypes_Checker.model.Typing_Lookup_0_switchCommonQuerySpecification">
<classNode dependClassName="VariantTypes_Checker.model.QuerySpecificationHints" />
<classNode dependClassName="VariantTypes_Checker.model.Typing_AllvarsQuerySpecification" />
<classNode dependClassName="java.lang.Class" />
<classNode dependClassName="java.lang.Override" />
<classNode dependClassName="java.lang.String" />
......@@ -746,22 +747,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" />
......
inca-translation/solutions/VariantTypes_Checker/source_gen.caches/VariantTypes_Checker/model/generated
View file @ cae4687d
<?xml version="1.0" encoding="UTF-8"?>
<product version="3" modelHash="-dcaaagmtsc4zwga1i2u72sgifz1qadk">
<files names="AnalysisResultAccess.java:ConstantDefinitions.java:LType.java:LTypeVariant.java:QuerySpecificationHints.java:Typing_AllvarsQuerySpecification.java:Typing_Allvars_0_switchCommonQuerySpecification.java:Typing_AsLTypeQuerySpecification.java:Typing_AsLTypeVariantQuerySpecification.java:Typing_AsLTypeVariant_0_switchCommonQuerySpecification.java:Typing_AsLTypeVariant_WrappedQuerySpecification.java:Typing_AsLType_0_switchCommonQuerySpecification.java:Typing_CheckErrorQuerySpecification.java:Typing_CheckQuerySpecification.java:Typing_Check_0_switchCommonQuerySpecification.java:Typing_ConditionCaseQuerySpecification.java:Typing_InferQuerySpecification.java:Typing_Infer_0_switchCommonQuerySpecification.java:Typing_Infer_WrappedQuerySpecification.java:Typing_LookupFailureQuerySpecification.java:Typing_LookupFailure_0_switchCommonQuerySpecification.java:Typing_LookupQuerySpecification.java:Typing_Lookup_0_switchCommonQuerySpecification.java:Typing_MatchFunFailureQuerySpecification.java:Typing_MatchFunFailure_0_switchCommonQuerySpecification.java:Typing_MatchVariantFailureQuerySpecification.java:Typing_MatchVariantFailure_0_switchCommonQuerySpecification.java:Typing_RequiredQuerySpecification.java:Typing_Required_0_switchCommonQuerySpecification.java" />
<product version="3" modelHash="-4nzcpijfivju6eh0cfzixwuwn2aw52x">
<files names="AnalysisResultAccess.java:ConstantDefinitions.java:LType.java:LTypeVariant.java:QuerySpecificationHints.java:Typing_AllvarsQuerySpecification.java:Typing_Allvars_0_switchCommonQuerySpecification.java:Typing_AsLTypeQuerySpecification.java:Typing_AsLTypeVariantQuerySpecification.java:Typing_AsLTypeVariant_0_switchCommonQuerySpecification.java:Typing_AsLTypeVariant_WrappedQuerySpecification.java:Typing_AsLType_0_switchCommonQuerySpecification.java:Typing_CheckErrorQuerySpecification.java:Typing_CheckQuerySpecification.java:Typing_Check_0_switchCommonQuerySpecification.java:Typing_InferQuerySpecification.java:Typing_Infer_0_switchCommonQuerySpecification.java:Typing_Infer_WrappedQuerySpecification.java:Typing_LookupCaseConditionQuerySpecification.java:Typing_LookupFailureQuerySpecification.java:Typing_LookupFailure_0_switchCommonQuerySpecification.java:Typing_LookupQuerySpecification.java:Typing_Lookup_0_switchCommonQuerySpecification.java:Typing_MatchFunFailureQuerySpecification.java:Typing_MatchFunFailure_0_switchCommonQuerySpecification.java:Typing_MatchVariantFailureQuerySpecification.java:Typing_MatchVariantFailure_0_switchCommonQuerySpecification.java:Typing_RequiredQuerySpecification.java:Typing_Required_0_switchCommonQuerySpecification.java" />
</product>
inca-translation/solutions/VariantTypes_Checker/source_gen.caches/VariantTypes_Checker/test/ok_match_single/generated
View file @ cae4687d
<?xml version="1.0" encoding="UTF-8"?>
<product version="3" modelHash="7v8yim2dozt66lahfvwazszvidjayra" />
<product version="3" modelHash="-5obnfbt0696why2dq7au4vsg3bazvn0" />
inca-translation/solutions/VariantTypes_Checker/source_gen/VariantTypes_Checker/model/Typing_AsLTypeQuerySpecification.java
View file @ cae4687d
......@@ -91,9 +91,9 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
PVariable var__tmp_282 = body.getOrCreateVariableByName("tmp_282");
PVariable var__2490073326117332385 = body.newVirtualVariable();
PVariable var__match_a0a0u = body.getOrCreateVariableByName("match_a0a0u");
PVariable var__tmp_264 = body.getOrCreateVariableByName("tmp_264");
PVariable var__2490073326105437013 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_ty), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb938fL, "VariantTypes.structure.Type")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_AsLType_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
......@@ -103,7 +103,7 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
@Override
public String getShortDescription() {
return "2490073326105437013";
return "2490073326117332385";
}
@Override
......@@ -116,9 +116,9 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
return LType.Nat.create();
}
}, var__2490073326105437013, false);
new Equality(body, var__tmp_264, var__2490073326105437013);
new Equality(body, var__tmp_264, var_out_1);
}, var__2490073326117332385, false);
new Equality(body, var__tmp_282, var__2490073326117332385);
new Equality(body, var__tmp_282, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
}
......@@ -132,39 +132,39 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
PVariable var__tmp_283 = body.getOrCreateVariableByName("tmp_283");
PVariable var__tmp_284 = body.getOrCreateVariableByName("tmp_284");
PVariable var__lty2 = body.getOrCreateVariableByName("lty2");
PVariable var__match_b0b0a02 = body.getOrCreateVariableByName("match_b0b0a02");
PVariable var__lty1 = body.getOrCreateVariableByName("lty1");
PVariable var__match_a0b0a02 = body.getOrCreateVariableByName("match_a0b0a02");
PVariable var__2490073326117332444 = body.newVirtualVariable();
PVariable var__ty2 = body.getOrCreateVariableByName("ty2");
PVariable var__ty1 = body.getOrCreateVariableByName("ty1");
PVariable var__2490073326105437072 = body.newVirtualVariable();
PVariable var__tmp_267 = body.getOrCreateVariableByName("tmp_267");
PVariable var__match_a1a0u = body.getOrCreateVariableByName("match_a1a0u");
PVariable var__tmp_268 = body.getOrCreateVariableByName("tmp_268");
PVariable var__tmp_269 = body.getOrCreateVariableByName("tmp_269");
PVariable var__tmp_265 = body.getOrCreateVariableByName("tmp_265");
PVariable var__tmp_266 = body.getOrCreateVariableByName("tmp_266");
PVariable var__tmp_285 = body.getOrCreateVariableByName("tmp_285");
PVariable var__tmp_286 = body.getOrCreateVariableByName("tmp_286");
PVariable var__tmp_287 = body.getOrCreateVariableByName("tmp_287");
new TypeConstraint(body, Tuples.flatTupleOf(var_ty), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb938fL, "VariantTypes.structure.Type")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_AsLType_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__match_a1a0u, var_ty);
new TypeConstraint(body, Tuples.flatTupleOf(var__match_a1a0u), new ConceptKey(MetaAdapterFactory.getConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9390L, "VariantTypes.structure.Fun")));
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a1a0u, var__tmp_265), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9390L, 0x1a4a252762eb9395L, "ty1")));
new Equality(body, var__match_a0b0a02, var__tmp_265);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a1a0u, var__tmp_283), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9390L, 0x1a4a252762eb9395L, "ty1")));
new Equality(body, var__match_a0b0a02, var__tmp_283);
new Equality(body, var__ty1, var__match_a0b0a02);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a1a0u, var__tmp_266), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9390L, 0x1a4a252762eb9399L, "ty2")));
new Equality(body, var__match_b0b0a02, var__tmp_266);