Skip to content

GitLab

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

removed import

parent 4b5e6b55
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 695 additions and 695 deletions
inca-translation/solutions/RecordTypes_Checker/models/model.mps
View file @ 3b9a1b5b
......@@ -2661,11 +2661,11 @@
<property role="TrG5h" value="ty" />
</node>
</node>
<node concept="34odk1" id="5z1Onvs$p3u" role="1dgzf0">
<node concept="30NkWi" id="5z1Onvs$s9Y" role="34ocZk">
<node concept="34odk1" id="5z1OnvsO2Cz" role="1dgzf0">
<node concept="30NkWi" id="5z1OnvsO5tS" role="34ocZk">
<ref role="XkjO9" node="75UymJHZVI6" resolve="entries" />
</node>
<node concept="30KbLJ" id="5z1Onvs$iSd" role="34ocZn">
<node concept="30KbLJ" id="5z1OnvsNOFM" role="34ocZn">
<property role="TrG5h" value="entry" />
</node>
</node>
......@@ -2674,8 +2674,8 @@
<node concept="727y6" id="5z1OnvszHF9" role="3zVzRQ">
<ref role="3zVwH9" to="tpck:h0TrG11" resolve="name" />
</node>
<node concept="30NkWi" id="5z1Onvs$vi5" role="2kdhYM">
<ref role="XkjO9" node="5z1Onvs$iSd" resolve="entry" />
<node concept="30NkWi" id="5z1OnvsOoQ3" role="2kdhYM">
<ref role="XkjO9" node="5z1OnvsNOFM" resolve="entry" />
</node>
</node>
<node concept="30KbLJ" id="5z1OnvszHFb" role="34ocZn">
......@@ -2706,8 +2706,8 @@
<node concept="727y6" id="5z1OnvszHFl" role="3zVzRQ">
<ref role="3zVwH9" to="oj0p:2LeOUT3PgQA" resolve="t" />
</node>
<node concept="30NkWi" id="5z1Onvs$ynb" role="2kdhYM">
<ref role="XkjO9" node="5z1Onvs$iSd" resolve="entry" />
<node concept="30NkWi" id="5z1OnvsOm6D" role="2kdhYM">
<ref role="XkjO9" node="5z1OnvsNOFM" resolve="entry" />
</node>
</node>
<node concept="30KbLJ" id="5z1OnvszHFn" role="34ocZn">
......@@ -3651,9 +3651,6 @@
<node concept="C6Zt3" id="2YwSXDdHH_c" role="xaH5_">
<ref role="ws7DW" node="75UymJHJhQC" resolve="LTypeRecord" />
</node>
<node concept="C6Zt3" id="6UqcbF4ux03" role="xaH5_">
<ref role="ws7DW" node="6UqcbF4t$Cb" resolve="LNumber" />
</node>
</node>
<node concept="3U8wA7" id="75UymJHJgBw">
<property role="TrG5h" value="LType" />
......@@ -5730,9 +5727,6 @@
<node concept="C6Zt3" id="75UymJHJkwO" role="xaH5_">
<ref role="ws7DW" node="75UymJHJgBw" resolve="LType" />
</node>
<node concept="C6Zt3" id="6UqcbF4x8Ib" role="xaH5_">
<ref role="ws7DW" node="6UqcbF4t$Cb" resolve="LNumber" />
</node>
</node>
<node concept="312cEu" id="75UymJIFJjC">
<property role="TrG5h" value="AnalysisResultAccess" />
......
inca-translation/solutions/RecordTypes_Checker/source_gen.caches/RecordTypes_Checker/model/generated
View file @ 3b9a1b5b
<?xml version="1.0" encoding="UTF-8"?>
<product version="3" modelHash="165kuhqrgdagnnh7kx2dq4c4zapa769">
<product version="3" modelHash="-16k4q3injw13lgz3xfgjefhxcusy5bt">
<files names="AnalysisResultAccess.java:ConstantDefinitions.java:LType.java:LTypeRecord.java:QuerySpecificationHints.java:Typing_AllvarsQuerySpecification.java:Typing_Allvars_0_switchCommonQuerySpecification.java:Typing_AsLTypeQuerySpecification.java:Typing_AsLTypeRecordQuerySpecification.java:Typing_AsLTypeRecord_0_switchCommonQuerySpecification.java:Typing_AsLTypeRecord_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_LookupFailureQuerySpecification.java:Typing_LookupFailure_0_switchCommonQuerySpecification.java:Typing_LookupQuerySpecification.java:Typing_Lookup_0_switchCommonQuerySpecification.java:Typing_MatchFunFailureQuerySpecification.java:Typing_MatchFunFailure_0_switchCommonQuerySpecification.java:Typing_MatchRecordFailureQuerySpecification.java:Typing_MatchRecordFailure_0_switchCommonQuerySpecification.java:Typing_RecordEntriesQuerySpecification.java:Typing_RecordEntryCountQuerySpecification.java:Typing_RecordSameLengthFailureQuerySpecification.java:Typing_RecordSameLengthFailure_0_switchCommonQuerySpecification.java:Typing_RequiredQuerySpecification.java:Typing_Required_0_switchCommonQuerySpecification.java" />
</product>
inca-translation/solutions/RecordTypes_Checker/source_gen.caches/RecordTypes_Checker/test/ok_rec_empty/generated 0 → 100644
View file @ 3b9a1b5b
<?xml version="1.0" encoding="UTF-8"?>
<product version="3" modelHash="9wx6o3gupjycu5kutpqaxx5db2z8mnw" />
inca-translation/solutions/RecordTypes_Checker/source_gen/RecordTypes_Checker/model/Typing_AsLTypeQuerySpecification.java
View file @ 3b9a1b5b
......@@ -92,8 +92,8 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
body.setSymbolicParameters(exportedParameters);
PVariable var__tmp_240 = body.getOrCreateVariableByName("tmp_240");
PVariable var__6395623258575592358 = body.newVirtualVariable();
PVariable var__match_a0a0y = body.getOrCreateVariableByName("match_a0a0y");
PVariable var__6395623258577406461 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_ty), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x6b642eaa1043424aL, 0x9e0949eb41607114L, 0x1a4a252762eb938fL, "RecordTypes.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 "6395623258575592358";
return "6395623258577406461";
}
@Override
......@@ -116,8 +116,8 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
return LType.Nat.create();
}
}, var__6395623258575592358, false);
new Equality(body, var__tmp_240, var__6395623258575592358);
}, var__6395623258577406461, false);
new Equality(body, var__tmp_240, var__6395623258577406461);
new Equality(body, var__tmp_240, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
......@@ -132,6 +132,7 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
PVariable var__6395623258577406520 = body.newVirtualVariable();
PVariable var__lty2 = body.getOrCreateVariableByName("lty2");
PVariable var__match_a0b0a42 = body.getOrCreateVariableByName("match_a0b0a42");
PVariable var__lty1 = body.getOrCreateVariableByName("lty1");
......@@ -140,7 +141,6 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
PVariable var__ty1 = body.getOrCreateVariableByName("ty1");
PVariable var__match_a1a0y = body.getOrCreateVariableByName("match_a1a0y");
PVariable var__tmp_245 = body.getOrCreateVariableByName("tmp_245");
PVariable var__6395623258575592417 = body.newVirtualVariable();
PVariable var__tmp_241 = body.getOrCreateVariableByName("tmp_241");
PVariable var__tmp_242 = body.getOrCreateVariableByName("tmp_242");
PVariable var__tmp_243 = body.getOrCreateVariableByName("tmp_243");
......@@ -164,7 +164,7 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
@Override
public String getShortDescription() {
return "6395623258575592417";
return "6395623258577406520";
}
@Override
......@@ -177,8 +177,8 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
return LType.Fun.create(((LType.LTypeElement) valueProvider.getValue("lty1")), ((LType.LTypeElement) valueProvider.getValue("lty2")));
}
}, var__6395623258575592417, false);
new Equality(body, var__tmp_245, var__6395623258575592417);
}, var__6395623258577406520, false);
new Equality(body, var__tmp_245, var__6395623258577406520);
new Equality(body, var__tmp_245, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
......@@ -193,12 +193,12 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
PVariable var__6395623258577406554 = body.newVirtualVariable();
PVariable var__match_a2a0y = body.getOrCreateVariableByName("match_a2a0y");
PVariable var__rty = body.getOrCreateVariableByName("rty");
PVariable var__tmp_246 = body.getOrCreateVariableByName("tmp_246");
PVariable var__tmp_247 = body.getOrCreateVariableByName("tmp_247");
PVariable var__lty = body.getOrCreateVariableByName("lty");
PVariable var__6395623258575592451 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_ty), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x6b642eaa1043424aL, 0x9e0949eb41607114L, 0x1a4a252762eb938fL, "RecordTypes.structure.Type")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_AsLType_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
......@@ -211,7 +211,7 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
@Override
public String getShortDescription() {
return "6395623258575592451";
return "6395623258577406554";
}
@Override
......@@ -224,8 +224,8 @@ public final class Typing_AsLTypeQuerySpecification extends MPSQuerySpecificatio
return LType.Record.create(((LTypeRecord.LTypeRecordElement) valueProvider.getValue("lty")));
}
}, var__6395623258575592451, false);
new Equality(body, var__tmp_247, var__6395623258575592451);
}, var__6395623258577406554, false);
new Equality(body, var__tmp_247, var__6395623258577406554);
new Equality(body, var__tmp_247, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
......
inca-translation/solutions/RecordTypes_Checker/source_gen/RecordTypes_Checker/model/Typing_AsLTypeRecordQuerySpecification.java
View file @ 3b9a1b5b
......@@ -89,14 +89,14 @@ public final class Typing_AsLTypeRecordQuerySpecification extends MPSQuerySpecif
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
PVariable var__6395623258575569158 = body.getOrCreateVariableByName("6395623258575569158");
PVariable var__6395623258575569161 = body.getOrCreateVariableByName("6395623258575569161");
PVariable var__6395623258575569166 = body.newVirtualVariable();
PVariable var__6395623258577383611 = body.newVirtualVariable();
PVariable var__6395623258577383606 = body.getOrCreateVariableByName("6395623258577383606");
PVariable var__6395623258577383603 = body.getOrCreateVariableByName("6395623258577383603");
new TypeConstraint(body, Tuples.flatTupleOf(var_type), new ConceptKey(MetaAdapterFactory.getConcept(0x6b642eaa1043424aL, 0x9e0949eb41607114L, 0x1fd8e2cf9df802c6L, "RecordTypes.structure.RecordType")));
new PositivePatternCall(body, Tuples.flatTupleOf(var_type, var__6395623258575569158), Typing_AsLTypeRecord_WrappedQuerySpecification.instance().getInternalQueryRepresentation());
new AggregatorConstraint(new BoundAggregator(LTypeRecord.instance().aggregator_lub, LTypeRecord.LTypeRecordElement.class, LTypeRecord.LTypeRecordElement.class), body, Tuples.flatTupleOf(var_type, var__6395623258575569161), Typing_AsLTypeRecord_WrappedQuerySpecification.instance().getInternalQueryRepresentation(), var__6395623258575569166, 1);
new Equality(body, var_out_1, var__6395623258575569166);
new PositivePatternCall(body, Tuples.flatTupleOf(var_type, var__6395623258577383603), Typing_AsLTypeRecord_WrappedQuerySpecification.instance().getInternalQueryRepresentation());
new AggregatorConstraint(new BoundAggregator(LTypeRecord.instance().aggregator_lub, LTypeRecord.LTypeRecordElement.class, LTypeRecord.LTypeRecordElement.class), body, Tuples.flatTupleOf(var_type, var__6395623258577383606), Typing_AsLTypeRecord_WrappedQuerySpecification.instance().getInternalQueryRepresentation(), var__6395623258577383611, 1);
new Equality(body, var_out_1, var__6395623258577383611);
SetSequence.fromSet(bodies).addElement(body);
}
......
inca-translation/solutions/RecordTypes_Checker/source_gen/RecordTypes_Checker/model/Typing_AsLTypeRecord_WrappedQuerySpecification.java
View file @ 3b9a1b5b
......@@ -95,7 +95,7 @@ public final class Typing_AsLTypeRecord_WrappedQuerySpecification extends MPSQue
PVariable var__tmp_250 = body.getOrCreateVariableByName("tmp_250");
PVariable var__tmp_251 = body.getOrCreateVariableByName("tmp_251");
PVariable var__ty = body.getOrCreateVariableByName("ty");
PVariable var__6395623258575592524 = body.newVirtualVariable();
PVariable var__6395623258577406627 = body.newVirtualVariable();
PVariable var__elem = body.getOrCreateVariableByName("elem");
PVariable var__tmp_252 = body.getOrCreateVariableByName("tmp_252");
PVariable var__l = body.getOrCreateVariableByName("l");
......@@ -115,7 +115,7 @@ public final class Typing_AsLTypeRecord_WrappedQuerySpecification extends MPSQue
@Override
public String getShortDescription() {
return "6395623258575592524";
return "6395623258577406627";
}
@Override
......@@ -128,8 +128,8 @@ public final class Typing_AsLTypeRecord_WrappedQuerySpecification extends MPSQue
return LTypeRecord.instance().singleton((CodeGenerationHelper.demandWrapString(valueProvider.getValue("l"))), ((LType.LTypeElement) valueProvider.getValue("ty")));
}
}, var__6395623258575592524, false);
new Equality(body, var__tmp_254, var__6395623258575592524);
}, var__6395623258577406627, false);
new Equality(body, var__tmp_254, var__6395623258577406627);
new Equality(body, var__tmp_254, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
......@@ -144,7 +144,7 @@ public final class Typing_AsLTypeRecord_WrappedQuerySpecification extends MPSQue
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
PVariable var__6395623258575592542 = body.newVirtualVariable();
PVariable var__6395623258577406645 = body.newVirtualVariable();
PVariable var__tmp_255 = body.getOrCreateVariableByName("tmp_255");
new TypeConstraint(body, Tuples.flatTupleOf(var_type), new ConceptKey(MetaAdapterFactory.getConcept(0x6b642eaa1043424aL, 0x9e0949eb41607114L, 0x1fd8e2cf9df802c6L, "RecordTypes.structure.RecordType")));
......@@ -153,7 +153,7 @@ public final class Typing_AsLTypeRecord_WrappedQuerySpecification extends MPSQue
@Override
public String getShortDescription() {
return "6395623258575592542";
return "6395623258577406645";
}
@Override
......@@ -166,8 +166,8 @@ public final class Typing_AsLTypeRecord_WrappedQuerySpecification extends MPSQue
return LTypeRecord.instance().empty();
}
}, var__6395623258575592542, false);
new Equality(body, var__tmp_255, var__6395623258575592542);
}, var__6395623258577406645, false);
new Equality(body, var__tmp_255, var__6395623258577406645);
new Equality(body, var__tmp_255, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
......
inca-translation/solutions/RecordTypes_Checker/source_gen/RecordTypes_Checker/model/Typing_CheckErrorQuerySpecification.java
View file @ 3b9a1b5b
......@@ -94,9 +94,9 @@ public final class Typing_CheckErrorQuerySpecification extends MPSQuerySpecifica
exportedParameters.add(new ExportedParameter(body, var_out_2, p_out_2));
body.setSymbolicParameters(exportedParameters);
PVariable var__6395623258575549270 = body.newConstantVariable(Integer.parseInt("0"));
PVariable var__6395623258577363713 = body.newConstantVariable(Integer.parseInt("0"));
PVariable var__term = body.getOrCreateVariableByName("term");
PVariable var__6395623258575589737 = body.newVirtualVariable();
PVariable var__6395623258577403840 = body.newVirtualVariable();
PVariable var__tmp_35 = body.getOrCreateVariableByName("tmp_35");
PVariable var__tmp_34 = body.getOrCreateVariableByName("tmp_34");
PVariable var__tmp_36 = body.getOrCreateVariableByName("tmp_36");
......@@ -105,12 +105,12 @@ public final class Typing_CheckErrorQuerySpecification extends MPSQuerySpecifica
new TypeConstraint(body, Tuples.flatTupleOf(var__term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x6b642eaa1043424aL, 0x9e0949eb41607114L, 0x1a4a252762eb92d1L, "RecordTypes.structure.Term")));
new PositivePatternCall(body, Tuples.flatTupleOf(var__term, var__tmp_34), Typing_RequiredQuerySpecification.instance().getInternalQueryRepresentation());
new NegativePatternCall(body, Tuples.flatTupleOf(var__term), Typing_CheckQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__tmp_35, var__6395623258575549270);
new Equality(body, var__tmp_35, var__6395623258577363713);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
return "6395623258575589737";
return "6395623258577403840";
}
@Override
......@@ -123,8 +123,8 @@ public final class Typing_CheckErrorQuerySpecification extends MPSQuerySpecifica
return String.format("\"check failed\"");
}
}, var__6395623258575589737, false);
new Equality(body, var__tmp_36, var__6395623258575589737);
}, var__6395623258577403840, false);
new Equality(body, var__tmp_36, var__6395623258577403840);
new Equality(body, var__tmp_35, var_out_0);
new Equality(body, var__term, var_out_1);
new Equality(body, var__tmp_36, var_out_2);
......
inca-translation/solutions/RecordTypes_Checker/source_gen/RecordTypes_Checker/model/Typing_CheckQuerySpecification.java
View file @ 3b9a1b5b
......@@ -93,14 +93,14 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
PVariable var__tmp_183 = body.getOrCreateVariableByName("tmp_183");
PVariable var__tmp_184 = body.getOrCreateVariableByName("tmp_184");
PVariable var__tmp_185 = body.getOrCreateVariableByName("tmp_185");
PVariable var__6395623258575591631 = body.newVirtualVariable();
PVariable var__6395623258577405750 = body.newVirtualVariable();
PVariable var__t = body.getOrCreateVariableByName("t");
PVariable var__6395623258577405734 = body.newVirtualVariable();
PVariable var__tmp_181 = body.getOrCreateVariableByName("tmp_181");
PVariable var__match_b0a0a0u = body.getOrCreateVariableByName("match_b0a0a0u");
PVariable var__ty2 = body.getOrCreateVariableByName("ty2");
PVariable var__ty1 = body.getOrCreateVariableByName("ty1");
PVariable var__ty = body.getOrCreateVariableByName("ty");
PVariable var__6395623258575591647 = body.newVirtualVariable();
PVariable var__match_a0a0u = body.getOrCreateVariableByName("match_a0a0u");
PVariable var__match_a0a0a0u = body.getOrCreateVariableByName("match_a0a0a0u");
PVariable var__name = body.getOrCreateVariableByName("name");
......@@ -122,7 +122,7 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
@Override
public String getShortDescription() {
return "6395623258575591631";
return "6395623258577405734";
}
@Override
......@@ -135,14 +135,14 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
return LType.instance().funParamType(((LType.LTypeElement) valueProvider.getValue("ty")));
}
}, var__6395623258575591631, false);
new Equality(body, var__tmp_184, var__6395623258575591631);
}, var__6395623258577405734, false);
new Equality(body, var__tmp_184, var__6395623258577405734);
new Equality(body, var__ty1, var__tmp_184);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
return "6395623258575591647";
return "6395623258577405750";
}
@Override
......@@ -155,8 +155,8 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
return LType.instance().funResultType(((LType.LTypeElement) valueProvider.getValue("ty")));
}
}, var__6395623258575591647, false);
new Equality(body, var__tmp_185, var__6395623258575591647);
}, var__6395623258577405750, false);
new Equality(body, var__tmp_185, var__6395623258577405750);
new Equality(body, var__ty2, var__tmp_185);
new PositivePatternCall(body, Tuples.flatTupleOf(var__t), Typing_CheckQuerySpecification.instance().getInternalQueryRepresentation());
......@@ -173,6 +173,7 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
PVariable var__p = body.getOrCreateVariableByName("p");
PVariable var__tmp_190 = body.getOrCreateVariableByName("tmp_190");
PVariable var__t = body.getOrCreateVariableByName("t");
PVariable var__6395623258577405809 = body.newVirtualVariable();
PVariable var__ty = body.getOrCreateVariableByName("ty");
PVariable var__entry = body.getOrCreateVariableByName("entry");
PVariable var__label = body.getOrCreateVariableByName("label");
......@@ -181,7 +182,6 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
PVariable var__tmp_186 = body.getOrCreateVariableByName("tmp_186");
PVariable var__entries = body.getOrCreateVariableByName("entries");
PVariable var__tmp_187 = body.getOrCreateVariableByName("tmp_187");
PVariable var__6395623258575591706 = body.newVirtualVariable();
PVariable var__lty = body.getOrCreateVariableByName("lty");
PVariable var__tmp_188 = body.getOrCreateVariableByName("tmp_188");
PVariable var__tmp_189 = body.getOrCreateVariableByName("tmp_189");
......@@ -203,7 +203,7 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
@Override
public String getShortDescription() {
return "6395623258575591706";
return "6395623258577405809";
}
@Override
......@@ -216,8 +216,8 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
return LType.instance().recordLookup(((LType.LTypeElement) valueProvider.getValue("ty")), (CodeGenerationHelper.demandWrapString(valueProvider.getValue("label"))));
}
}, var__6395623258575591706, false);
new Equality(body, var__tmp_189, var__6395623258575591706);
}, var__6395623258577405809, false);
new Equality(body, var__tmp_189, var__6395623258577405809);
new Equality(body, var__lty, var__tmp_189);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__entry, var__tmp_190), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x6b642eaa1043424aL, 0x9e0949eb41607114L, 0x2c4ed3ae43d50d92L, 0x2c4ed3ae43d50da6L, "t")));
new Equality(body, var__t, var__tmp_190);
......@@ -235,13 +235,13 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
PVariable var__tmp_193 = body.getOrCreateVariableByName("tmp_193");
PVariable var__tmp_194 = body.getOrCreateVariableByName("tmp_194");
PVariable var__6395623258575563439 = body.newConstantVariable(true);
PVariable var__t = body.getOrCreateVariableByName("t");
PVariable var__tmp_191 = body.getOrCreateVariableByName("tmp_191");
PVariable var__tmp_192 = body.getOrCreateVariableByName("tmp_192");
PVariable var__6395623258575591756 = body.newVirtualVariable();
PVariable var__match_a2a0u = body.getOrCreateVariableByName("match_a2a0u");
PVariable var__6395623258577405859 = body.newVirtualVariable();
PVariable var__infty = body.getOrCreateVariableByName("infty");
PVariable var__6395623258577377884 = body.newConstantVariable(true);
PVariable var__reqty = body.getOrCreateVariableByName("reqty");
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x6b642eaa1043424aL, 0x9e0949eb41607114L, 0x1a4a252762eb92d1L, "RecordTypes.structure.Term")));
......@@ -256,7 +256,7 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
@Override
public String getShortDescription() {
return "6395623258575591756";
return "6395623258577405859";
}
@Override
......@@ -269,9 +269,9 @@ public final class Typing_CheckQuerySpecification extends MPSQuerySpecification
return LType.instance().leq(((LType.LTypeElement) valueProvider.getValue("infty")), ((LType.LTypeElement) valueProvider.getValue("reqty")));
}
}, var__6395623258575591756, false);
new Equality(body, var__tmp_193, var__6395623258575591756);
new Equality(body, var__tmp_194, var__6395623258575563439);
}, var__6395623258577405859, false);
new Equality(body, var__tmp_193, var__6395623258577405859);
new Equality(body, var__tmp_194, var__6395623258577377884);
new Equality(body, var__tmp_193, var__tmp_194);
SetSequence.fromSet(bodies).addElement(body);
......
inca-translation/solutions/RecordTypes_Checker/source_gen/RecordTypes_Checker/model/Typing_InferQuerySpecification.java
View file @ 3b9a1b5b
......@@ -89,14 +89,14 @@ public final class Typing_InferQuerySpecification extends MPSQuerySpecification
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
PVariable var__6395623258575569103 = body.getOrCreateVariableByName("6395623258575569103");
PVariable var__6395623258575569108 = body.newVirtualVariable();
PVariable var__6395623258575569100 = body.getOrCreateVariableByName("6395623258575569100");
PVariable var__6395623258577383545 = body.getOrCreateVariableByName("6395623258577383545");
PVariable var__6395623258577383553 = body.newVirtualVariable();
PVariable var__6395623258577383548 = body.getOrCreateVariableByName("6395623258577383548");
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x6b642eaa1043424aL, 0x9e0949eb41607114L, 0x1a4a252762eb92d1L, "RecordTypes.structure.Term")));
new PositivePatternCall(body, Tuples.flatTupleOf(var_term, var__6395623258575569100), Typing_Infer_WrappedQuerySpecification.instance().getInternalQueryRepresentation());
new AggregatorConstraint(new BoundAggregator(LType.instance().aggregator_glb, LType.LTypeElement.class, LType.LTypeElement.class), body, Tuples.flatTupleOf(var_term, var__6395623258575569103), Typing_Infer_WrappedQuerySpecification.instance().getInternalQueryRepresentation(), var__6395623258575569108, 1);
new Equality(body, var_out_1, var__6395623258575569108);
new PositivePatternCall(body, Tuples.flatTupleOf(var_term, var__6395623258577383545), Typing_Infer_WrappedQuerySpecification.instance().getInternalQueryRepresentation());
new AggregatorConstraint(new BoundAggregator(LType.instance().aggregator_glb, LType.LTypeElement.class, LType.LTypeElement.class), body, Tuples.flatTupleOf(var_term, var__6395623258577383548), Typing_Infer_WrappedQuerySpecification.instance().getInternalQueryRepresentation(), var__6395623258577383553, 1);
new Equality(body, var_out_1, var__6395623258577383553);
SetSequence.fromSet(bodies).addElement(body);
}
......
inca-translation/solutions/RecordTypes_Checker/source_gen/RecordTypes_Checker/model/Typing_LookupFailureQuerySpecification.java
View file @ 3b9a1b5b
......@@ -98,10 +98,10 @@ public final class Typing_LookupFailureQuerySpecification extends MPSQuerySpecif
PVariable var__tmp_33 = body.getOrCreateVariableByName("tmp_33");
PVariable var__term = body.getOrCreateVariableByName("term");
PVariable var__tmp_32 = body.getOrCreateVariableByName("tmp_32");
PVariable var__6395623258575564795 = body.newConstantVariable(Integer.parseInt("0"));
PVariable var__6395623258577379240 = body.newConstantVariable(Integer.parseInt("0"));
PVariable var__match_a0a0a0k = body.getOrCreateVariableByName("match_a0a0a0k");
PVariable var__v = body.getOrCreateVariableByName("v");
PVariable var__6395623258575589710 = body.newVirtualVariable();
PVariable var__6395623258577403813 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_out_1), new ConceptKey(MetaAdapterFactory.getConcept(0xceab519525ea4f22L, 0x9b92103b95ca8c0cL, 0x10802efe25aL, "jetbrains.mps.lang.core.structure.BaseConcept")));
new PositivePatternCall(body, Tuples.flatTupleOf(var__term), Typing_LookupFailure_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
......@@ -109,12 +109,12 @@ public final class Typing_LookupFailureQuerySpecification extends MPSQuerySpecif
new TypeConstraint(body, Tuples.flatTupleOf(var__match_a0a0a0k), new ConceptKey(MetaAdapterFactory.getConcept(0x6b642eaa1043424aL, 0x9e0949eb41607114L, 0x1a4a252762eb92e0L, "RecordTypes.structure.Var")));
new Equality(body, var__v, var__match_a0a0a0k);
new NegativePatternCall(body, Tuples.flatTupleOf(var__term, var__v, var__tmp_31), Typing_LookupQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__tmp_32, var__6395623258575564795);
new Equality(body, var__tmp_32, var__6395623258577379240);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
return "6395623258575589710";
return "6395623258577403813";
}
@Override
......@@ -127,8 +127,8 @@ public final class Typing_LookupFailureQuerySpecification extends MPSQuerySpecif
return String.format("variable not bound");
}
}, var__6395623258575589710, false);
new Equality(body, var__tmp_33, var__6395623258575589710);
}, var__6395623258577403813, false);
new Equality(body, var__tmp_33, var__6395623258577403813);
new Equality(body, var__tmp_32, var_out_0);
new Equality(body, var__v, var_out_1);
new Equality(body, var__tmp_33, var_out_2);
......
inca-translation/solutions/RecordTypes_Checker/source_gen/RecordTypes_Checker/model/Typing_LookupQuerySpecification.java
View file @ 3b9a1b5b
......@@ -610,6 +610,7 @@ public final class Typing_LookupQuerySpecification extends MPSQuerySpecification
PVariable var__match_a0a7c0o = body.getOrCreateVariableByName("match_a0a7c0o");
PVariable var__match_a7c0o = body.getOrCreateVariableByName("match_a7c0o");
PVariable var__t = body.getOrCreateVariableByName("t");
PVariable var__6395623258577404529 = body.newVirtualVariable();
PVariable var__tmp_89 = body.getOrCreateVariableByName("tmp_89");
PVariable var__tmp_88 = body.getOrCreateVariableByName("tmp_88");
PVariable var__ty1 = body.getOrCreateVariableByName("ty1");
......@@ -617,7 +618,6 @@ public final class Typing_LookupQuerySpecification extends MPSQuerySpecification
PVariable var__ty = body.getOrCreateVariableByName("ty");
PVariable var__tmp_92 = body.getOrCreateVariableByName("tmp_92");
PVariable var__match_b0a7c0o = body.getOrCreateVariableByName("match_b0a7c0o");
PVariable var__6395623258575590426 = body.newVirtualVariable();
PVariable var__tmp_91 = body.getOrCreateVariableByName("tmp_91");
PVariable var__tmp_90 = body.getOrCreateVariableByName("tmp_90");
PVariable var__name = body.getOrCreateVariableByName("name");
......@@ -644,7 +644,7 @@ public final class Typing_LookupQuerySpecification extends MPSQuerySpecification
@Override
public String getShortDescription() {
return "6395623258575590426";
return "6395623258577404529";
}
@Override
......@@ -657,8 +657,8 @@ public final class Typing_LookupQuerySpecification extends MPSQuerySpecification
return LType.instance().funParamType(((LType.LTypeElement) valueProvider.getValue("ty")));
}
}, var__6395623258575590426, false);
new Equality(body, var__tmp_92, var__6395623258575590426);
}, var__6395623258577404529, false);
new Equality(body, var__tmp_92, var__6395623258577404529);
new Equality(body, var__ty1, var__tmp_92);
new Equality(body, var__ty1, var_out_2);
......
inca-translation/solutions/RecordTypes_Checker/source_gen/RecordTypes_Checker/model/Typing_MatchFunFailureQuerySpecification.java
View file @ 3b9a1b5b
......@@ -94,17 +94,17 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
exportedParameters.add(new ExportedParameter(body, var_out_2, p_out_2));
body.setSymbolicParameters(exportedParameters);
PVariable var__6395623258575589440 = body.newVirtualVariable();
PVariable var__tmp_1 = body.getOrCreateVariableByName("tmp_1");
PVariable var__6395623258577379098 = body.newConstantVariable(false);
PVariable var__tmp_2 = body.getOrCreateVariableByName("tmp_2");
PVariable var__6395623258575564661 = body.newConstantVariable(Integer.parseInt("0"));
PVariable var__ty = body.getOrCreateVariableByName("ty");
PVariable var__tmp_3 = body.getOrCreateVariableByName("tmp_3");
PVariable var__tmp_4 = body.getOrCreateVariableByName("tmp_4");
PVariable var__6395623258575564653 = body.newConstantVariable(false);
PVariable var__6395623258577403543 = body.newVirtualVariable();
PVariable var__tmp_5 = body.getOrCreateVariableByName("tmp_5");
PVariable var__tmp_6 = body.getOrCreateVariableByName("tmp_6");
PVariable var__6395623258575589456 = body.newVirtualVariable();
PVariable var__6395623258577379106 = body.newConstantVariable(Integer.parseInt("0"));
PVariable var__6395623258577403559 = body.newVirtualVariable();
PVariable var__app = body.getOrCreateVariableByName("app");
new TypeConstraint(body, Tuples.flatTupleOf(var_out_1), new ConceptKey(MetaAdapterFactory.getConcept(0xceab519525ea4f22L, 0x9b92103b95ca8c0cL, 0x10802efe25aL, "jetbrains.mps.lang.core.structure.BaseConcept")));
......@@ -117,7 +117,7 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
@Override
public String getShortDescription() {
return "6395623258575589440";
return "6395623258577403543";
}
@Override
......@@ -130,16 +130,16 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
return LType.instance().isFun(((LType.LTypeElement) valueProvider.getValue("ty")));
}
}, var__6395623258575589440, false);
new Equality(body, var__tmp_3, var__6395623258575589440);
new Equality(body, var__tmp_4, var__6395623258575564653);
}, var__6395623258577403543, false);
new Equality(body, var__tmp_3, var__6395623258577403543);
new Equality(body, var__tmp_4, var__6395623258577379098);
new Equality(body, var__tmp_3, var__tmp_4);
new Equality(body, var__tmp_5, var__6395623258575564661);
new Equality(body, var__tmp_5, var__6395623258577379106);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
return "6395623258575589456";
return "6395623258577403559";
}
@Override
......@@ -152,8 +152,8 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
return String.format("not a function");
}
}, var__6395623258575589456, false);
new Equality(body, var__tmp_6, var__6395623258575589456);
}, var__6395623258577403559, false);
new Equality(body, var__tmp_6, var__6395623258577403559);
new Equality(body, var__tmp_5, var_out_0);
new Equality(body, var__app, var_out_1);
new Equality(body, var__tmp_6, var_out_2);
......@@ -172,17 +172,17 @@ public final class Typing_MatchFunFailureQuerySpecification extends MPSQuerySpec
exportedParameters.add(new ExportedParameter(body, var_out_2, p_out_2));
body.setSymbolicParameters(exportedParameters);
PVariable var__6395623258577379131 = body.newConstantVariable(false);
PVariable var__tmp_11 = body.getOrCreateVariableByName("tmp_11");
PVariable var__tmp_10 = body.getOrCreateVariableByName("tmp_10");
PVariable var__6395623258575564694 = body.newConstantVariable(Integer.parseInt("0"));