Commit e961a976 authored by André Pacak's avatar André Pacak
Browse files

change lookup function (has ITerm as toplevel to distinguish between cases and...

change lookup function (has ITerm as toplevel to distinguish between cases and other parts of the language (ExpTerm)
parent c2722538
......@@ -73,7 +73,7 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
private static final class GeneratedPQuery extends AbstractPQuery {
private final PParameter p_term = new PParameter("term", "VariantTypes.structure.Term", new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d1L, "VariantTypes.structure.Term")));
private final PParameter p_term = new PParameter("term", "VariantTypes.structure.ExpTerm", new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d1L, "VariantTypes.structure.ExpTerm")));
private final PParameter p_out_1 = new PParameter("out_1", "VariantTypes_Checker.model.LType", new LatticeInputKey("VariantTypes_Checker.model.LType", LType.instance()));
private static final Typing_RequiredQuerySpecification.GeneratedPQuery INSTANCE = new Typing_RequiredQuerySpecification.GeneratedPQuery();
......@@ -92,28 +92,28 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
PVariable var__tmp_216 = body.getOrCreateVariableByName("tmp_216");
PVariable var__match_a0a0a81 = body.getOrCreateVariableByName("match_a0a0a81");
PVariable var__2490073326105436463 = body.newVirtualVariable();
PVariable var__t = body.getOrCreateVariableByName("t");
PVariable var__match_a0a0a61 = body.getOrCreateVariableByName("match_a0a0a61");
PVariable var__tmp_214 = body.getOrCreateVariableByName("tmp_214");
PVariable var__tmp_215 = body.getOrCreateVariableByName("tmp_215");
PVariable var__4863849988524113545 = body.newVirtualVariable();
PVariable var__match_a0a0q = body.getOrCreateVariableByName("match_a0a0q");
PVariable var__tmp_219 = body.getOrCreateVariableByName("tmp_219");
PVariable var__match_a0a0s = body.getOrCreateVariableByName("match_a0a0s");
PVariable var__tmp_220 = body.getOrCreateVariableByName("tmp_220");
PVariable var__tmp_221 = body.getOrCreateVariableByName("tmp_221");
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d1L, "VariantTypes.structure.Term")));
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d1L, "VariantTypes.structure.ExpTerm")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_Required_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_term, var__tmp_214), new ConceptFeatureKey(MetaAdapterFactory.getReferenceLink(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, 0x7980b687ac7456feL, 0x7980b687ac7456ffL, "parent")));
new Equality(body, var__match_a0a0q, var__tmp_214);
new TypeConstraint(body, Tuples.flatTupleOf(var__match_a0a0q), new ConceptKey(MetaAdapterFactory.getConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d7L, "VariantTypes.structure.Succ")));
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a0a0q, var__tmp_215), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d7L, 0x1a4a252762eb92dcL, "t")));
new Equality(body, var__match_a0a0a61, var__tmp_215);
new Equality(body, var__t, var__match_a0a0a61);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_term, var__tmp_219), new ConceptFeatureKey(MetaAdapterFactory.getReferenceLink(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, 0x7980b687ac7456feL, 0x7980b687ac7456ffL, "parent")));
new Equality(body, var__match_a0a0s, var__tmp_219);
new TypeConstraint(body, Tuples.flatTupleOf(var__match_a0a0s), new ConceptKey(MetaAdapterFactory.getConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d7L, "VariantTypes.structure.Succ")));
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a0a0s, var__tmp_220), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d7L, 0x1a4a252762eb92dcL, "t")));
new Equality(body, var__match_a0a0a81, var__tmp_220);
new Equality(body, var__t, var__match_a0a0a81);
new Equality(body, var__t, var_term);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
return "4863849988524113545";
return "2490073326105436463";
}
@Override
......@@ -126,9 +126,9 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.Nat.create();
}
}, var__4863849988524113545, false);
new Equality(body, var__tmp_216, var__4863849988524113545);
new Equality(body, var__tmp_216, var_out_1);
}, var__2490073326105436463, false);
new Equality(body, var__tmp_221, var__2490073326105436463);
new Equality(body, var__tmp_221, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
}
......@@ -142,34 +142,34 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
PVariable var__match_b0b0a61 = body.getOrCreateVariableByName("match_b0b0a61");
PVariable var__tmp_217 = body.getOrCreateVariableByName("tmp_217");
PVariable var__tmp_218 = body.getOrCreateVariableByName("tmp_218");
PVariable var__match_a0b0a61 = body.getOrCreateVariableByName("match_a0b0a61");
PVariable var__tmp_219 = body.getOrCreateVariableByName("tmp_219");
PVariable var__4863849988524113596 = body.newVirtualVariable();
PVariable var__match_b0b0a81 = body.getOrCreateVariableByName("match_b0b0a81");
PVariable var__match_a0b0a81 = body.getOrCreateVariableByName("match_a0b0a81");
PVariable var__tmp_223 = body.getOrCreateVariableByName("tmp_223");
PVariable var__tmp_224 = body.getOrCreateVariableByName("tmp_224");
PVariable var__tmp_225 = body.getOrCreateVariableByName("tmp_225");
PVariable var__2490073326105436514 = body.newVirtualVariable();
PVariable var__t1 = body.getOrCreateVariableByName("t1");
PVariable var__match_a1a0q = body.getOrCreateVariableByName("match_a1a0q");
PVariable var__t2 = body.getOrCreateVariableByName("t2");
PVariable var__tmp_220 = body.getOrCreateVariableByName("tmp_220");
PVariable var__tmp_222 = body.getOrCreateVariableByName("tmp_222");
PVariable var__match_a1a0s = body.getOrCreateVariableByName("match_a1a0s");
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d1L, "VariantTypes.structure.Term")));
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d1L, "VariantTypes.structure.ExpTerm")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_Required_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_term, var__tmp_217), new ConceptFeatureKey(MetaAdapterFactory.getReferenceLink(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, 0x7980b687ac7456feL, 0x7980b687ac7456ffL, "parent")));
new Equality(body, var__match_a1a0q, var__tmp_217);
new TypeConstraint(body, Tuples.flatTupleOf(var__match_a1a0q), new ConceptKey(MetaAdapterFactory.getConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9302L, "VariantTypes.structure.Add")));
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a1a0q, var__tmp_218), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9302L, 0x1a4a252762eb9307L, "t1")));
new Equality(body, var__match_a0b0a61, var__tmp_218);
new Equality(body, var__t1, var__match_a0b0a61);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a1a0q, var__tmp_219), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9302L, 0x1a4a252762eb930bL, "t2")));
new Equality(body, var__match_b0b0a61, var__tmp_219);
new Equality(body, var__t2, var__match_b0b0a61);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_term, var__tmp_222), new ConceptFeatureKey(MetaAdapterFactory.getReferenceLink(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, 0x7980b687ac7456feL, 0x7980b687ac7456ffL, "parent")));
new Equality(body, var__match_a1a0s, var__tmp_222);
new TypeConstraint(body, Tuples.flatTupleOf(var__match_a1a0s), new ConceptKey(MetaAdapterFactory.getConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9302L, "VariantTypes.structure.Add")));
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a1a0s, var__tmp_223), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9302L, 0x1a4a252762eb9307L, "t1")));
new Equality(body, var__match_a0b0a81, var__tmp_223);
new Equality(body, var__t1, var__match_a0b0a81);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a1a0s, var__tmp_224), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9302L, 0x1a4a252762eb930bL, "t2")));
new Equality(body, var__match_b0b0a81, var__tmp_224);
new Equality(body, var__t2, var__match_b0b0a81);
new Equality(body, var__t1, var_term);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
return "4863849988524113596";
return "2490073326105436514";
}
@Override
......@@ -182,9 +182,9 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.Nat.create();
}
}, var__4863849988524113596, false);
new Equality(body, var__tmp_220, var__4863849988524113596);
new Equality(body, var__tmp_220, var_out_1);
}, var__2490073326105436514, false);
new Equality(body, var__tmp_225, var__2490073326105436514);
new Equality(body, var__tmp_225, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
}
......@@ -198,34 +198,34 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
PVariable var__match_b0b0a61 = body.getOrCreateVariableByName("match_b0b0a61");
PVariable var__4863849988524113647 = body.newVirtualVariable();
PVariable var__match_a0b0a61 = body.getOrCreateVariableByName("match_a0b0a61");
PVariable var__tmp_223 = body.getOrCreateVariableByName("tmp_223");
PVariable var__tmp_224 = body.getOrCreateVariableByName("tmp_224");
PVariable var__match_b0b0a81 = body.getOrCreateVariableByName("match_b0b0a81");
PVariable var__tmp_227 = body.getOrCreateVariableByName("tmp_227");
PVariable var__match_a0b0a81 = body.getOrCreateVariableByName("match_a0b0a81");
PVariable var__tmp_228 = body.getOrCreateVariableByName("tmp_228");
PVariable var__tmp_229 = body.getOrCreateVariableByName("tmp_229");
PVariable var__tmp_226 = body.getOrCreateVariableByName("tmp_226");
PVariable var__t1 = body.getOrCreateVariableByName("t1");
PVariable var__match_a1a0q = body.getOrCreateVariableByName("match_a1a0q");
PVariable var__t2 = body.getOrCreateVariableByName("t2");
PVariable var__tmp_221 = body.getOrCreateVariableByName("tmp_221");
PVariable var__tmp_222 = body.getOrCreateVariableByName("tmp_222");
PVariable var__match_a1a0s = body.getOrCreateVariableByName("match_a1a0s");
PVariable var__2490073326105436565 = body.newVirtualVariable();
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d1L, "VariantTypes.structure.Term")));
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d1L, "VariantTypes.structure.ExpTerm")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_Required_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_term, var__tmp_221), new ConceptFeatureKey(MetaAdapterFactory.getReferenceLink(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, 0x7980b687ac7456feL, 0x7980b687ac7456ffL, "parent")));
new Equality(body, var__match_a1a0q, var__tmp_221);
new TypeConstraint(body, Tuples.flatTupleOf(var__match_a1a0q), new ConceptKey(MetaAdapterFactory.getConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9302L, "VariantTypes.structure.Add")));
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a1a0q, var__tmp_222), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9302L, 0x1a4a252762eb9307L, "t1")));
new Equality(body, var__match_a0b0a61, var__tmp_222);
new Equality(body, var__t1, var__match_a0b0a61);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a1a0q, var__tmp_223), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9302L, 0x1a4a252762eb930bL, "t2")));
new Equality(body, var__match_b0b0a61, var__tmp_223);
new Equality(body, var__t2, var__match_b0b0a61);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_term, var__tmp_226), new ConceptFeatureKey(MetaAdapterFactory.getReferenceLink(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, 0x7980b687ac7456feL, 0x7980b687ac7456ffL, "parent")));
new Equality(body, var__match_a1a0s, var__tmp_226);
new TypeConstraint(body, Tuples.flatTupleOf(var__match_a1a0s), new ConceptKey(MetaAdapterFactory.getConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9302L, "VariantTypes.structure.Add")));
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a1a0s, var__tmp_227), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9302L, 0x1a4a252762eb9307L, "t1")));
new Equality(body, var__match_a0b0a81, var__tmp_227);
new Equality(body, var__t1, var__match_a0b0a81);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a1a0s, var__tmp_228), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9302L, 0x1a4a252762eb930bL, "t2")));
new Equality(body, var__match_b0b0a81, var__tmp_228);
new Equality(body, var__t2, var__match_b0b0a81);
new Equality(body, var__t2, var_term);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
return "4863849988524113647";
return "2490073326105436565";
}
@Override
......@@ -238,9 +238,9 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.Nat.create();
}
}, var__4863849988524113647, false);
new Equality(body, var__tmp_224, var__4863849988524113647);
new Equality(body, var__tmp_224, var_out_1);
}, var__2490073326105436565, false);
new Equality(body, var__tmp_229, var__2490073326105436565);
new Equality(body, var__tmp_229, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
}
......@@ -254,34 +254,34 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
PVariable var__tmp_227 = body.getOrCreateVariableByName("tmp_227");
PVariable var__tmp_228 = body.getOrCreateVariableByName("tmp_228");
PVariable var__match_a0c0a61 = body.getOrCreateVariableByName("match_a0c0a61");
PVariable var__tmp_225 = body.getOrCreateVariableByName("tmp_225");
PVariable var__tmp_226 = body.getOrCreateVariableByName("tmp_226");
PVariable var__match_b0c0a81 = body.getOrCreateVariableByName("match_b0c0a81");
PVariable var__2490073326105436616 = body.newVirtualVariable();
PVariable var__match_a0c0a81 = body.getOrCreateVariableByName("match_a0c0a81");
PVariable var__tmp_230 = body.getOrCreateVariableByName("tmp_230");
PVariable var__t1 = body.getOrCreateVariableByName("t1");
PVariable var__match_a2a0q = body.getOrCreateVariableByName("match_a2a0q");
PVariable var__match_b0c0a61 = body.getOrCreateVariableByName("match_b0c0a61");
PVariable var__tmp_231 = body.getOrCreateVariableByName("tmp_231");
PVariable var__t2 = body.getOrCreateVariableByName("t2");
PVariable var__4863849988524113698 = body.newVirtualVariable();
PVariable var__tmp_232 = body.getOrCreateVariableByName("tmp_232");
PVariable var__match_a2a0s = body.getOrCreateVariableByName("match_a2a0s");
PVariable var__tmp_233 = body.getOrCreateVariableByName("tmp_233");
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d1L, "VariantTypes.structure.Term")));
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d1L, "VariantTypes.structure.ExpTerm")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_Required_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_term, var__tmp_225), new ConceptFeatureKey(MetaAdapterFactory.getReferenceLink(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, 0x7980b687ac7456feL, 0x7980b687ac7456ffL, "parent")));
new Equality(body, var__match_a2a0q, var__tmp_225);
new TypeConstraint(body, Tuples.flatTupleOf(var__match_a2a0q), new ConceptKey(MetaAdapterFactory.getConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9312L, "VariantTypes.structure.Mult")));
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a2a0q, var__tmp_226), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9312L, 0x1a4a252762eb9317L, "t1")));
new Equality(body, var__match_a0c0a61, var__tmp_226);
new Equality(body, var__t1, var__match_a0c0a61);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a2a0q, var__tmp_227), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9312L, 0x1a4a252762eb931bL, "t2")));
new Equality(body, var__match_b0c0a61, var__tmp_227);
new Equality(body, var__t2, var__match_b0c0a61);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_term, var__tmp_230), new ConceptFeatureKey(MetaAdapterFactory.getReferenceLink(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, 0x7980b687ac7456feL, 0x7980b687ac7456ffL, "parent")));
new Equality(body, var__match_a2a0s, var__tmp_230);
new TypeConstraint(body, Tuples.flatTupleOf(var__match_a2a0s), new ConceptKey(MetaAdapterFactory.getConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9312L, "VariantTypes.structure.Mult")));
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a2a0s, var__tmp_231), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9312L, 0x1a4a252762eb9317L, "t1")));
new Equality(body, var__match_a0c0a81, var__tmp_231);
new Equality(body, var__t1, var__match_a0c0a81);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a2a0s, var__tmp_232), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9312L, 0x1a4a252762eb931bL, "t2")));
new Equality(body, var__match_b0c0a81, var__tmp_232);
new Equality(body, var__t2, var__match_b0c0a81);
new Equality(body, var__t1, var_term);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
return "4863849988524113698";
return "2490073326105436616";
}
@Override
......@@ -294,9 +294,9 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.Nat.create();
}
}, var__4863849988524113698, false);
new Equality(body, var__tmp_228, var__4863849988524113698);
new Equality(body, var__tmp_228, var_out_1);
}, var__2490073326105436616, false);
new Equality(body, var__tmp_233, var__2490073326105436616);
new Equality(body, var__tmp_233, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
}
......@@ -310,34 +310,34 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
PVariable var__tmp_229 = body.getOrCreateVariableByName("tmp_229");
PVariable var__4863849988524113749 = body.newVirtualVariable();
PVariable var__match_a0c0a61 = body.getOrCreateVariableByName("match_a0c0a61");
PVariable var__tmp_230 = body.getOrCreateVariableByName("tmp_230");
PVariable var__match_b0c0a81 = body.getOrCreateVariableByName("match_b0c0a81");
PVariable var__tmp_234 = body.getOrCreateVariableByName("tmp_234");
PVariable var__tmp_235 = body.getOrCreateVariableByName("tmp_235");
PVariable var__match_a0c0a81 = body.getOrCreateVariableByName("match_a0c0a81");
PVariable var__tmp_236 = body.getOrCreateVariableByName("tmp_236");
PVariable var__tmp_237 = body.getOrCreateVariableByName("tmp_237");
PVariable var__t1 = body.getOrCreateVariableByName("t1");
PVariable var__match_a2a0q = body.getOrCreateVariableByName("match_a2a0q");
PVariable var__tmp_231 = body.getOrCreateVariableByName("tmp_231");
PVariable var__match_b0c0a61 = body.getOrCreateVariableByName("match_b0c0a61");
PVariable var__2490073326105436667 = body.newVirtualVariable();
PVariable var__t2 = body.getOrCreateVariableByName("t2");
PVariable var__tmp_232 = body.getOrCreateVariableByName("tmp_232");
PVariable var__match_a2a0s = body.getOrCreateVariableByName("match_a2a0s");
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d1L, "VariantTypes.structure.Term")));
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d1L, "VariantTypes.structure.ExpTerm")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_Required_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_term, var__tmp_229), new ConceptFeatureKey(MetaAdapterFactory.getReferenceLink(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, 0x7980b687ac7456feL, 0x7980b687ac7456ffL, "parent")));
new Equality(body, var__match_a2a0q, var__tmp_229);
new TypeConstraint(body, Tuples.flatTupleOf(var__match_a2a0q), new ConceptKey(MetaAdapterFactory.getConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9312L, "VariantTypes.structure.Mult")));
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a2a0q, var__tmp_230), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9312L, 0x1a4a252762eb9317L, "t1")));
new Equality(body, var__match_a0c0a61, var__tmp_230);
new Equality(body, var__t1, var__match_a0c0a61);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a2a0q, var__tmp_231), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9312L, 0x1a4a252762eb931bL, "t2")));
new Equality(body, var__match_b0c0a61, var__tmp_231);
new Equality(body, var__t2, var__match_b0c0a61);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_term, var__tmp_234), new ConceptFeatureKey(MetaAdapterFactory.getReferenceLink(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, 0x7980b687ac7456feL, 0x7980b687ac7456ffL, "parent")));
new Equality(body, var__match_a2a0s, var__tmp_234);
new TypeConstraint(body, Tuples.flatTupleOf(var__match_a2a0s), new ConceptKey(MetaAdapterFactory.getConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9312L, "VariantTypes.structure.Mult")));
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a2a0s, var__tmp_235), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9312L, 0x1a4a252762eb9317L, "t1")));
new Equality(body, var__match_a0c0a81, var__tmp_235);
new Equality(body, var__t1, var__match_a0c0a81);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a2a0s, var__tmp_236), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb9312L, 0x1a4a252762eb931bL, "t2")));
new Equality(body, var__match_b0c0a81, var__tmp_236);
new Equality(body, var__t2, var__match_b0c0a81);
new Equality(body, var__t2, var_term);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
return "4863849988524113749";
return "2490073326105436667";
}
@Override
......@@ -350,9 +350,9 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.Nat.create();
}
}, var__4863849988524113749, false);
new Equality(body, var__tmp_232, var__4863849988524113749);
new Equality(body, var__tmp_232, var_out_1);
}, var__2490073326105436667, false);
new Equality(body, var__tmp_237, var__2490073326105436667);
new Equality(body, var__tmp_237, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
}
......@@ -366,30 +366,30 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
PVariable var__match_a3a0q = body.getOrCreateVariableByName("match_a3a0q");
PVariable var__tmp_240 = body.getOrCreateVariableByName("tmp_240");
PVariable var__match_b0d0a81 = body.getOrCreateVariableByName("match_b0d0a81");
PVariable var__tmp_238 = body.getOrCreateVariableByName("tmp_238");
PVariable var__ty = body.getOrCreateVariableByName("ty");
PVariable var__match_a0d0a61 = body.getOrCreateVariableByName("match_a0d0a61");
PVariable var__tmp_239 = body.getOrCreateVariableByName("tmp_239");
PVariable var__t = body.getOrCreateVariableByName("t");
PVariable var__tmp_234 = body.getOrCreateVariableByName("tmp_234");
PVariable var__tmp_235 = body.getOrCreateVariableByName("tmp_235");
PVariable var__tmp_236 = body.getOrCreateVariableByName("tmp_236");
PVariable var__match_b0d0a61 = body.getOrCreateVariableByName("match_b0d0a61");
PVariable var__tmp_233 = body.getOrCreateVariableByName("tmp_233");
PVariable var__match_a0d0a81 = body.getOrCreateVariableByName("match_a0d0a81");
PVariable var__match_a3a0s = body.getOrCreateVariableByName("match_a3a0s");
PVariable var__tmp_241 = body.getOrCreateVariableByName("tmp_241");
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d1L, "VariantTypes.structure.Term")));
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d1L, "VariantTypes.structure.ExpTerm")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_Required_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_term, var__tmp_233), new ConceptFeatureKey(MetaAdapterFactory.getReferenceLink(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, 0x7980b687ac7456feL, 0x7980b687ac7456ffL, "parent")));
new Equality(body, var__match_a3a0q, var__tmp_233);
new TypeConstraint(body, Tuples.flatTupleOf(var__match_a3a0q), new ConceptKey(MetaAdapterFactory.getConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb937fL, "VariantTypes.structure.Anno")));
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a3a0q, var__tmp_234), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb937fL, 0x1a4a252762eb9384L, "t")));
new Equality(body, var__match_a0d0a61, var__tmp_234);
new Equality(body, var__t, var__match_a0d0a61);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a3a0q, var__tmp_235), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb937fL, 0x1a4a252762eb93d5L, "ty")));
new Equality(body, var__match_b0d0a61, var__tmp_235);
new Equality(body, var__ty, var__match_b0d0a61);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_term, var__tmp_238), new ConceptFeatureKey(MetaAdapterFactory.getReferenceLink(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, 0x7980b687ac7456feL, 0x7980b687ac7456ffL, "parent")));
new Equality(body, var__match_a3a0s, var__tmp_238);
new TypeConstraint(body, Tuples.flatTupleOf(var__match_a3a0s), new ConceptKey(MetaAdapterFactory.getConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb937fL, "VariantTypes.structure.Anno")));
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a3a0s, var__tmp_239), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb937fL, 0x1a4a252762eb9384L, "t")));
new Equality(body, var__match_a0d0a81, var__tmp_239);
new Equality(body, var__t, var__match_a0d0a81);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a3a0s, var__tmp_240), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb937fL, 0x1a4a252762eb93d5L, "ty")));
new Equality(body, var__match_b0d0a81, var__tmp_240);
new Equality(body, var__ty, var__match_b0d0a81);
new Equality(body, var__t, var_term);
new PositivePatternCall(body, Tuples.flatTupleOf(var__ty, var__tmp_236), Typing_AsLTypeQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__tmp_236, var_out_1);
new PositivePatternCall(body, Tuples.flatTupleOf(var__ty, var__tmp_241), Typing_AsLTypeQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__tmp_241, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
}
......@@ -403,42 +403,42 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
PVariable var__match_a4a0q = body.getOrCreateVariableByName("match_a4a0q");
PVariable var__4863849988524113869 = body.newVirtualVariable();
PVariable var__tmp_240 = body.getOrCreateVariableByName("tmp_240");
PVariable var__4863849988524113853 = body.newVirtualVariable();
PVariable var__2490073326105436771 = body.newVirtualVariable();
PVariable var__match_a0e0a81 = body.getOrCreateVariableByName("match_a0e0a81");
PVariable var__2490073326105436787 = body.newVirtualVariable();
PVariable var__ty2 = body.getOrCreateVariableByName("ty2");
PVariable var__match_a0e0a61 = body.getOrCreateVariableByName("match_a0e0a61");
PVariable var__ty1 = body.getOrCreateVariableByName("ty1");
PVariable var__tmp_238 = body.getOrCreateVariableByName("tmp_238");
PVariable var__ty = body.getOrCreateVariableByName("ty");
PVariable var__tmp_239 = body.getOrCreateVariableByName("tmp_239");
PVariable var__match_b0e0a61 = body.getOrCreateVariableByName("match_b0e0a61");
PVariable var__tmp_237 = body.getOrCreateVariableByName("tmp_237");
PVariable var__tmp_245 = body.getOrCreateVariableByName("tmp_245");
PVariable var__tmp_246 = body.getOrCreateVariableByName("tmp_246");
PVariable var__match_b0e0a81 = body.getOrCreateVariableByName("match_b0e0a81");
PVariable var__tmp_247 = body.getOrCreateVariableByName("tmp_247");
PVariable var__t1 = body.getOrCreateVariableByName("t1");
PVariable var__tmp_241 = body.getOrCreateVariableByName("tmp_241");
PVariable var__t2 = body.getOrCreateVariableByName("t2");
PVariable var__tmp_242 = body.getOrCreateVariableByName("tmp_242");
PVariable var__t2 = body.getOrCreateVariableByName("t2");
PVariable var__match_a4a0s = body.getOrCreateVariableByName("match_a4a0s");
PVariable var__tmp_243 = body.getOrCreateVariableByName("tmp_243");
PVariable var__tmp_244 = body.getOrCreateVariableByName("tmp_244");
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d1L, "VariantTypes.structure.Term")));
new TypeConstraint(body, Tuples.flatTupleOf(var_term), new ConceptKey(MetaAdapterFactory.getInterfaceConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb92d1L, "VariantTypes.structure.ExpTerm")));
new PositivePatternCall(body, Tuples.flatTupleOf(), Typing_Required_0_switchCommonQuerySpecification.instance().getInternalQueryRepresentation());
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_term, var__tmp_237), new ConceptFeatureKey(MetaAdapterFactory.getReferenceLink(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, 0x7980b687ac7456feL, 0x7980b687ac7456ffL, "parent")));
new Equality(body, var__match_a4a0q, var__tmp_237);
new TypeConstraint(body, Tuples.flatTupleOf(var__match_a4a0q), new ConceptKey(MetaAdapterFactory.getConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb936bL, "VariantTypes.structure.App")));
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a4a0q, var__tmp_238), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb936bL, 0x1a4a252762eb9374L, "t1")));
new Equality(body, var__match_a0e0a61, var__tmp_238);
new Equality(body, var__t1, var__match_a0e0a61);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a4a0q, var__tmp_239), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb936bL, 0x1a4a252762eb9378L, "t2")));
new Equality(body, var__match_b0e0a61, var__tmp_239);
new Equality(body, var__t2, var__match_b0e0a61);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var_term, var__tmp_242), new ConceptFeatureKey(MetaAdapterFactory.getReferenceLink(0xb802a05692a24fbcL, 0x902ef8e5004c331fL, 0x7980b687ac7456feL, 0x7980b687ac7456ffL, "parent")));
new Equality(body, var__match_a4a0s, var__tmp_242);
new TypeConstraint(body, Tuples.flatTupleOf(var__match_a4a0s), new ConceptKey(MetaAdapterFactory.getConcept(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb936bL, "VariantTypes.structure.App")));
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a4a0s, var__tmp_243), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb936bL, 0x1a4a252762eb9374L, "t1")));
new Equality(body, var__match_a0e0a81, var__tmp_243);
new Equality(body, var__t1, var__match_a0e0a81);
new TypeConstraint(body, Tuples.staticArityFlatTupleOf(var__match_a4a0s, var__tmp_244), new ConceptFeatureKey(MetaAdapterFactory.getContainmentLink(0x3ace5b6c22d54933L, 0x9217595f2ebf8d6aL, 0x1a4a252762eb936bL, 0x1a4a252762eb9378L, "t2")));
new Equality(body, var__match_b0e0a81, var__tmp_244);
new Equality(body, var__t2, var__match_b0e0a81);
new Equality(body, var__t2, var_term);
new PositivePatternCall(body, Tuples.flatTupleOf(var__t1, var__tmp_240), Typing_InferQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__ty, var__tmp_240);
new PositivePatternCall(body, Tuples.flatTupleOf(var__t1, var__tmp_245), Typing_InferQuerySpecification.instance().getInternalQueryRepresentation());
new Equality(body, var__ty, var__tmp_245);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
return "4863849988524113853";
return "2490073326105436771";
}
@Override
......@@ -451,14 +451,14 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.instance().funParamType(((LType.LTypeElement) valueProvider.getValue("ty")));
}
}, var__4863849988524113853, false);
new Equality(body, var__tmp_241, var__4863849988524113853);
new Equality(body, var__ty1, var__tmp_241);
}, var__2490073326105436771, false);
new Equality(body, var__tmp_246, var__2490073326105436771);
new Equality(body, var__ty1, var__tmp_246);
new ExpressionEvaluation(body, new IExpressionEvaluator() {
@Override
public String getShortDescription() {
return "4863849988524113869";
return "2490073326105436787";
}
@Override
......@@ -471,9 +471,9 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
return LType.instance().funResultType(((LType.LTypeElement) valueProvider.getValue("ty")));
}
}, var__4863849988524113869, false);
new Equality(body, var__tmp_242, var__4863849988524113869);
new Equality(body, var__ty2, var__tmp_242);
}, var__2490073326105436787, false);
new Equality(body, var__tmp_247, var__2490073326105436787);
new Equality(body, var__ty2, var__tmp_247);
new Equality(body, var__ty1, var_out_1);
SetSequence.fromSet(bodies).addElement(body);
......@@ -488,44 +488,44 @@ public final class Typing_RequiredQuerySpecification extends MPSQuerySpecificati
exportedParameters.add(new ExportedParameter(body, var_out_1, p_out_1));
body.setSymbolicParameters(exportedParameters);
PVariable var__4863849988524113935 = body.newVirtualVariable();
PVariable var__match_a5a0s = body.getOrCreateVariableByName("match_a5a0s");
PVariable var__p = body.getOrCreateVariableByName("p");
PVariable var__match_a5a0q = body.getOrCreateVariableByName("match_a5a0q");
PVariable var__match_a0a5a0q = body.getOrCreateVariableByName("match_a0a5a0q");
PVariable var__tmp_250 = body.getOrCreateVariableByName("tmp_250");
PVariable var__tmp_251 = body.getOrCreateVariableByName("tmp_251");
PVariable var__match_b0a5a0s = body.getOrCreateVariableByName("match_b0a5a0s");