Skip to content

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

fo recursive type language in MPS

parent 74d41800
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 59261 additions and 7744 deletions
inca-translation/.mps/modules.xml
View file @ 345377ca
......@@ -2,6 +2,7 @@
<project version="4">
<component name="MPSProject">
<projectModules>
<modulePath path="$PROJECT_DIR$/languages/FORecursiveTypes/FORecursiveTypes.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/NewLanguage/SumTypes.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/ProductTypes/ProductTypes.mpl" folder="" />
<modulePath path="$PROJECT_DIR$/languages/RecordTypes/RecordTypes.mpl" folder="" />
......
inca-translation/.mps/workspace.xml
View file @ 345377ca
This source diff could not be displayed because it is too large. You can view the blob instead.
inca-translation/languages/FORecursiveTypes/FORecursiveTypes.mpl 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<language namespace="FORecursiveTypes" uuid="83519d5a-e8d8-40b1-b958-7bbbda82ff24" languageVersion="0" moduleVersion="0">
<models>
<modelRoot contentPath="${module}" type="default">
<sourceRoot location="models" />
</modelRoot>
</models>
<accessoryModels />
<generators>
<generator alias="main" namespace="FORecursiveTypes#2012336639220437324" uuid="3c2877ae-7905-49ad-99bc-533d3bcb33cc">
<models>
<modelRoot contentPath="${module}/generator/template" type="default">
<sourceRoot location="." />
</modelRoot>
</models>
<external-templates />
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="8" />
<language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
<language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="1" />
<language slang="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" version="2" />
<language slang="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" version="0" />
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="1" />
<language slang="l:b401a680-8325-4110-8fd3-84331ff25bef:jetbrains.mps.lang.generator" version="2" />
<language slang="l:d7706f63-9be2-479c-a3da-ae92af1e64d5:jetbrains.mps.lang.generator.generationContext" version="0" />
<language slang="l:289fcc83-6543-41e8-a5ca-768235715ce4:jetbrains.mps.lang.generator.generationParameters" version="0" />
<language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
<language slang="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" version="0" />
<language slang="l:13744753-c81f-424a-9c1b-cf8943bf4e86:jetbrains.mps.lang.sharedConcepts" version="0" />
<language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="13" />
<language slang="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" version="0" />
<language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
</languageVersions>
<dependencyVersions>
<module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
<module reference="83519d5a-e8d8-40b1-b958-7bbbda82ff24(FORecursiveTypes)" version="0" />
<module reference="3c2877ae-7905-49ad-99bc-533d3bcb33cc(FORecursiveTypes#2012336639220437324)" version="0" />
<module reference="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" version="0" />
<module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
<module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
</dependencyVersions>
<mapping-priorities />
</generator>
</generators>
<sourcePath />
<dependencies>
<dependency reexport="false">b802a056-92a2-4fbc-902e-f8e5004c331f(org.inca.core)</dependency>
</dependencies>
<languageVersions>
<language slang="l:9d69e719-78c8-4286-90db-fb19c107d049:com.mbeddr.mpsutil.grammarcells" version="0" />
<language slang="l:b4f35ed8-45af-4efa-abe4-00ac26956e69:com.mbeddr.mpsutil.grammarcells.runtimelang" version="0" />
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="8" />
<language slang="l:443f4c36-fcf5-4eb6-9500-8d06ed259e3e:jetbrains.mps.baseLanguage.classifiers" version="0" />
<language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
<language slang="l:83888646-71ce-4f1c-9c53-c54016f6ad4f:jetbrains.mps.baseLanguage.collections" version="1" />
<language slang="l:f2801650-65d5-424e-bb1b-463a8781b786:jetbrains.mps.baseLanguage.javadoc" version="2" />
<language slang="l:760a0a8c-eabb-4521-8bfd-65db761a9ba3:jetbrains.mps.baseLanguage.logging" version="0" />
<language slang="l:a247e09e-2435-45ba-b8d2-07e93feba96a:jetbrains.mps.baseLanguage.tuples" version="0" />
<language slang="l:aee9cad2-acd4-4608-aef2-0004f6a1cdbd:jetbrains.mps.lang.actions" version="4" />
<language slang="l:af65afd8-f0dd-4942-87d9-63a55f2a9db1:jetbrains.mps.lang.behavior" version="2" />
<language slang="l:3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1:jetbrains.mps.lang.constraints" version="4" />
<language slang="l:ceab5195-25ea-4f22-9b92-103b95ca8c0c:jetbrains.mps.lang.core" version="1" />
<language slang="l:f4ad079d-bc71-4ffb-9600-9328705cf998:jetbrains.mps.lang.descriptor" version="0" />
<language slang="l:18bc6592-03a6-4e29-a83a-7ff23bde13ba:jetbrains.mps.lang.editor" version="12" />
<language slang="l:446c26eb-2b7b-4bf0-9b35-f83fa582753e:jetbrains.mps.lang.modelapi" version="0" />
<language slang="l:d4615e3b-d671-4ba9-af01-2b78369b0ba7:jetbrains.mps.lang.pattern" version="1" />
<language slang="l:3a13115c-633c-4c5c-bbcc-75c4219e9555:jetbrains.mps.lang.quotation" version="0" />
<language slang="l:982eb8df-2c96-4bd7-9963-11712ea622e5:jetbrains.mps.lang.resources" version="2" />
<language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="13" />
<language slang="l:c72da2b9-7cce-4447-8389-f407dc1158b7:jetbrains.mps.lang.structure" version="7" />
<language slang="l:c7fb639f-be78-4307-89b0-b5959c3fa8c8:jetbrains.mps.lang.text" version="0" />
<language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
<language slang="l:7a5dda62-9140-4668-ab76-d5ed1746f2b2:jetbrains.mps.lang.typesystem" version="1" />
</languageVersions>
<dependencyVersions>
<module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
<module reference="83519d5a-e8d8-40b1-b958-7bbbda82ff24(FORecursiveTypes)" version="0" />
<module reference="6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)" version="0" />
<module reference="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)" version="0" />
<module reference="1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)" version="0" />
<module reference="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" version="0" />
<module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" version="0" />
<module reference="742f6602-5a2f-4313-aa6e-ae1cd4ffdc61(MPS.Platform)" version="0" />
<module reference="f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)" version="0" />
<module reference="fd392034-7849-419d-9071-12563d152375(jetbrains.mps.baseLanguage.closures)" version="0" />
<module reference="83888646-71ce-4f1c-9c53-c54016f6ad4f(jetbrains.mps.baseLanguage.collections)" version="0" />
<module reference="f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
<module reference="7866978e-a0f0-4cc7-81bc-4d213d9375e1(jetbrains.mps.lang.smodel)" version="1" />
<module reference="c72da2b9-7cce-4447-8389-f407dc1158b7(jetbrains.mps.lang.structure)" version="0" />
<module reference="9ded098b-ad6a-4657-bfd9-48636cfe8bc3(jetbrains.mps.lang.traceable)" version="0" />
<module reference="b802a056-92a2-4fbc-902e-f8e5004c331f(org.inca.core)" version="0" />
<module reference="bc791f96-4749-4311-a6e4-241e47ca97f9(org.inca.core.util)" version="0" />
</dependencyVersions>
<extendedLanguages />
</language>
inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/behavior/trace.info 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<debug-info version="2">
<root>
<file name="BehaviorAspectDescriptor.java">
<unit at="11,0,22,0" name="FORecursiveTypes.behavior.BehaviorAspectDescriptor" />
</file>
</root>
</debug-info>
inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/constraints/checkpoints 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<checkpoints>
<plan id="AspectCPS">
<checkpoint id="DescriptorClasses" file="aspectcps-descriptorclasses.mps" />
</plan>
</checkpoints>
inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/structure/checkpoints 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<checkpoints>
<plan id="AspectCPS">
<checkpoint id="DescriptorClasses" file="aspectcps-descriptorclasses.mps" />
</plan>
</checkpoints>
inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/trace.info 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<debug-info version="2">
<root>
<file name="Language.java">
<unit at="20,0,68,0" name="FORecursiveTypes.Language" />
</file>
</root>
</debug-info>
inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/typesystem/aspectcps-descriptorclasses.mps 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<model ref="00000000-0000-4000-5f02-5beb5f025beb/i:f106646(checkpoints/FORecursiveTypes.typesystem@descriptorclasses)">
<persistence version="9" />
<attribute name="checkpoint" value="DescriptorClasses" />
<attribute name="generation-plan" value="AspectCPS" />
<languages />
<imports>
<import index="pyhd" ref="r:1ec21622-b811-466a-bd2c-5d16c7773a8f(FORecursiveTypes.typesystem)" />
<import index="qurh" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.lang.typesystem.runtime(MPS.Core/)" />
</imports>
<registry>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
<concept id="1068390468198" name="jetbrains.mps.baseLanguage.structure.ClassConcept" flags="ig" index="312cEu">
<child id="1165602531693" name="superclass" index="1zkMxy" />
</concept>
<concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
<child id="1068580123133" name="returnType" index="3clF45" />
<child id="1068580123135" name="body" index="3clF47" />
</concept>
<concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS" />
<concept id="1068580123140" name="jetbrains.mps.baseLanguage.structure.ConstructorDeclaration" flags="ig" index="3clFbW" />
<concept id="1068581517677" name="jetbrains.mps.baseLanguage.structure.VoidType" flags="in" index="3cqZAl" />
<concept id="1107461130800" name="jetbrains.mps.baseLanguage.structure.Classifier" flags="ng" index="3pOWGL">
<child id="5375687026011219971" name="member" index="jymVt" unordered="true" />
</concept>
<concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
<reference id="1107535924139" name="classifier" index="3uigEE" />
</concept>
<concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
<child id="1178549979242" name="visibility" index="1B3o_S" />
</concept>
<concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
</language>
<language id="b401a680-8325-4110-8fd3-84331ff25bef" name="jetbrains.mps.lang.generator">
<concept id="3864140621129707969" name="jetbrains.mps.lang.generator.structure.GeneratorDebug_Mappings" flags="nn" index="39dXUE">
<child id="3864140621129713349" name="labels" index="39e2AI" />
</concept>
<concept id="3864140621129713351" name="jetbrains.mps.lang.generator.structure.GeneratorDebug_NodeMapEntry" flags="nn" index="39e2AG">
<property id="5843998055530255671" name="isNewRoot" index="2mV_xN" />
<child id="3864140621129713365" name="outputNode" index="39e2AY" />
</concept>
<concept id="3864140621129713348" name="jetbrains.mps.lang.generator.structure.GeneratorDebug_LabelEntry" flags="nn" index="39e2AJ">
<property id="3864140621129715945" name="label" index="39e3Y2" />
<child id="3864140621129715947" name="entries" index="39e3Y0" />
</concept>
<concept id="3864140621129713362" name="jetbrains.mps.lang.generator.structure.GeneratorDebug_NodeRef" flags="nn" index="39e2AT">
<reference id="3864140621129713363" name="node" index="39e2AS" />
</concept>
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="39dXUE" id="0">
<node concept="39e2AJ" id="1" role="39e2AI">
<property role="39e3Y2" value="descriptorClass" />
<node concept="39e2AG" id="2" role="39e3Y0">
<property role="2mV_xN" value="true" />
<node concept="39e2AT" id="3" role="39e2AY">
<ref role="39e2AS" node="4" resolve="TypesystemDescriptor" />
</node>
</node>
</node>
</node>
<node concept="312cEu" id="4">
<property role="TrG5h" value="TypesystemDescriptor" />
<node concept="3clFbW" id="5" role="jymVt">
<node concept="3clFbS" id="8" role="3clF47" />
<node concept="3Tm1VV" id="9" role="1B3o_S" />
<node concept="3cqZAl" id="a" role="3clF45" />
</node>
<node concept="3Tm1VV" id="6" role="1B3o_S" />
<node concept="3uibUv" id="7" role="1zkMxy">
<ref role="3uigEE" to="qurh:~BaseHelginsDescriptor" resolve="BaseHelginsDescriptor" />
</node>
</node>
</model>
inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/typesystem/checkpoints 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<checkpoints>
<plan id="AspectCPS">
<checkpoint id="DescriptorClasses" file="aspectcps-descriptorclasses.mps" />
</plan>
</checkpoints>
inca-translation/languages/FORecursiveTypes/classes_gen/FORecursiveTypes/typesystem/trace.info 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<debug-info version="2">
<root>
<file name="TypesystemDescriptor.java">
<unit at="7,0,11,0" name="FORecursiveTypes.typesystem.TypesystemDescriptor" />
</file>
</root>
</debug-info>
inca-translation/languages/FORecursiveTypes/generator/classes_gen/FORecursiveTypes/trace.info 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<debug-info version="2">
<root>
<file name="Generator.java">
<unit at="16,0,41,0" name="FORecursiveTypes.Generator" />
</file>
</root>
</debug-info>
inca-translation/languages/FORecursiveTypes/generator/classes_gen/main/trace.info 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<debug-info version="2">
<root>
<file name="QueriesGenerated.java">
<unit at="8,0,14,0" name="main.QueriesGenerated" />
</file>
</root>
</debug-info>
inca-translation/languages/FORecursiveTypes/generator/source_gen.caches/FORecursiveTypes/dependencies 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<dependenciesRoot>
<dependency className="FORecursiveTypes.Generator">
<classNode dependClassName="java.lang.Override" />
<classNode dependClassName="java.util.Arrays" />
<classNode dependClassName="java.util.Collection" />
<classNode dependClassName="jetbrains.mps.smodel.Generator" />
<classNode dependClassName="jetbrains.mps.smodel.language.LanguageRegistry" />
<classNode dependClassName="jetbrains.mps.smodel.language.LanguageRuntime" />
<classNode dependClassName="main.QueriesGenerated" />
<classNode dependClassName="org.jetbrains.annotations.NotNull" />
<classNode dependClassName="org.jetbrains.mps.openapi.language.SLanguage" />
<classNode dependClassName="org.jetbrains.mps.openapi.module.SModuleReference" />
<classNode dependClassName="org.jetbrains.mps.openapi.persistence.PersistenceFacade" />
<classNode extendsClassName="jetbrains.mps.generator.runtime.TemplateModuleInterpreted2" />
</dependency>
</dependenciesRoot>
inca-translation/languages/FORecursiveTypes/generator/source_gen.caches/FORecursiveTypes/generated 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<product version="3" modelHash="-tzuq52mhrk3d53i36asgw00ivsebt0">
<files names="Generator.java" />
</product>
inca-translation/languages/FORecursiveTypes/generator/source_gen.caches/main/dependencies 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<dependenciesRoot>
<dependency className="main.QueriesGenerated">
<classNode dependClassName="jetbrains.mps.generator.runtime.Generated" />
<classNode extendsClassName="jetbrains.mps.generator.impl.query.QueryProviderBase" />
</dependency>
</dependenciesRoot>
inca-translation/languages/FORecursiveTypes/generator/source_gen.caches/main/generated 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<product version="3" modelHash="-97fr4krga8qqp3z930sov8oadvntmzb">
<files names="QueriesGenerated.java" />
</product>
inca-translation/languages/FORecursiveTypes/generator/source_gen/FORecursiveTypes/Generator.java 0 → 100644
View file @ 345377ca
package FORecursiveTypes;
/*Generated by MPS */
import jetbrains.mps.generator.runtime.TemplateModuleInterpreted2;
import jetbrains.mps.smodel.language.LanguageRegistry;
import jetbrains.mps.smodel.language.LanguageRuntime;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.mps.openapi.module.SModuleReference;
import org.jetbrains.mps.openapi.persistence.PersistenceFacade;
import main.QueriesGenerated;
import java.util.Collection;
import org.jetbrains.mps.openapi.language.SLanguage;
import java.util.Arrays;
public class Generator extends TemplateModuleInterpreted2 {
public Generator(LanguageRegistry languageRegistry, LanguageRuntime sourceLanguage, jetbrains.mps.smodel.Generator generator) {
super(languageRegistry, sourceLanguage, generator);
}
@NotNull
@Override
public SModuleReference getModuleReference() {
return PersistenceFacade.getInstance().createModuleReference("3c2877ae-7905-49ad-99bc-533d3bcb33cc(FORecursiveTypes#2012336639220437324)");
}
@Override
protected void fillTemplateModels(TemplateModuleInterpreted2.TemplateModels models) {
models.templates("r:2eca1223-533a-4f46-9f93-da29cdc68037", QueriesGenerated.class);
}
@Override
public Collection<SLanguage> getTargetLanguages() {
SLanguage[] rv = new SLanguage[0];
return Arrays.asList(rv);
}
}
inca-translation/languages/FORecursiveTypes/generator/source_gen/FORecursiveTypes/trace.info 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<debug-info version="2">
<root>
<file name="Generator.java">
<unit at="16,0,41,0" name="FORecursiveTypes.Generator" />
</file>
</root>
</debug-info>
inca-translation/languages/FORecursiveTypes/generator/source_gen/main/QueriesGenerated.java 0 → 100644
View file @ 345377ca
package main;
/*Generated by MPS */
import jetbrains.mps.generator.runtime.Generated;
import jetbrains.mps.generator.impl.query.QueryProviderBase;
@Generated
public class QueriesGenerated extends QueryProviderBase {
public QueriesGenerated() {
super(1);
}
}
inca-translation/languages/FORecursiveTypes/generator/source_gen/main/trace.info 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<debug-info version="2">
<root>
<file name="QueriesGenerated.java">
<unit at="8,0,14,0" name="main.QueriesGenerated" />
</file>
</root>
</debug-info>
inca-translation/languages/FORecursiveTypes/generator/template/main@generator.mps 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:2eca1223-533a-4f46-9f93-da29cdc68037(main@generator)">
<persistence version="9" />
<languages>
<devkit ref="a2eb3a43-fcc2-4200-80dc-c60110c4862d(jetbrains.mps.devkit.templates)" />
</languages>
<imports>
<import index="se3d" ref="r:dbbc3a30-e198-4dc0-ba2b-f425856d088c(FORecursiveTypes.structure)" />
</imports>
<registry>
<language id="b401a680-8325-4110-8fd3-84331ff25bef" name="jetbrains.mps.lang.generator">
<concept id="1095416546421" name="jetbrains.mps.lang.generator.structure.MappingConfiguration" flags="ig" index="bUwia" />
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="bUwia" id="1Da9ityUTaV">
<property role="TrG5h" value="main" />
</node>
</model>
inca-translation/languages/FORecursiveTypes/models/behavior.mps 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:c8064f45-4295-40e5-9a08-31a21fdc3145(FORecursiveTypes.behavior)">
<persistence version="9" />
<languages>
<use id="af65afd8-f0dd-4942-87d9-63a55f2a9db1" name="jetbrains.mps.lang.behavior" version="2" />
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
</languages>
<imports />
<registry />
</model>
inca-translation/languages/FORecursiveTypes/models/editor.mps 0 → 100644
View file @ 345377ca
This diff is collapsed.
inca-translation/languages/FORecursiveTypes/models/typesystem.mps 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:1ec21622-b811-466a-bd2c-5d16c7773a8f(FORecursiveTypes.typesystem)">
<persistence version="9" />
<languages>
<use id="7a5dda62-9140-4668-ab76-d5ed1746f2b2" name="jetbrains.mps.lang.typesystem" version="1" />
<devkit ref="00000000-0000-4000-0000-1de82b3a4936(jetbrains.mps.devkit.aspect.typesystem)" />
</languages>
<imports />
<registry />
</model>
inca-translation/languages/FORecursiveTypes/source_gen.caches/FORecursiveTypes/behavior/dependencies 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<dependenciesRoot>
<dependency className="FORecursiveTypes.behavior.BehaviorAspectDescriptor">
<classNode dependClassName="jetbrains.mps.core.aspects.behaviour.api.BHDescriptor" />
<classNode dependClassName="org.jetbrains.annotations.NotNull" />
<classNode dependClassName="org.jetbrains.annotations.Nullable" />
<classNode dependClassName="org.jetbrains.mps.openapi.language.SAbstractConcept" />
<classNode extendsClassName="jetbrains.mps.core.aspects.behaviour.BaseBehaviorAspectDescriptor" />
</dependency>
</dependenciesRoot>
inca-translation/languages/FORecursiveTypes/source_gen.caches/FORecursiveTypes/behavior/generated 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<product version="3" modelHash="-4wtoy0tqmffc79a4qwejv8v1mpieafe">
<files names="BehaviorAspectDescriptor.java" />
</product>
inca-translation/languages/FORecursiveTypes/source_gen.caches/FORecursiveTypes/constraints/dependencies 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<dependenciesRoot>
<dependency className="FORecursiveTypes.constraints.ConstraintsAspectDescriptor">
<classNode dependClassName="FORecursiveTypes.constraints.Lam_Constraints" />
<classNode dependClassName="FORecursiveTypes.constraints.LetType_Constraints" />
<classNode dependClassName="FORecursiveTypes.constraints.Let_Constraints" />
<classNode dependClassName="FORecursiveTypes.constraints.TypeVar_Constraints" />
<classNode dependClassName="FORecursiveTypes.constraints.Var_Constraints" />
<classNode dependClassName="java.lang.Override" />
<classNode dependClassName="jetbrains.mps.lang.smodel.ConceptSwitchIndex" />
<classNode dependClassName="jetbrains.mps.lang.smodel.ConceptSwitchIndexBuilder" />
<classNode dependClassName="jetbrains.mps.smodel.adapter.ids.MetaIdFactory" />
<classNode dependClassName="jetbrains.mps.smodel.runtime.ConstraintsDescriptor" />
<classNode dependClassName="jetbrains.mps.smodel.runtime.base.BaseConstraintsDescriptor" />
<classNode dependClassName="org.jetbrains.mps.openapi.language.SAbstractConcept" />
<classNode extendsClassName="jetbrains.mps.smodel.runtime.BaseConstraintsAspectDescriptor" />
</dependency>
<dependency className="FORecursiveTypes.constraints.Lam_Constraints">
<classNode dependClassName="java.lang.Override" />
<classNode dependClassName="java.lang.String" />
<classNode dependClassName="java.util.HashMap" />
<classNode dependClassName="java.util.Map" />
<classNode dependClassName="jetbrains.mps.lang.smodel.generator.smodelAdapter.SPropertyOperations" />
<classNode dependClassName="jetbrains.mps.smodel.adapter.ids.MetaIdFactory" />
<classNode dependClassName="jetbrains.mps.smodel.adapter.structure.MetaAdapterFactory" />
<classNode dependClassName="jetbrains.mps.smodel.runtime.PropertyConstraintsDescriptor" />
<classNode dependClassName="jetbrains.mps.smodel.runtime.base.BasePropertyConstraintsDescriptor" />
<classNode dependClassName="org.jetbrains.mps.openapi.language.SProperty" />
<classNode dependClassName="org.jetbrains.mps.openapi.model.SNode" />
<classNode extendsClassName="jetbrains.mps.smodel.runtime.base.BaseConstraintsDescriptor" />
</dependency>
<dependency className="FORecursiveTypes.constraints.LetType_Constraints">
<classNode dependClassName="java.lang.Override" />
<classNode dependClassName="java.lang.String" />
<classNode dependClassName="java.util.HashMap" />
<classNode dependClassName="java.util.Map" />
<classNode dependClassName="jetbrains.mps.lang.smodel.generator.smodelAdapter.SPropertyOperations" />
<classNode dependClassName="jetbrains.mps.smodel.adapter.ids.MetaIdFactory" />
<classNode dependClassName="jetbrains.mps.smodel.adapter.structure.MetaAdapterFactory" />
<classNode dependClassName="jetbrains.mps.smodel.runtime.PropertyConstraintsDescriptor" />
<classNode dependClassName="jetbrains.mps.smodel.runtime.base.BasePropertyConstraintsDescriptor" />
<classNode dependClassName="org.jetbrains.mps.openapi.language.SProperty" />
<classNode dependClassName="org.jetbrains.mps.openapi.model.SNode" />
<classNode extendsClassName="jetbrains.mps.smodel.runtime.base.BaseConstraintsDescriptor" />
</dependency>
<dependency className="FORecursiveTypes.constraints.Let_Constraints">
<classNode dependClassName="java.lang.Override" />
<classNode dependClassName="java.lang.String" />
<classNode dependClassName="java.util.HashMap" />
<classNode dependClassName="java.util.Map" />
<classNode dependClassName="jetbrains.mps.lang.smodel.generator.smodelAdapter.SPropertyOperations" />
<classNode dependClassName="jetbrains.mps.smodel.adapter.ids.MetaIdFactory" />
<classNode dependClassName="jetbrains.mps.smodel.adapter.structure.MetaAdapterFactory" />
<classNode dependClassName="jetbrains.mps.smodel.runtime.PropertyConstraintsDescriptor" />
<classNode dependClassName="jetbrains.mps.smodel.runtime.base.BasePropertyConstraintsDescriptor" />
<classNode dependClassName="org.jetbrains.mps.openapi.language.SProperty" />
<classNode dependClassName="org.jetbrains.mps.openapi.model.SNode" />
<classNode extendsClassName="jetbrains.mps.smodel.runtime.base.BaseConstraintsDescriptor" />
</dependency>
<dependency className="FORecursiveTypes.constraints.TypeVar_Constraints">
<classNode dependClassName="java.lang.Override" />
<classNode dependClassName="java.lang.String" />
<classNode dependClassName="java.util.HashMap" />
<classNode dependClassName="java.util.Map" />
<classNode dependClassName="jetbrains.mps.lang.smodel.generator.smodelAdapter.SPropertyOperations" />
<classNode dependClassName="jetbrains.mps.smodel.adapter.ids.MetaIdFactory" />
<classNode dependClassName="jetbrains.mps.smodel.adapter.structure.MetaAdapterFactory" />
<classNode dependClassName="jetbrains.mps.smodel.runtime.PropertyConstraintsDescriptor" />
<classNode dependClassName="jetbrains.mps.smodel.runtime.base.BasePropertyConstraintsDescriptor" />
<classNode dependClassName="org.jetbrains.mps.openapi.language.SProperty" />
<classNode dependClassName="org.jetbrains.mps.openapi.model.SNode" />
<classNode extendsClassName="jetbrains.mps.smodel.runtime.base.BaseConstraintsDescriptor" />
</dependency>
<dependency className="FORecursiveTypes.constraints.Var_Constraints">
<classNode dependClassName="java.lang.Override" />
<classNode dependClassName="java.lang.String" />
<classNode dependClassName="java.util.HashMap" />
<classNode dependClassName="java.util.Map" />
<classNode dependClassName="jetbrains.mps.lang.smodel.generator.smodelAdapter.SPropertyOperations" />
<classNode dependClassName="jetbrains.mps.smodel.adapter.ids.MetaIdFactory" />
<classNode dependClassName="jetbrains.mps.smodel.adapter.structure.MetaAdapterFactory" />
<classNode dependClassName="jetbrains.mps.smodel.runtime.PropertyConstraintsDescriptor" />
<classNode dependClassName="jetbrains.mps.smodel.runtime.base.BasePropertyConstraintsDescriptor" />
<classNode dependClassName="org.jetbrains.mps.openapi.language.SProperty" />
<classNode dependClassName="org.jetbrains.mps.openapi.model.SNode" />
<classNode extendsClassName="jetbrains.mps.smodel.runtime.base.BaseConstraintsDescriptor" />
</dependency>
</dependenciesRoot>
inca-translation/languages/FORecursiveTypes/source_gen.caches/FORecursiveTypes/constraints/generated 0 → 100644
View file @ 345377ca
<?xml version="1.0" encoding="UTF-8"?>
<product version="3" modelHash="dbq6tym40rz9jzfav1cgfscnlbvtn5h">
<files names="ConstraintsAspectDescriptor.java:Lam_Constraints.java:LetType_Constraints.java:Let_Constraints.java:TypeVar_Constraints.java:Var_Constraints.java" />
</product>