Typechecking BL: reimplement type inference, implement and test various missing features. Cleann up and restructure code.
This commit is contained in:
Fedor Isakov
parent
f095c64abe
commit
e9d5a05900
|
|
@ -338,6 +338,8 @@
|
|||
<fileset file="${artifacts.mps}/lib/ecj-4.7.2.jar" />
|
||||
<fileset dir="${artifacts.mps}/lib" includes="*.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.closures.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.collections.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.logging.runtime.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/baseLanguage/jetbrains.mps.baseLanguage.scopes.jar" />
|
||||
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.coderules.jar" />
|
||||
|
|
@ -347,8 +349,12 @@
|
|||
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.controlflow.runtime.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.core.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.descriptor.aspects.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.modelapi.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.smodel.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.structure.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.traceable.jar" />
|
||||
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.lang.typechecking.runtime.jar" />
|
||||
<fileset file="${artifacts.mps}/languages/languageDesign/jetbrains.mps.lang.typesystem.jar" />
|
||||
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.logic.runtime.jar" />
|
||||
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.reporting.runtime.jar" />
|
||||
<fileset file="${artifacts.coderules}/deploy/jetbrains.mps.typechecking.jar" />
|
||||
|
|
|
|||
|
|
@ -15,6 +15,8 @@
|
|||
<dependency reexport="false">ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)</dependency>
|
||||
<dependency reexport="false">6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.typechecking)</dependency>
|
||||
<dependency reexport="false">517911e5-605f-4310-831b-10d44e0f5237(jetbrains.mps.controlflow)</dependency>
|
||||
<dependency reexport="false">498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)</dependency>
|
||||
<dependency reexport="false">7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem)</dependency>
|
||||
</dependencies>
|
||||
<languageVersions>
|
||||
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="6" />
|
||||
|
|
@ -51,8 +53,11 @@
|
|||
<module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" 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="498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)" version="0" />
|
||||
<module reference="8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)" 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="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
|
||||
<module reference="0fda14cc-a416-4c81-869a-2175d8b3325d(jetbrains.mps.baseLanguageExt)" version="0" />
|
||||
<module reference="f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules)" version="0" />
|
||||
|
|
@ -62,8 +67,12 @@
|
|||
<module reference="ff6372a2-2f45-4ec3-952b-02581666015f(jetbrains.mps.lang.coderules.template)" 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="f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime)" version="0" />
|
||||
<module reference="7a5dda62-9140-4668-ab76-d5ed1746f2b2(jetbrains.mps.lang.typesystem)" version="0" />
|
||||
<module reference="bbf5c548-7111-4a53-a117-cdefc664cf34(jetbrains.mps.logic.reactor)" version="0" />
|
||||
<module reference="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" version="0" />
|
||||
<module reference="da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.reporting.runtime)" version="0" />
|
||||
|
|
|
|||
File diff suppressed because it is too large
Load Diff
|
|
@ -248,6 +248,18 @@
|
|||
<ref role="1Busuk" to="ffeo:7Kfy9QB6KYb" resolve="jetbrains.mps.baseLanguage" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1SiIV0" id="70Wv0dJlji0" role="3bR37C">
|
||||
<node concept="3bR9La" id="70Wv0dJlji1" role="1SiIV1">
|
||||
<property role="3bR36h" value="false" />
|
||||
<ref role="3bR37D" to="ffeo:1ia2VB5guYy" resolve="MPS.IDEA" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1SiIV0" id="1EFtv_BLZ04" role="3bR37C">
|
||||
<node concept="3bR9La" id="1EFtv_BLZ05" role="1SiIV1">
|
||||
<property role="3bR36h" value="false" />
|
||||
<ref role="3bR37D" to="ffeo:7Kfy9QB6Lc2" resolve="jetbrains.mps.lang.typesystem" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1E1JtA" id="69UmpDmJW8I" role="2G$12L">
|
||||
<property role="BnDLt" value="true" />
|
||||
|
|
@ -344,6 +356,12 @@
|
|||
<ref role="3bR37D" to="zqd8:65DJywFj0Fi" resolve="jetbrains.mps.typechecking" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1SiIV0" id="70Wv0dJljii" role="3bR37C">
|
||||
<node concept="3bR9La" id="70Wv0dJljij" role="1SiIV1">
|
||||
<property role="3bR36h" value="false" />
|
||||
<ref role="3bR37D" to="ffeo:1TaHNgiIbIQ" resolve="MPS.Core" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="22LTRH" id="69UmpDmJWeu" role="1hWBAP">
|
||||
|
|
|
|||
|
|
@ -12,7 +12,6 @@
|
|||
<import index="7rut" ref="r:b1bec7fa-733c-4182-bbd4-b266e3d7e6db(typechecking.samples.baseLanguage.bounds.bad)" />
|
||||
<import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" />
|
||||
<import index="tj24" ref="r:0fbbb63a-fd15-46e1-8136-78049f6d6e63(jetbrains.mps.typechecking.service)" />
|
||||
<import index="mhbf" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.model(MPS.OpenAPI/)" implicit="true" />
|
||||
<import index="z1c3" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)" implicit="true" />
|
||||
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
|
||||
</imports>
|
||||
|
|
@ -24,6 +23,7 @@
|
|||
<concept id="1225467090849" name="jetbrains.mps.lang.test.structure.ProjectExpression" flags="nn" index="1jxXqW" />
|
||||
<concept id="1216913645126" name="jetbrains.mps.lang.test.structure.NodesTestCase" flags="lg" index="1lH9Xt">
|
||||
<property id="6339244025081158986" name="needsNoWriteAction" index="3OwPAg" />
|
||||
<child id="1216993439383" name="methods" index="1qtyYc" />
|
||||
<child id="1217501895093" name="testMethods" index="1SL9yI" />
|
||||
</concept>
|
||||
<concept id="1225978065297" name="jetbrains.mps.lang.test.structure.SimpleNodeTest" flags="ng" index="1LZb2c" />
|
||||
|
|
@ -44,6 +44,7 @@
|
|||
<concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
|
||||
<reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
|
||||
</concept>
|
||||
<concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
|
||||
<concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
|
||||
<concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
|
||||
<child id="5680397130376446158" name="type" index="1tU5fm" />
|
||||
|
|
@ -51,12 +52,12 @@
|
|||
<concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
|
||||
<child id="1164879685961" name="throwsItem" index="Sfmx6" />
|
||||
<child id="1068580123133" name="returnType" index="3clF45" />
|
||||
<child id="1068580123134" name="parameter" index="3clF46" />
|
||||
<child id="1068580123135" name="body" index="3clF47" />
|
||||
</concept>
|
||||
<concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
|
||||
<child id="1068580123156" name="expression" index="3clFbG" />
|
||||
</concept>
|
||||
<concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
|
||||
<concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
|
||||
<child id="1068581517665" name="statement" index="3cqZAp" />
|
||||
</concept>
|
||||
|
|
@ -72,6 +73,10 @@
|
|||
<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="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
|
||||
</language>
|
||||
<language id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access">
|
||||
<concept id="8974276187400348173" name="jetbrains.mps.lang.access.structure.CommandClosureLiteral" flags="nn" index="1QHqEC" />
|
||||
|
|
@ -86,137 +91,139 @@
|
|||
<child id="1199569916463" name="body" index="1bW5cS" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="443f4c36-fcf5-4eb6-9500-8d06ed259e3e" name="jetbrains.mps.baseLanguage.classifiers">
|
||||
<concept id="1205752633985" name="jetbrains.mps.baseLanguage.classifiers.structure.ThisClassifierExpression" flags="nn" index="2WthIp" />
|
||||
<concept id="1205756064662" name="jetbrains.mps.baseLanguage.classifiers.structure.IMemberOperation" flags="ng" index="2WEnae">
|
||||
<reference id="1205756909548" name="member" index="2WH_rO" />
|
||||
</concept>
|
||||
<concept id="1205769003971" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodDeclaration" flags="ng" index="2XrIbr" />
|
||||
<concept id="1205769149993" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodCallOperation" flags="nn" index="2XshWL">
|
||||
<child id="1205770614681" name="actualArgument" index="2XxRq1" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="446c26eb-2b7b-4bf0-9b35-f83fa582753e" name="jetbrains.mps.lang.modelapi">
|
||||
<concept id="4733039728785194814" name="jetbrains.mps.lang.modelapi.structure.NamedNodeReference" flags="ng" index="ZC_QK">
|
||||
<reference id="7256306938026143658" name="target" index="2aWVGs" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="f61473f9-130f-42f6-b98d-6c438812c2f6" name="jetbrains.mps.baseLanguage.unitTest">
|
||||
<concept id="1172069869612" name="jetbrains.mps.baseLanguage.unitTest.structure.AssertThrows" flags="nn" index="3$NI$W">
|
||||
<child id="1172070029086" name="statement" index="3$Oloe" />
|
||||
<child id="1172070532815" name="exceptionType" index="3$Qgvv" />
|
||||
<concept id="7080278351417106679" name="jetbrains.mps.baseLanguage.unitTest.structure.AssertIsNotNull" flags="nn" index="2Hmddi">
|
||||
<child id="7080278351417106681" name="expression" index="2Hmdds" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
|
||||
<concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
|
||||
<reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
|
||||
</concept>
|
||||
<concept id="7400021826771268254" name="jetbrains.mps.lang.smodel.structure.SNodePointerType" flags="ig" index="2sp9CU" />
|
||||
<concept id="7400021826774799413" name="jetbrains.mps.lang.smodel.structure.NodePointerExpression" flags="ng" index="2tJFMh">
|
||||
<child id="7400021826774799510" name="ref" index="2tJFKM" />
|
||||
</concept>
|
||||
<concept id="4065387505485742749" name="jetbrains.mps.lang.smodel.structure.AbstractPointerResolveOperation" flags="ng" index="2yCiFS">
|
||||
<child id="3648723375513868575" name="repositoryArg" index="Vysub" />
|
||||
</concept>
|
||||
<concept id="2396822768958367367" name="jetbrains.mps.lang.smodel.structure.AbstractTypeCastExpression" flags="nn" index="$5XWr">
|
||||
<child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
|
||||
<child id="3906496115198199033" name="conceptArgument" index="3oSUPX" />
|
||||
</concept>
|
||||
<concept id="1145404486709" name="jetbrains.mps.lang.smodel.structure.SemanticDowncastExpression" flags="nn" index="2JrnkZ">
|
||||
<child id="1145404616321" name="leftExpression" index="2JrQYb" />
|
||||
</concept>
|
||||
<concept id="3648723375513868532" name="jetbrains.mps.lang.smodel.structure.NodePointer_ResolveOperation" flags="ng" index="Vyspw" />
|
||||
<concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI" />
|
||||
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
|
||||
<reference id="1138405853777" name="concept" index="ehGHo" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
|
||||
<concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
|
||||
<child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
|
||||
</concept>
|
||||
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
|
||||
<property id="1169194664001" name="name" index="TrG5h" />
|
||||
</concept>
|
||||
<concept id="709746936026466394" name="jetbrains.mps.lang.core.structure.ChildAttribute" flags="ng" index="3VBwX9">
|
||||
<property id="709746936026609031" name="linkId" index="3V$3ak" />
|
||||
<property id="709746936026609029" name="linkRole" index="3V$3am" />
|
||||
</concept>
|
||||
<concept id="4452961908202556907" name="jetbrains.mps.lang.core.structure.BaseCommentAttribute" flags="ng" index="1X3_iC">
|
||||
<child id="3078666699043039389" name="commentedNode" index="8Wnug" />
|
||||
</concept>
|
||||
</language>
|
||||
</registry>
|
||||
<node concept="1lH9Xt" id="1N_0WA5DT3k">
|
||||
<property role="TrG5h" value="Typechecking" />
|
||||
<property role="3OwPAg" value="true" />
|
||||
<node concept="1LZb2c" id="1N_0WA5DT8G" role="1SL9yI">
|
||||
<property role="TrG5h" value="Sample_bad1" />
|
||||
<node concept="3cqZAl" id="1N_0WA5DT8H" role="3clF45" />
|
||||
<node concept="3clFbS" id="1N_0WA5DT8I" role="3clF47">
|
||||
<node concept="3cpWs8" id="4BHjwwGJQYe" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="4BHjwwGJQYf" role="3cpWs9">
|
||||
<node concept="2XrIbr" id="35YJGAJTxCf" role="1qtyYc">
|
||||
<property role="TrG5h" value="resolve" />
|
||||
<node concept="37vLTG" id="35YJGAJTxCF" role="3clF46">
|
||||
<property role="TrG5h" value="ref" />
|
||||
<node concept="2sp9CU" id="35YJGAJTxCR" role="1tU5fm" />
|
||||
</node>
|
||||
<node concept="3Tqbb2" id="35YJGAJTxCp" role="3clF45">
|
||||
<ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
<node concept="3clFbS" id="35YJGAJTxCh" role="3clF47">
|
||||
<node concept="3cpWs8" id="35YJGAJT$34" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="35YJGAJT$35" role="3cpWs9">
|
||||
<property role="TrG5h" value="cls" />
|
||||
<node concept="3Tqbb2" id="4BHjwwGJQYb" role="1tU5fm">
|
||||
<node concept="3Tqbb2" id="35YJGAJT$2Z" role="1tU5fm">
|
||||
<ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1QHqEK" id="4BHjwwGJVjB" role="3cqZAp">
|
||||
<node concept="1QHqEC" id="4BHjwwGJVjD" role="1QHqEI">
|
||||
<node concept="3clFbS" id="4BHjwwGJVjF" role="1bW5cS">
|
||||
<node concept="3clFbF" id="4BHjwwGPzT0" role="3cqZAp">
|
||||
<node concept="37vLTI" id="4BHjwwGPzT2" role="3clFbG">
|
||||
<node concept="1PxgMI" id="4BHjwwGJT1y" role="37vLTx">
|
||||
<node concept="chp4Y" id="4BHjwwGJTcC" role="3oSUPX">
|
||||
<node concept="1QHqEK" id="35YJGAJTxLm" role="3cqZAp">
|
||||
<node concept="1QHqEC" id="35YJGAJTxLn" role="1QHqEI">
|
||||
<node concept="3clFbS" id="35YJGAJTxLo" role="1bW5cS">
|
||||
<node concept="3clFbF" id="35YJGAJT$eE" role="3cqZAp">
|
||||
<node concept="37vLTI" id="35YJGAJT$eG" role="3clFbG">
|
||||
<node concept="1PxgMI" id="35YJGAJT$36" role="37vLTx">
|
||||
<node concept="chp4Y" id="35YJGAJT$37" role="3oSUPX">
|
||||
<ref role="cht4Q" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGJRwn" role="1m5AlR">
|
||||
<node concept="2JrnkZ" id="3BqfYtgCQhT" role="2Oq$k0">
|
||||
<node concept="2tJFMh" id="3BqfYtgCQhS" role="2JrQYb">
|
||||
<node concept="ZC_QK" id="3BqfYtgCQhR" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="7rut:5s497Vrh6EY" resolve="Sample_bad1" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="35YJGAJT$38" role="1m5AlR">
|
||||
<node concept="37vLTw" id="35YJGAJT$39" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="35YJGAJTxCF" resolve="ref" />
|
||||
</node>
|
||||
<node concept="liA8E" id="4BHjwwGJRIX" role="2OqNvi">
|
||||
<ref role="37wK5l" to="mhbf:~SNodeReference.resolve(org.jetbrains.mps.openapi.module.SRepository):org.jetbrains.mps.openapi.model.SNode" resolve="resolve" />
|
||||
<node concept="2OqwBi" id="4BHjwwGJS8O" role="37wK5m">
|
||||
<node concept="1jxXqW" id="4BHjwwGJRMu" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGJSNJ" role="2OqNvi">
|
||||
<node concept="Vyspw" id="35YJGAJT$3a" role="2OqNvi">
|
||||
<node concept="2OqwBi" id="35YJGAJT$3b" role="Vysub">
|
||||
<node concept="1jxXqW" id="35YJGAJT$3c" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="35YJGAJT$3d" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="4BHjwwGPzT6" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="4BHjwwGJQYf" resolve="cls" />
|
||||
<node concept="37vLTw" id="35YJGAJT$eK" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="35YJGAJT$35" resolve="cls" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGJVEk" role="ukAjM">
|
||||
<node concept="1jxXqW" id="4BHjwwGJVtE" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGJWcQ" role="2OqNvi">
|
||||
<node concept="2OqwBi" id="35YJGAJTxW6" role="ukAjM">
|
||||
<node concept="1jxXqW" id="35YJGAJTxLs" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="35YJGAJTy_W" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="1FOQehxMKOv" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="1FOQehxMKOw" role="3clFbG">
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<node concept="37vLTw" id="1FOQehxMKOx" role="37wK5m">
|
||||
<ref role="3cqZAo" node="4BHjwwGJQYf" resolve="cls" />
|
||||
</node>
|
||||
<node concept="1jxXqW" id="1FOQehxMKOy" role="37wK5m" />
|
||||
<node concept="3clFbF" id="35YJGAJTyJo" role="3cqZAp">
|
||||
<node concept="37vLTw" id="35YJGAJT$3e" role="3clFbG">
|
||||
<ref role="3cqZAo" node="35YJGAJT$35" resolve="cls" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="1FOQehxML$R" role="3cqZAp" />
|
||||
<node concept="1X3_iC" id="1FOQehxMLer" role="lGtFl">
|
||||
<property role="3V$3am" value="statement" />
|
||||
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
|
||||
<node concept="3$NI$W" id="4BHjwwGPtqz" role="8Wnug">
|
||||
<node concept="3uibUv" id="4BHjwwGPtD_" role="3$Qgvv">
|
||||
<ref role="3uigEE" to="wyt6:~RuntimeException" resolve="RuntimeException" />
|
||||
</node>
|
||||
<node concept="3clFbF" id="4BHjwwGPt_V" role="3$Oloe">
|
||||
<node concept="2YIFZM" id="4BHjwwGPt_X" role="3clFbG">
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<node concept="37vLTw" id="4BHjwwGPt_Y" role="37wK5m">
|
||||
<ref role="3cqZAo" node="4BHjwwGJQYf" resolve="cls" />
|
||||
</node>
|
||||
<node concept="3Tm6S6" id="35YJGAJTxCl" role="1B3o_S" />
|
||||
</node>
|
||||
<node concept="1LZb2c" id="1N_0WA5DT8G" role="1SL9yI">
|
||||
<property role="TrG5h" value="Sample_bad1" />
|
||||
<node concept="3cqZAl" id="1N_0WA5DT8H" role="3clF45" />
|
||||
<node concept="3clFbS" id="1N_0WA5DT8I" role="3clF47">
|
||||
<node concept="2Hmddi" id="4BHjwwGPMah" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="4BHjwwGPMdn" role="2Hmdds">
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<node concept="2OqwBi" id="2QSgdliBFSp" role="37wK5m">
|
||||
<node concept="2WthIp" id="2QSgdliBFNX" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="2QSgdliBFZs" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
|
||||
<node concept="2tJFMh" id="2QSgdliBFZv" role="2XxRq1">
|
||||
<node concept="ZC_QK" id="2QSgdlj89sr" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="7rut:5s497Vrh6EY" resolve="Sample_bad1" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1jxXqW" id="4BHjwwGPt_Z" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1jxXqW" id="4BHjwwGPMdp" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -228,84 +235,22 @@
|
|||
<property role="TrG5h" value="Sample_bad2" />
|
||||
<node concept="3cqZAl" id="4ekooLap0Mz" role="3clF45" />
|
||||
<node concept="3clFbS" id="4ekooLap0M$" role="3clF47">
|
||||
<node concept="3cpWs8" id="4BHjwwGJTGd" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="4BHjwwGJTGe" role="3cpWs9">
|
||||
<property role="TrG5h" value="cls" />
|
||||
<node concept="3Tqbb2" id="4BHjwwGJTGf" role="1tU5fm">
|
||||
<ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1QHqEK" id="4BHjwwGJW_v" role="3cqZAp">
|
||||
<node concept="1QHqEC" id="4BHjwwGJW_x" role="1QHqEI">
|
||||
<node concept="3clFbS" id="4BHjwwGJW_z" role="1bW5cS">
|
||||
<node concept="3clFbF" id="4BHjwwGP$pw" role="3cqZAp">
|
||||
<node concept="37vLTI" id="4BHjwwGP$py" role="3clFbG">
|
||||
<node concept="1PxgMI" id="4BHjwwGJTGg" role="37vLTx">
|
||||
<node concept="chp4Y" id="4BHjwwGJTGh" role="3oSUPX">
|
||||
<ref role="cht4Q" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGJTGi" role="1m5AlR">
|
||||
<node concept="2JrnkZ" id="3BqfYtgCQih" role="2Oq$k0">
|
||||
<node concept="2tJFMh" id="3BqfYtgCQig" role="2JrQYb">
|
||||
<node concept="ZC_QK" id="3BqfYtgCQif" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="7rut:4ekooLalg08" resolve="Sample_bad2" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="4BHjwwGJTGk" role="2OqNvi">
|
||||
<ref role="37wK5l" to="mhbf:~SNodeReference.resolve(org.jetbrains.mps.openapi.module.SRepository):org.jetbrains.mps.openapi.model.SNode" resolve="resolve" />
|
||||
<node concept="2OqwBi" id="4BHjwwGJTGl" role="37wK5m">
|
||||
<node concept="1jxXqW" id="4BHjwwGJTGm" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGJTGn" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="4BHjwwGP$pA" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="4BHjwwGJTGe" resolve="cls" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGJWPy" role="ukAjM">
|
||||
<node concept="1jxXqW" id="4BHjwwGJWCJ" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGJXnX" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="1FOQehxMLtZ" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="1FOQehxMLu0" role="3clFbG">
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<node concept="2Hmddi" id="2QSgdlj89ME" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="2QSgdlj89MF" role="2Hmdds">
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<node concept="37vLTw" id="1FOQehxMLu1" role="37wK5m">
|
||||
<ref role="3cqZAo" node="4BHjwwGJTGe" resolve="cls" />
|
||||
</node>
|
||||
<node concept="1jxXqW" id="1FOQehxMLu2" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="1FOQehxMLtx" role="3cqZAp" />
|
||||
<node concept="1X3_iC" id="1FOQehxMLxy" role="lGtFl">
|
||||
<property role="3V$3am" value="statement" />
|
||||
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
|
||||
<node concept="3$NI$W" id="4BHjwwGPu9H" role="8Wnug">
|
||||
<node concept="3uibUv" id="4BHjwwGPu9I" role="3$Qgvv">
|
||||
<ref role="3uigEE" to="wyt6:~RuntimeException" resolve="RuntimeException" />
|
||||
</node>
|
||||
<node concept="3clFbF" id="4BHjwwGPu9J" role="3$Oloe">
|
||||
<node concept="2YIFZM" id="4BHjwwGPu9K" role="3clFbG">
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<node concept="37vLTw" id="4BHjwwGPuRr" role="37wK5m">
|
||||
<ref role="3cqZAo" node="4BHjwwGJTGe" resolve="cls" />
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<node concept="2OqwBi" id="2QSgdlj89MG" role="37wK5m">
|
||||
<node concept="2WthIp" id="2QSgdlj89MH" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="2QSgdlj89MI" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
|
||||
<node concept="2tJFMh" id="2QSgdlj89MJ" role="2XxRq1">
|
||||
<node concept="ZC_QK" id="2QSgdlj89NE" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="7rut:4ekooLalg08" resolve="Sample_bad2" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1jxXqW" id="4BHjwwGPu9M" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1jxXqW" id="2QSgdlj89ML" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
|
|||
|
|
@ -15,7 +15,6 @@
|
|||
<import index="f6t6" ref="r:9993217f-5bfa-4281-bc47-527677747cb2(typechecking.samples.baseLanguage.bounds)" />
|
||||
<import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" />
|
||||
<import index="tj24" ref="r:0fbbb63a-fd15-46e1-8136-78049f6d6e63(jetbrains.mps.typechecking.service)" />
|
||||
<import index="mhbf" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.model(MPS.OpenAPI/)" implicit="true" />
|
||||
<import index="z1c3" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)" implicit="true" />
|
||||
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
|
||||
</imports>
|
||||
|
|
@ -27,6 +26,7 @@
|
|||
<concept id="1225467090849" name="jetbrains.mps.lang.test.structure.ProjectExpression" flags="nn" index="1jxXqW" />
|
||||
<concept id="1216913645126" name="jetbrains.mps.lang.test.structure.NodesTestCase" flags="lg" index="1lH9Xt">
|
||||
<property id="6339244025081158986" name="needsNoWriteAction" index="3OwPAg" />
|
||||
<child id="1216993439383" name="methods" index="1qtyYc" />
|
||||
<child id="1217501895093" name="testMethods" index="1SL9yI" />
|
||||
</concept>
|
||||
<concept id="1225978065297" name="jetbrains.mps.lang.test.structure.SimpleNodeTest" flags="ng" index="1LZb2c" />
|
||||
|
|
@ -47,6 +47,7 @@
|
|||
<concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
|
||||
<reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
|
||||
</concept>
|
||||
<concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
|
||||
<concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
|
||||
<concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
|
||||
<child id="5680397130376446158" name="type" index="1tU5fm" />
|
||||
|
|
@ -54,6 +55,7 @@
|
|||
<concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
|
||||
<child id="1164879685961" name="throwsItem" index="Sfmx6" />
|
||||
<child id="1068580123133" name="returnType" index="3clF45" />
|
||||
<child id="1068580123134" name="parameter" index="3clF46" />
|
||||
<child id="1068580123135" name="body" index="3clF47" />
|
||||
</concept>
|
||||
<concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
|
||||
|
|
@ -74,6 +76,10 @@
|
|||
<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="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
|
||||
</language>
|
||||
<language id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access">
|
||||
<concept id="8974276187400348173" name="jetbrains.mps.lang.access.structure.CommandClosureLiteral" flags="nn" index="1QHqEC" />
|
||||
|
|
@ -88,6 +94,16 @@
|
|||
<child id="1199569916463" name="body" index="1bW5cS" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="443f4c36-fcf5-4eb6-9500-8d06ed259e3e" name="jetbrains.mps.baseLanguage.classifiers">
|
||||
<concept id="1205752633985" name="jetbrains.mps.baseLanguage.classifiers.structure.ThisClassifierExpression" flags="nn" index="2WthIp" />
|
||||
<concept id="1205756064662" name="jetbrains.mps.baseLanguage.classifiers.structure.IMemberOperation" flags="ng" index="2WEnae">
|
||||
<reference id="1205756909548" name="member" index="2WH_rO" />
|
||||
</concept>
|
||||
<concept id="1205769003971" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodDeclaration" flags="ng" index="2XrIbr" />
|
||||
<concept id="1205769149993" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodCallOperation" flags="nn" index="2XshWL">
|
||||
<child id="1205770614681" name="actualArgument" index="2XxRq1" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="446c26eb-2b7b-4bf0-9b35-f83fa582753e" name="jetbrains.mps.lang.modelapi">
|
||||
<concept id="4733039728785194814" name="jetbrains.mps.lang.modelapi.structure.NamedNodeReference" flags="ng" index="ZC_QK">
|
||||
<reference id="7256306938026143658" name="target" index="2aWVGs" />
|
||||
|
|
@ -102,16 +118,18 @@
|
|||
<concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
|
||||
<reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
|
||||
</concept>
|
||||
<concept id="7400021826771268254" name="jetbrains.mps.lang.smodel.structure.SNodePointerType" flags="ig" index="2sp9CU" />
|
||||
<concept id="7400021826774799413" name="jetbrains.mps.lang.smodel.structure.NodePointerExpression" flags="ng" index="2tJFMh">
|
||||
<child id="7400021826774799510" name="ref" index="2tJFKM" />
|
||||
</concept>
|
||||
<concept id="4065387505485742749" name="jetbrains.mps.lang.smodel.structure.AbstractPointerResolveOperation" flags="ng" index="2yCiFS">
|
||||
<child id="3648723375513868575" name="repositoryArg" index="Vysub" />
|
||||
</concept>
|
||||
<concept id="2396822768958367367" name="jetbrains.mps.lang.smodel.structure.AbstractTypeCastExpression" flags="nn" index="$5XWr">
|
||||
<child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
|
||||
<child id="3906496115198199033" name="conceptArgument" index="3oSUPX" />
|
||||
</concept>
|
||||
<concept id="1145404486709" name="jetbrains.mps.lang.smodel.structure.SemanticDowncastExpression" flags="nn" index="2JrnkZ">
|
||||
<child id="1145404616321" name="leftExpression" index="2JrQYb" />
|
||||
</concept>
|
||||
<concept id="3648723375513868532" name="jetbrains.mps.lang.smodel.structure.NodePointer_ResolveOperation" flags="ng" index="Vyspw" />
|
||||
<concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI" />
|
||||
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
|
||||
<reference id="1138405853777" name="concept" index="ehGHo" />
|
||||
|
|
@ -126,66 +144,87 @@
|
|||
<node concept="1lH9Xt" id="1N_0WA5DT3k">
|
||||
<property role="TrG5h" value="Typechecking" />
|
||||
<property role="3OwPAg" value="true" />
|
||||
<node concept="1LZb2c" id="1N_0WA5DT8G" role="1SL9yI">
|
||||
<property role="TrG5h" value="Sample" />
|
||||
<node concept="3cqZAl" id="1N_0WA5DT8H" role="3clF45" />
|
||||
<node concept="3clFbS" id="1N_0WA5DT8I" role="3clF47">
|
||||
<node concept="3cpWs8" id="4BHjwwGJQYe" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="4BHjwwGJQYf" role="3cpWs9">
|
||||
<node concept="2XrIbr" id="35YJGAJTxCf" role="1qtyYc">
|
||||
<property role="TrG5h" value="resolve" />
|
||||
<node concept="37vLTG" id="35YJGAJTxCF" role="3clF46">
|
||||
<property role="TrG5h" value="ref" />
|
||||
<node concept="2sp9CU" id="35YJGAJTxCR" role="1tU5fm" />
|
||||
</node>
|
||||
<node concept="3Tqbb2" id="35YJGAJTxCp" role="3clF45">
|
||||
<ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
<node concept="3clFbS" id="35YJGAJTxCh" role="3clF47">
|
||||
<node concept="3cpWs8" id="35YJGAJT$34" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="35YJGAJT$35" role="3cpWs9">
|
||||
<property role="TrG5h" value="cls" />
|
||||
<node concept="3Tqbb2" id="4BHjwwGJQYb" role="1tU5fm">
|
||||
<node concept="3Tqbb2" id="35YJGAJT$2Z" role="1tU5fm">
|
||||
<ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1QHqEK" id="4BHjwwGJZh0" role="3cqZAp">
|
||||
<node concept="1QHqEC" id="4BHjwwGJZh2" role="1QHqEI">
|
||||
<node concept="3clFbS" id="4BHjwwGJZh4" role="1bW5cS">
|
||||
<node concept="3clFbF" id="4BHjwwGP_ld" role="3cqZAp">
|
||||
<node concept="37vLTI" id="4BHjwwGP_lf" role="3clFbG">
|
||||
<node concept="1PxgMI" id="4BHjwwGJT1y" role="37vLTx">
|
||||
<node concept="chp4Y" id="4BHjwwGJTcC" role="3oSUPX">
|
||||
<node concept="1QHqEK" id="35YJGAJTxLm" role="3cqZAp">
|
||||
<node concept="1QHqEC" id="35YJGAJTxLn" role="1QHqEI">
|
||||
<node concept="3clFbS" id="35YJGAJTxLo" role="1bW5cS">
|
||||
<node concept="3clFbF" id="35YJGAJT$eE" role="3cqZAp">
|
||||
<node concept="37vLTI" id="35YJGAJT$eG" role="3clFbG">
|
||||
<node concept="1PxgMI" id="35YJGAJT$36" role="37vLTx">
|
||||
<node concept="chp4Y" id="35YJGAJT$37" role="3oSUPX">
|
||||
<ref role="cht4Q" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGJRwn" role="1m5AlR">
|
||||
<node concept="2JrnkZ" id="3BqfYtgCQiq" role="2Oq$k0">
|
||||
<node concept="2tJFMh" id="3BqfYtgCQip" role="2JrQYb">
|
||||
<node concept="ZC_QK" id="3BqfYtgCQio" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="f6t6:5s497Vrh6EY" resolve="Sample" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="35YJGAJT$38" role="1m5AlR">
|
||||
<node concept="37vLTw" id="35YJGAJT$39" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="35YJGAJTxCF" resolve="ref" />
|
||||
</node>
|
||||
<node concept="liA8E" id="4BHjwwGJRIX" role="2OqNvi">
|
||||
<ref role="37wK5l" to="mhbf:~SNodeReference.resolve(org.jetbrains.mps.openapi.module.SRepository):org.jetbrains.mps.openapi.model.SNode" resolve="resolve" />
|
||||
<node concept="2OqwBi" id="4BHjwwGJS8O" role="37wK5m">
|
||||
<node concept="1jxXqW" id="4BHjwwGJRMu" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGJSNJ" role="2OqNvi">
|
||||
<node concept="Vyspw" id="35YJGAJT$3a" role="2OqNvi">
|
||||
<node concept="2OqwBi" id="35YJGAJT$3b" role="Vysub">
|
||||
<node concept="1jxXqW" id="35YJGAJT$3c" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="35YJGAJT$3d" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="4BHjwwGP_lj" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="4BHjwwGJQYf" resolve="cls" />
|
||||
<node concept="37vLTw" id="35YJGAJT$eK" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="35YJGAJT$35" resolve="cls" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGJZO2" role="ukAjM">
|
||||
<node concept="1jxXqW" id="4BHjwwGJZt5" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGK0mv" role="2OqNvi">
|
||||
<node concept="2OqwBi" id="35YJGAJTxW6" role="ukAjM">
|
||||
<node concept="1jxXqW" id="35YJGAJTxLs" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="35YJGAJTy_W" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="35YJGAJTyJo" role="3cqZAp">
|
||||
<node concept="37vLTw" id="35YJGAJT$3e" role="3clFbG">
|
||||
<ref role="3cqZAo" node="35YJGAJT$35" resolve="cls" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Tm6S6" id="35YJGAJTxCl" role="1B3o_S" />
|
||||
</node>
|
||||
<node concept="1LZb2c" id="1N_0WA5DT8G" role="1SL9yI">
|
||||
<property role="TrG5h" value="Sample" />
|
||||
<node concept="3cqZAl" id="1N_0WA5DT8H" role="3clF45" />
|
||||
<node concept="3clFbS" id="1N_0WA5DT8I" role="3clF47">
|
||||
<node concept="2Hmddi" id="4BHjwwGPMah" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="4BHjwwGPMdn" role="2Hmdds">
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<node concept="37vLTw" id="4BHjwwGPMdo" role="37wK5m">
|
||||
<ref role="3cqZAo" node="4BHjwwGJQYf" resolve="cls" />
|
||||
<node concept="2OqwBi" id="2QSgdliBFSp" role="37wK5m">
|
||||
<node concept="2WthIp" id="2QSgdliBFNX" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="2QSgdliBFZs" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
|
||||
<node concept="2tJFMh" id="2QSgdliBFZv" role="2XxRq1">
|
||||
<node concept="ZC_QK" id="2QSgdliBFZw" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="f6t6:5s497Vrh6EY" resolve="Sample" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1jxXqW" id="4BHjwwGPMdp" role="37wK5m" />
|
||||
</node>
|
||||
|
|
@ -199,64 +238,22 @@
|
|||
<property role="TrG5h" value="Sample2" />
|
||||
<node concept="3cqZAl" id="1N_0WA5J$AE" role="3clF45" />
|
||||
<node concept="3clFbS" id="1N_0WA5J$AF" role="3clF47">
|
||||
<node concept="3cpWs8" id="4BHjwwGK10D" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="4BHjwwGK10E" role="3cpWs9">
|
||||
<property role="TrG5h" value="cls" />
|
||||
<node concept="3Tqbb2" id="4BHjwwGK10F" role="1tU5fm">
|
||||
<ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1QHqEK" id="4BHjwwGK10A" role="3cqZAp">
|
||||
<node concept="1QHqEC" id="4BHjwwGK10B" role="1QHqEI">
|
||||
<node concept="3clFbS" id="4BHjwwGK10C" role="1bW5cS">
|
||||
<node concept="3clFbF" id="4BHjwwGP_Z5" role="3cqZAp">
|
||||
<node concept="37vLTI" id="4BHjwwGP_Z7" role="3clFbG">
|
||||
<node concept="1PxgMI" id="4BHjwwGK10G" role="37vLTx">
|
||||
<node concept="chp4Y" id="4BHjwwGK10H" role="3oSUPX">
|
||||
<ref role="cht4Q" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGK10I" role="1m5AlR">
|
||||
<node concept="2JrnkZ" id="3BqfYtgCQit" role="2Oq$k0">
|
||||
<node concept="2tJFMh" id="3BqfYtgCQis" role="2JrQYb">
|
||||
<node concept="ZC_QK" id="3BqfYtgCQir" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="f6t6:2U6QFnZujaA" resolve="Sample2" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="4BHjwwGK10K" role="2OqNvi">
|
||||
<ref role="37wK5l" to="mhbf:~SNodeReference.resolve(org.jetbrains.mps.openapi.module.SRepository):org.jetbrains.mps.openapi.model.SNode" resolve="resolve" />
|
||||
<node concept="2OqwBi" id="4BHjwwGK10L" role="37wK5m">
|
||||
<node concept="1jxXqW" id="4BHjwwGK10M" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGK10N" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="4BHjwwGP_Zb" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="4BHjwwGK10E" resolve="cls" />
|
||||
<node concept="2Hmddi" id="2QSgdliBGfK" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="2QSgdliBGfL" role="2Hmdds">
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<node concept="2OqwBi" id="2QSgdliBGfM" role="37wK5m">
|
||||
<node concept="2WthIp" id="2QSgdliBGfN" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="2QSgdliBGfO" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
|
||||
<node concept="2tJFMh" id="2QSgdliBGfP" role="2XxRq1">
|
||||
<node concept="ZC_QK" id="2QSgdliBGjL" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="f6t6:2U6QFnZujaA" resolve="Sample2" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGK10W" role="ukAjM">
|
||||
<node concept="1jxXqW" id="4BHjwwGK10X" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGK10Y" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2Hmddi" id="4BHjwwGPMus" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="4BHjwwGPMut" role="2Hmdds">
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<node concept="37vLTw" id="4BHjwwGPMuu" role="37wK5m">
|
||||
<ref role="3cqZAo" node="4BHjwwGK10E" resolve="cls" />
|
||||
</node>
|
||||
<node concept="1jxXqW" id="4BHjwwGPMuv" role="37wK5m" />
|
||||
<node concept="1jxXqW" id="2QSgdliBGfR" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -268,64 +265,22 @@
|
|||
<property role="TrG5h" value="Variance" />
|
||||
<node concept="3cqZAl" id="5DSQNPPS8E9" role="3clF45" />
|
||||
<node concept="3clFbS" id="5DSQNPPS8Ea" role="3clF47">
|
||||
<node concept="3cpWs8" id="4BHjwwGK2c$" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="4BHjwwGK2c_" role="3cpWs9">
|
||||
<property role="TrG5h" value="cls" />
|
||||
<node concept="3Tqbb2" id="4BHjwwGK2cA" role="1tU5fm">
|
||||
<ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1QHqEK" id="4BHjwwGK2cx" role="3cqZAp">
|
||||
<node concept="1QHqEC" id="4BHjwwGK2cy" role="1QHqEI">
|
||||
<node concept="3clFbS" id="4BHjwwGK2cz" role="1bW5cS">
|
||||
<node concept="3clFbF" id="4BHjwwGPACQ" role="3cqZAp">
|
||||
<node concept="37vLTI" id="4BHjwwGPACS" role="3clFbG">
|
||||
<node concept="1PxgMI" id="4BHjwwGK2cB" role="37vLTx">
|
||||
<node concept="chp4Y" id="4BHjwwGK2cC" role="3oSUPX">
|
||||
<ref role="cht4Q" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGK2cD" role="1m5AlR">
|
||||
<node concept="2JrnkZ" id="3BqfYtgCQi5" role="2Oq$k0">
|
||||
<node concept="2tJFMh" id="3BqfYtgCQi4" role="2JrQYb">
|
||||
<node concept="ZC_QK" id="3BqfYtgCQi3" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="f6t6:3yhgKRJ29Qs" resolve="Variance" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="4BHjwwGK2cF" role="2OqNvi">
|
||||
<ref role="37wK5l" to="mhbf:~SNodeReference.resolve(org.jetbrains.mps.openapi.module.SRepository):org.jetbrains.mps.openapi.model.SNode" resolve="resolve" />
|
||||
<node concept="2OqwBi" id="4BHjwwGK2cG" role="37wK5m">
|
||||
<node concept="1jxXqW" id="4BHjwwGK2cH" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGK2cI" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="4BHjwwGPACW" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="4BHjwwGK2c_" resolve="cls" />
|
||||
<node concept="2Hmddi" id="2QSgdliBGyl" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="2QSgdliBGym" role="2Hmdds">
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<node concept="2OqwBi" id="2QSgdliBGyn" role="37wK5m">
|
||||
<node concept="2WthIp" id="2QSgdliBGyo" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="2QSgdliBGyp" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
|
||||
<node concept="2tJFMh" id="2QSgdliBGyq" role="2XxRq1">
|
||||
<node concept="ZC_QK" id="2QSgdliBGAp" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="f6t6:3yhgKRJ29Qs" resolve="Variance" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGK2cR" role="ukAjM">
|
||||
<node concept="1jxXqW" id="4BHjwwGK2cS" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGK2cT" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2Hmddi" id="4BHjwwGPM_K" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="4BHjwwGPM_L" role="2Hmdds">
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<node concept="37vLTw" id="4BHjwwGPM_M" role="37wK5m">
|
||||
<ref role="3cqZAo" node="4BHjwwGK2c_" resolve="cls" />
|
||||
</node>
|
||||
<node concept="1jxXqW" id="4BHjwwGPM_N" role="37wK5m" />
|
||||
<node concept="1jxXqW" id="2QSgdliBGys" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -337,64 +292,22 @@
|
|||
<property role="TrG5h" value="Recursion" />
|
||||
<node concept="3cqZAl" id="19nQ_7V2D9V" role="3clF45" />
|
||||
<node concept="3clFbS" id="19nQ_7V2D9W" role="3clF47">
|
||||
<node concept="3cpWs8" id="19nQ_7V2D9X" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="19nQ_7V2D9Y" role="3cpWs9">
|
||||
<property role="TrG5h" value="cls" />
|
||||
<node concept="3Tqbb2" id="19nQ_7V2D9Z" role="1tU5fm">
|
||||
<ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1QHqEK" id="19nQ_7V2Da0" role="3cqZAp">
|
||||
<node concept="1QHqEC" id="19nQ_7V2Da1" role="1QHqEI">
|
||||
<node concept="3clFbS" id="19nQ_7V2Da2" role="1bW5cS">
|
||||
<node concept="3clFbF" id="19nQ_7V2Da3" role="3cqZAp">
|
||||
<node concept="37vLTI" id="19nQ_7V2Da4" role="3clFbG">
|
||||
<node concept="1PxgMI" id="19nQ_7V2Da5" role="37vLTx">
|
||||
<node concept="chp4Y" id="19nQ_7V2Da6" role="3oSUPX">
|
||||
<ref role="cht4Q" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="19nQ_7V2Da7" role="1m5AlR">
|
||||
<node concept="2JrnkZ" id="3BqfYtgCQi2" role="2Oq$k0">
|
||||
<node concept="2tJFMh" id="3BqfYtgCQi1" role="2JrQYb">
|
||||
<node concept="ZC_QK" id="3BqfYtgCQi0" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="f6t6:7w387SKGv4P" resolve="Recursion" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="19nQ_7V2Da9" role="2OqNvi">
|
||||
<ref role="37wK5l" to="mhbf:~SNodeReference.resolve(org.jetbrains.mps.openapi.module.SRepository):org.jetbrains.mps.openapi.model.SNode" resolve="resolve" />
|
||||
<node concept="2OqwBi" id="19nQ_7V2Daa" role="37wK5m">
|
||||
<node concept="1jxXqW" id="19nQ_7V2Dab" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="19nQ_7V2Dac" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="19nQ_7V2Dad" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="19nQ_7V2D9Y" resolve="cls" />
|
||||
<node concept="2Hmddi" id="2QSgdliBGA$" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="2QSgdliBGA_" role="2Hmdds">
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<node concept="2OqwBi" id="2QSgdliBGAA" role="37wK5m">
|
||||
<node concept="2WthIp" id="2QSgdliBGAB" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="2QSgdliBGAC" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
|
||||
<node concept="2tJFMh" id="2QSgdliBGAD" role="2XxRq1">
|
||||
<node concept="ZC_QK" id="2QSgdliBGE_" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="f6t6:7w387SKGv4P" resolve="Recursion" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="19nQ_7V2Dae" role="ukAjM">
|
||||
<node concept="1jxXqW" id="19nQ_7V2Daf" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="19nQ_7V2Dag" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2Hmddi" id="19nQ_7V2Dah" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="19nQ_7V2Dai" role="2Hmdds">
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<node concept="37vLTw" id="19nQ_7V2Daj" role="37wK5m">
|
||||
<ref role="3cqZAo" node="19nQ_7V2D9Y" resolve="cls" />
|
||||
</node>
|
||||
<node concept="1jxXqW" id="19nQ_7V2Dak" role="37wK5m" />
|
||||
<node concept="1jxXqW" id="2QSgdliBGAF" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
|
|||
|
|
@ -15,7 +15,6 @@
|
|||
<import index="hwt6" ref="r:1f3a7853-f20c-4f91-9912-5e82d9d1651a(typechecking.samples.baseLanguage.codeAnal)" />
|
||||
<import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" />
|
||||
<import index="tj24" ref="r:0fbbb63a-fd15-46e1-8136-78049f6d6e63(jetbrains.mps.typechecking.service)" />
|
||||
<import index="mhbf" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.model(MPS.OpenAPI/)" implicit="true" />
|
||||
<import index="z1c3" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)" implicit="true" />
|
||||
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
|
||||
</imports>
|
||||
|
|
@ -27,6 +26,7 @@
|
|||
<concept id="1225467090849" name="jetbrains.mps.lang.test.structure.ProjectExpression" flags="nn" index="1jxXqW" />
|
||||
<concept id="1216913645126" name="jetbrains.mps.lang.test.structure.NodesTestCase" flags="lg" index="1lH9Xt">
|
||||
<property id="6339244025081158986" name="needsNoWriteAction" index="3OwPAg" />
|
||||
<child id="1216993439383" name="methods" index="1qtyYc" />
|
||||
<child id="1217501895093" name="testMethods" index="1SL9yI" />
|
||||
</concept>
|
||||
<concept id="1225978065297" name="jetbrains.mps.lang.test.structure.SimpleNodeTest" flags="ng" index="1LZb2c" />
|
||||
|
|
@ -47,6 +47,7 @@
|
|||
<concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
|
||||
<reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
|
||||
</concept>
|
||||
<concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
|
||||
<concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
|
||||
<concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
|
||||
<child id="5680397130376446158" name="type" index="1tU5fm" />
|
||||
|
|
@ -54,17 +55,16 @@
|
|||
<concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
|
||||
<child id="1164879685961" name="throwsItem" index="Sfmx6" />
|
||||
<child id="1068580123133" name="returnType" index="3clF45" />
|
||||
<child id="1068580123134" name="parameter" index="3clF46" />
|
||||
<child id="1068580123135" name="body" index="3clF47" />
|
||||
</concept>
|
||||
<concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
|
||||
<child id="1068580123156" name="expression" index="3clFbG" />
|
||||
</concept>
|
||||
<concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
|
||||
<concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
|
||||
<child id="1068581517665" name="statement" index="3cqZAp" />
|
||||
</concept>
|
||||
<concept id="1068580123137" name="jetbrains.mps.baseLanguage.structure.BooleanConstant" flags="nn" index="3clFbT">
|
||||
<property id="1068580123138" name="value" index="3clFbU" />
|
||||
</concept>
|
||||
<concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
|
||||
<child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
|
||||
</concept>
|
||||
|
|
@ -77,6 +77,10 @@
|
|||
<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="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
|
||||
</language>
|
||||
<language id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access">
|
||||
<concept id="8974276187400348173" name="jetbrains.mps.lang.access.structure.CommandClosureLiteral" flags="nn" index="1QHqEC" />
|
||||
|
|
@ -91,6 +95,16 @@
|
|||
<child id="1199569916463" name="body" index="1bW5cS" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="443f4c36-fcf5-4eb6-9500-8d06ed259e3e" name="jetbrains.mps.baseLanguage.classifiers">
|
||||
<concept id="1205752633985" name="jetbrains.mps.baseLanguage.classifiers.structure.ThisClassifierExpression" flags="nn" index="2WthIp" />
|
||||
<concept id="1205756064662" name="jetbrains.mps.baseLanguage.classifiers.structure.IMemberOperation" flags="ng" index="2WEnae">
|
||||
<reference id="1205756909548" name="member" index="2WH_rO" />
|
||||
</concept>
|
||||
<concept id="1205769003971" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodDeclaration" flags="ng" index="2XrIbr" />
|
||||
<concept id="1205769149993" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodCallOperation" flags="nn" index="2XshWL">
|
||||
<child id="1205770614681" name="actualArgument" index="2XxRq1" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="446c26eb-2b7b-4bf0-9b35-f83fa582753e" name="jetbrains.mps.lang.modelapi">
|
||||
<concept id="4733039728785194814" name="jetbrains.mps.lang.modelapi.structure.NamedNodeReference" flags="ng" index="ZC_QK">
|
||||
<reference id="7256306938026143658" name="target" index="2aWVGs" />
|
||||
|
|
@ -105,16 +119,18 @@
|
|||
<concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
|
||||
<reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
|
||||
</concept>
|
||||
<concept id="7400021826771268254" name="jetbrains.mps.lang.smodel.structure.SNodePointerType" flags="ig" index="2sp9CU" />
|
||||
<concept id="7400021826774799413" name="jetbrains.mps.lang.smodel.structure.NodePointerExpression" flags="ng" index="2tJFMh">
|
||||
<child id="7400021826774799510" name="ref" index="2tJFKM" />
|
||||
</concept>
|
||||
<concept id="4065387505485742749" name="jetbrains.mps.lang.smodel.structure.AbstractPointerResolveOperation" flags="ng" index="2yCiFS">
|
||||
<child id="3648723375513868575" name="repositoryArg" index="Vysub" />
|
||||
</concept>
|
||||
<concept id="2396822768958367367" name="jetbrains.mps.lang.smodel.structure.AbstractTypeCastExpression" flags="nn" index="$5XWr">
|
||||
<child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
|
||||
<child id="3906496115198199033" name="conceptArgument" index="3oSUPX" />
|
||||
</concept>
|
||||
<concept id="1145404486709" name="jetbrains.mps.lang.smodel.structure.SemanticDowncastExpression" flags="nn" index="2JrnkZ">
|
||||
<child id="1145404616321" name="leftExpression" index="2JrQYb" />
|
||||
</concept>
|
||||
<concept id="3648723375513868532" name="jetbrains.mps.lang.smodel.structure.NodePointer_ResolveOperation" flags="ng" index="Vyspw" />
|
||||
<concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI" />
|
||||
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
|
||||
<reference id="1138405853777" name="concept" index="ehGHo" />
|
||||
|
|
@ -130,76 +146,95 @@
|
|||
<property role="2XOHcw" value="${mpscore_home}" />
|
||||
</node>
|
||||
<node concept="1lH9Xt" id="1N_0WA5DT3k">
|
||||
<property role="TrG5h" value="Typechecking" />
|
||||
<property role="TrG5h" value="Huge" />
|
||||
<property role="3OwPAg" value="true" />
|
||||
<node concept="1LZb2c" id="1N_0WA5DT8G" role="1SL9yI">
|
||||
<property role="TrG5h" value="Thinlet" />
|
||||
<node concept="3cqZAl" id="1N_0WA5DT8H" role="3clF45" />
|
||||
<node concept="3clFbS" id="1N_0WA5DT8I" role="3clF47">
|
||||
<node concept="3cpWs8" id="4BHjwwGJQYe" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="4BHjwwGJQYf" role="3cpWs9">
|
||||
<node concept="2XrIbr" id="35YJGAJTxCf" role="1qtyYc">
|
||||
<property role="TrG5h" value="resolve" />
|
||||
<node concept="37vLTG" id="35YJGAJTxCF" role="3clF46">
|
||||
<property role="TrG5h" value="ref" />
|
||||
<node concept="2sp9CU" id="35YJGAJTxCR" role="1tU5fm" />
|
||||
</node>
|
||||
<node concept="3Tqbb2" id="35YJGAJTxCp" role="3clF45">
|
||||
<ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
<node concept="3clFbS" id="35YJGAJTxCh" role="3clF47">
|
||||
<node concept="3cpWs8" id="35YJGAJT$34" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="35YJGAJT$35" role="3cpWs9">
|
||||
<property role="TrG5h" value="cls" />
|
||||
<node concept="3Tqbb2" id="4BHjwwGJQYb" role="1tU5fm">
|
||||
<node concept="3Tqbb2" id="35YJGAJT$2Z" role="1tU5fm">
|
||||
<ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1QHqEK" id="4BHjwwGJZh0" role="3cqZAp">
|
||||
<node concept="1QHqEC" id="4BHjwwGJZh2" role="1QHqEI">
|
||||
<node concept="3clFbS" id="4BHjwwGJZh4" role="1bW5cS">
|
||||
<node concept="3clFbF" id="4BHjwwGPxWU" role="3cqZAp">
|
||||
<node concept="37vLTI" id="4BHjwwGPxWW" role="3clFbG">
|
||||
<node concept="1PxgMI" id="4BHjwwGJT1y" role="37vLTx">
|
||||
<node concept="chp4Y" id="4BHjwwGJTcC" role="3oSUPX">
|
||||
<node concept="1QHqEK" id="35YJGAJTxLm" role="3cqZAp">
|
||||
<node concept="1QHqEC" id="35YJGAJTxLn" role="1QHqEI">
|
||||
<node concept="3clFbS" id="35YJGAJTxLo" role="1bW5cS">
|
||||
<node concept="3clFbF" id="35YJGAJT$eE" role="3cqZAp">
|
||||
<node concept="37vLTI" id="35YJGAJT$eG" role="3clFbG">
|
||||
<node concept="1PxgMI" id="35YJGAJT$36" role="37vLTx">
|
||||
<node concept="chp4Y" id="35YJGAJT$37" role="3oSUPX">
|
||||
<ref role="cht4Q" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGJRwn" role="1m5AlR">
|
||||
<node concept="2JrnkZ" id="3BqfYtgCQib" role="2Oq$k0">
|
||||
<node concept="2tJFMh" id="3BqfYtgCQia" role="2JrQYb">
|
||||
<node concept="ZC_QK" id="3BqfYtgCQi9" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="hwt6:3489cc5$luO" resolve="Thinlet" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="35YJGAJT$38" role="1m5AlR">
|
||||
<node concept="37vLTw" id="35YJGAJT$39" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="35YJGAJTxCF" resolve="ref" />
|
||||
</node>
|
||||
<node concept="liA8E" id="4BHjwwGJRIX" role="2OqNvi">
|
||||
<ref role="37wK5l" to="mhbf:~SNodeReference.resolve(org.jetbrains.mps.openapi.module.SRepository):org.jetbrains.mps.openapi.model.SNode" resolve="resolve" />
|
||||
<node concept="2OqwBi" id="4BHjwwGJS8O" role="37wK5m">
|
||||
<node concept="1jxXqW" id="4BHjwwGJRMu" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGJSNJ" role="2OqNvi">
|
||||
<node concept="Vyspw" id="35YJGAJT$3a" role="2OqNvi">
|
||||
<node concept="2OqwBi" id="35YJGAJT$3b" role="Vysub">
|
||||
<node concept="1jxXqW" id="35YJGAJT$3c" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="35YJGAJT$3d" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="4BHjwwGPxX0" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="4BHjwwGJQYf" resolve="cls" />
|
||||
<node concept="37vLTw" id="35YJGAJT$eK" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="35YJGAJT$35" resolve="cls" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGJZO2" role="ukAjM">
|
||||
<node concept="1jxXqW" id="4BHjwwGJZt5" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGK0mv" role="2OqNvi">
|
||||
<node concept="2OqwBi" id="35YJGAJTxW6" role="ukAjM">
|
||||
<node concept="1jxXqW" id="35YJGAJTxLs" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="35YJGAJTy_W" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2Hmddi" id="4BHjwwGPNaW" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="4BHjwwGPNe3" role="2Hmdds">
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
|
||||
<node concept="37vLTw" id="4BHjwwGPNe4" role="37wK5m">
|
||||
<ref role="3cqZAo" node="4BHjwwGJQYf" resolve="cls" />
|
||||
</node>
|
||||
<node concept="1jxXqW" id="4BHjwwGPNe5" role="37wK5m" />
|
||||
<node concept="3clFbT" id="7smgEqg9aYe" role="37wK5m">
|
||||
<property role="3clFbU" value="false" />
|
||||
</node>
|
||||
<node concept="3clFbF" id="35YJGAJTyJo" role="3cqZAp">
|
||||
<node concept="37vLTw" id="35YJGAJT$3e" role="3clFbG">
|
||||
<ref role="3cqZAo" node="35YJGAJT$35" resolve="cls" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Tm6S6" id="35YJGAJTxCl" role="1B3o_S" />
|
||||
</node>
|
||||
<node concept="1LZb2c" id="1N_0WA5DT8G" role="1SL9yI">
|
||||
<property role="TrG5h" value="Thinlet" />
|
||||
<node concept="3cqZAl" id="1N_0WA5DT8H" role="3clF45" />
|
||||
<node concept="3clFbS" id="1N_0WA5DT8I" role="3clF47">
|
||||
<node concept="2Hmddi" id="4BHjwwGPMah" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="4BHjwwGPMdn" role="2Hmdds">
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<node concept="2OqwBi" id="2QSgdliBFSp" role="37wK5m">
|
||||
<node concept="2WthIp" id="2QSgdliBFNX" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="2QSgdliBFZs" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
|
||||
<node concept="2tJFMh" id="2QSgdliBFZv" role="2XxRq1">
|
||||
<node concept="ZC_QK" id="2QSgdlj8a_0" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="hwt6:3489cc5$luO" resolve="Thinlet" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1jxXqW" id="4BHjwwGPMdp" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbH" id="2QSgdlj8alg" role="3cqZAp" />
|
||||
</node>
|
||||
<node concept="3uibUv" id="4BHjwwGPyDL" role="Sfmx6">
|
||||
<ref role="3uigEE" to="wyt6:~Exception" resolve="Exception" />
|
||||
</node>
|
||||
|
|
|
|||
File diff suppressed because it is too large
Load Diff
|
|
@ -0,0 +1,350 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<model ref="r:edd793b1-5d54-477c-b734-287412ef4ebc(typechecking.samples.baseLanguage.features@tests)">
|
||||
<persistence version="9" />
|
||||
<languages>
|
||||
<use id="8585453e-6bfb-4d80-98de-b16074f1d86c" name="jetbrains.mps.lang.test" version="2" />
|
||||
<use id="f61473f9-130f-42f6-b98d-6c438812c2f6" name="jetbrains.mps.baseLanguage.unitTest" version="0" />
|
||||
<use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="11" />
|
||||
<use id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access" version="0" />
|
||||
</languages>
|
||||
<imports>
|
||||
<import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" />
|
||||
<import index="96nh" ref="r:0a51f978-f7e7-4ce4-89ac-69fc1d6b1a8d(typechecking.samples.baseLanguage.features)" />
|
||||
<import index="tj24" ref="r:0fbbb63a-fd15-46e1-8136-78049f6d6e63(jetbrains.mps.typechecking.service)" />
|
||||
<import index="z1c3" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)" />
|
||||
</imports>
|
||||
<registry>
|
||||
<language id="8585453e-6bfb-4d80-98de-b16074f1d86c" name="jetbrains.mps.lang.test">
|
||||
<concept id="5097124989038916362" name="jetbrains.mps.lang.test.structure.TestInfo" flags="ng" index="2XOHcx">
|
||||
<property id="5097124989038916363" name="projectPath" index="2XOHcw" />
|
||||
</concept>
|
||||
<concept id="1225467090849" name="jetbrains.mps.lang.test.structure.ProjectExpression" flags="nn" index="1jxXqW" />
|
||||
<concept id="1216913645126" name="jetbrains.mps.lang.test.structure.NodesTestCase" flags="lg" index="1lH9Xt">
|
||||
<property id="6339244025081158986" name="needsNoWriteAction" index="3OwPAg" />
|
||||
<child id="1216993439383" name="methods" index="1qtyYc" />
|
||||
<child id="1217501895093" name="testMethods" index="1SL9yI" />
|
||||
</concept>
|
||||
<concept id="1225978065297" name="jetbrains.mps.lang.test.structure.SimpleNodeTest" flags="ng" index="1LZb2c" />
|
||||
</language>
|
||||
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
|
||||
<concept id="1215693861676" name="jetbrains.mps.baseLanguage.structure.BaseAssignmentExpression" flags="nn" index="d038R">
|
||||
<child id="1068498886297" name="rValue" index="37vLTx" />
|
||||
<child id="1068498886295" name="lValue" index="37vLTJ" />
|
||||
</concept>
|
||||
<concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
|
||||
<concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
|
||||
<child id="1197027771414" name="operand" index="2Oq$k0" />
|
||||
<child id="1197027833540" name="operation" index="2OqNvi" />
|
||||
</concept>
|
||||
<concept id="1081236700937" name="jetbrains.mps.baseLanguage.structure.StaticMethodCall" flags="nn" index="2YIFZM">
|
||||
<reference id="1144433194310" name="classConcept" index="1Pybhc" />
|
||||
</concept>
|
||||
<concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
|
||||
<reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
|
||||
</concept>
|
||||
<concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
|
||||
<concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
|
||||
<concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
|
||||
<child id="5680397130376446158" name="type" index="1tU5fm" />
|
||||
</concept>
|
||||
<concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
|
||||
<child id="1068580123133" name="returnType" index="3clF45" />
|
||||
<child id="1068580123134" name="parameter" index="3clF46" />
|
||||
<child id="1068580123135" name="body" index="3clF47" />
|
||||
</concept>
|
||||
<concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
|
||||
<child id="1068580123156" name="expression" index="3clFbG" />
|
||||
</concept>
|
||||
<concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
|
||||
<child id="1068581517665" name="statement" index="3cqZAp" />
|
||||
</concept>
|
||||
<concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
|
||||
<child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
|
||||
</concept>
|
||||
<concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
|
||||
<concept id="1068581517677" name="jetbrains.mps.baseLanguage.structure.VoidType" flags="in" index="3cqZAl" />
|
||||
<concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
|
||||
<reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
|
||||
<child id="1068499141038" name="actualArgument" index="37wK5m" />
|
||||
</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="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
|
||||
</language>
|
||||
<language id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access">
|
||||
<concept id="8974276187400348173" name="jetbrains.mps.lang.access.structure.CommandClosureLiteral" flags="nn" index="1QHqEC" />
|
||||
<concept id="8974276187400348170" name="jetbrains.mps.lang.access.structure.BaseExecuteCommandStatement" flags="nn" index="1QHqEJ">
|
||||
<child id="1423104411234567454" name="repo" index="ukAjM" />
|
||||
<child id="8974276187400348171" name="commandClosureLiteral" index="1QHqEI" />
|
||||
</concept>
|
||||
<concept id="8974276187400348181" name="jetbrains.mps.lang.access.structure.ExecuteLightweightCommandStatement" flags="nn" index="1QHqEK" />
|
||||
</language>
|
||||
<language id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures">
|
||||
<concept id="1199569711397" name="jetbrains.mps.baseLanguage.closures.structure.ClosureLiteral" flags="nn" index="1bVj0M">
|
||||
<child id="1199569916463" name="body" index="1bW5cS" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="443f4c36-fcf5-4eb6-9500-8d06ed259e3e" name="jetbrains.mps.baseLanguage.classifiers">
|
||||
<concept id="1205752633985" name="jetbrains.mps.baseLanguage.classifiers.structure.ThisClassifierExpression" flags="nn" index="2WthIp" />
|
||||
<concept id="1205756064662" name="jetbrains.mps.baseLanguage.classifiers.structure.IMemberOperation" flags="ng" index="2WEnae">
|
||||
<reference id="1205756909548" name="member" index="2WH_rO" />
|
||||
</concept>
|
||||
<concept id="1205769003971" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodDeclaration" flags="ng" index="2XrIbr" />
|
||||
<concept id="1205769149993" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodCallOperation" flags="nn" index="2XshWL">
|
||||
<child id="1205770614681" name="actualArgument" index="2XxRq1" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="446c26eb-2b7b-4bf0-9b35-f83fa582753e" name="jetbrains.mps.lang.modelapi">
|
||||
<concept id="4733039728785194814" name="jetbrains.mps.lang.modelapi.structure.NamedNodeReference" flags="ng" index="ZC_QK">
|
||||
<reference id="7256306938026143658" name="target" index="2aWVGs" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="f61473f9-130f-42f6-b98d-6c438812c2f6" name="jetbrains.mps.baseLanguage.unitTest">
|
||||
<concept id="7080278351417106679" name="jetbrains.mps.baseLanguage.unitTest.structure.AssertIsNotNull" flags="nn" index="2Hmddi">
|
||||
<child id="7080278351417106681" name="expression" index="2Hmdds" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
|
||||
<concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
|
||||
<reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
|
||||
</concept>
|
||||
<concept id="7400021826771268254" name="jetbrains.mps.lang.smodel.structure.SNodePointerType" flags="ig" index="2sp9CU" />
|
||||
<concept id="7400021826774799413" name="jetbrains.mps.lang.smodel.structure.NodePointerExpression" flags="ng" index="2tJFMh">
|
||||
<child id="7400021826774799510" name="ref" index="2tJFKM" />
|
||||
</concept>
|
||||
<concept id="4065387505485742749" name="jetbrains.mps.lang.smodel.structure.AbstractPointerResolveOperation" flags="ng" index="2yCiFS">
|
||||
<child id="3648723375513868575" name="repositoryArg" index="Vysub" />
|
||||
</concept>
|
||||
<concept id="2396822768958367367" name="jetbrains.mps.lang.smodel.structure.AbstractTypeCastExpression" flags="nn" index="$5XWr">
|
||||
<child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
|
||||
<child id="3906496115198199033" name="conceptArgument" index="3oSUPX" />
|
||||
</concept>
|
||||
<concept id="3648723375513868532" name="jetbrains.mps.lang.smodel.structure.NodePointer_ResolveOperation" flags="ng" index="Vyspw" />
|
||||
<concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI" />
|
||||
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
|
||||
<reference id="1138405853777" name="concept" index="ehGHo" />
|
||||
</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="2XOHcx" id="1N_0WA5DT60">
|
||||
<property role="2XOHcw" value="${mpscore_home}" />
|
||||
</node>
|
||||
<node concept="1lH9Xt" id="5s5QomKHHly">
|
||||
<property role="3OwPAg" value="true" />
|
||||
<property role="TrG5h" value="Features" />
|
||||
<node concept="2XrIbr" id="35YJGAJTxCf" role="1qtyYc">
|
||||
<property role="TrG5h" value="resolve" />
|
||||
<node concept="37vLTG" id="35YJGAJTxCF" role="3clF46">
|
||||
<property role="TrG5h" value="ref" />
|
||||
<node concept="2sp9CU" id="35YJGAJTxCR" role="1tU5fm" />
|
||||
</node>
|
||||
<node concept="3Tqbb2" id="35YJGAJTxCp" role="3clF45">
|
||||
<ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
<node concept="3clFbS" id="35YJGAJTxCh" role="3clF47">
|
||||
<node concept="3cpWs8" id="35YJGAJT$34" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="35YJGAJT$35" role="3cpWs9">
|
||||
<property role="TrG5h" value="cls" />
|
||||
<node concept="3Tqbb2" id="35YJGAJT$2Z" role="1tU5fm">
|
||||
<ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1QHqEK" id="35YJGAJTxLm" role="3cqZAp">
|
||||
<node concept="1QHqEC" id="35YJGAJTxLn" role="1QHqEI">
|
||||
<node concept="3clFbS" id="35YJGAJTxLo" role="1bW5cS">
|
||||
<node concept="3clFbF" id="35YJGAJT$eE" role="3cqZAp">
|
||||
<node concept="37vLTI" id="35YJGAJT$eG" role="3clFbG">
|
||||
<node concept="1PxgMI" id="35YJGAJT$36" role="37vLTx">
|
||||
<node concept="chp4Y" id="35YJGAJT$37" role="3oSUPX">
|
||||
<ref role="cht4Q" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="35YJGAJT$38" role="1m5AlR">
|
||||
<node concept="37vLTw" id="35YJGAJT$39" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="35YJGAJTxCF" resolve="ref" />
|
||||
</node>
|
||||
<node concept="Vyspw" id="35YJGAJT$3a" role="2OqNvi">
|
||||
<node concept="2OqwBi" id="35YJGAJT$3b" role="Vysub">
|
||||
<node concept="1jxXqW" id="35YJGAJT$3c" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="35YJGAJT$3d" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="35YJGAJT$eK" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="35YJGAJT$35" resolve="cls" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="35YJGAJTxW6" role="ukAjM">
|
||||
<node concept="1jxXqW" id="35YJGAJTxLs" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="35YJGAJTy_W" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="35YJGAJTyJo" role="3cqZAp">
|
||||
<node concept="37vLTw" id="35YJGAJT$3e" role="3clFbG">
|
||||
<ref role="3cqZAo" node="35YJGAJT$35" resolve="cls" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Tm6S6" id="35YJGAJTxCl" role="1B3o_S" />
|
||||
</node>
|
||||
<node concept="1LZb2c" id="5s5QomKHHK1" role="1SL9yI">
|
||||
<property role="TrG5h" value="intByteConversion" />
|
||||
<node concept="3cqZAl" id="5s5QomKHHK2" role="3clF45" />
|
||||
<node concept="3clFbS" id="5s5QomKHHK6" role="3clF47">
|
||||
<node concept="2Hmddi" id="4BHjwwGPNaW" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="4BHjwwGPNe3" role="2Hmdds">
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
|
||||
<node concept="2OqwBi" id="35YJGAJT$tF" role="37wK5m">
|
||||
<node concept="2WthIp" id="35YJGAJT$tI" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="35YJGAJT$tK" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
|
||||
<node concept="2tJFMh" id="35YJGAJT$tQ" role="2XxRq1">
|
||||
<node concept="ZC_QK" id="35YJGAJT$tR" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="96nh:5s5QomKHFub" resolve="IntByteConversion" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1jxXqW" id="4BHjwwGPNe5" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1LZb2c" id="2HYHa0WIt6Z" role="1SL9yI">
|
||||
<property role="TrG5h" value="charConversion" />
|
||||
<node concept="3cqZAl" id="2HYHa0WIt70" role="3clF45" />
|
||||
<node concept="3clFbS" id="2HYHa0WIt71" role="3clF47">
|
||||
<node concept="2Hmddi" id="2HYHa0WIt72" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="2HYHa0WIt73" role="2Hmdds">
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
|
||||
<node concept="2OqwBi" id="2HYHa0WIt74" role="37wK5m">
|
||||
<node concept="2WthIp" id="2HYHa0WIt75" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="2HYHa0WIt76" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
|
||||
<node concept="2tJFMh" id="2HYHa0WIt77" role="2XxRq1">
|
||||
<node concept="ZC_QK" id="2HYHa0WIt7D" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="96nh:3Cu2imBSO5x" resolve="CharConversion" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1jxXqW" id="2HYHa0WIt79" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1LZb2c" id="6EY0p2ym72p" role="1SL9yI">
|
||||
<property role="TrG5h" value="shortConversion" />
|
||||
<node concept="3cqZAl" id="6EY0p2ym72q" role="3clF45" />
|
||||
<node concept="3clFbS" id="6EY0p2ym72r" role="3clF47">
|
||||
<node concept="2Hmddi" id="6EY0p2ym72s" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="6EY0p2ym72t" role="2Hmdds">
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
|
||||
<node concept="2OqwBi" id="6EY0p2ym72u" role="37wK5m">
|
||||
<node concept="2WthIp" id="6EY0p2ym72v" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="6EY0p2ym72w" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
|
||||
<node concept="2tJFMh" id="6EY0p2ym72x" role="2XxRq1">
|
||||
<node concept="ZC_QK" id="6EY0p2ym73r" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="96nh:6EY0p2ylujy" resolve="IntShortConversion" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1jxXqW" id="6EY0p2ym72z" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1LZb2c" id="5moyjRHyVvd" role="1SL9yI">
|
||||
<property role="TrG5h" value="genericNewExpression" />
|
||||
<node concept="3cqZAl" id="5moyjRHyVve" role="3clF45" />
|
||||
<node concept="3clFbS" id="5moyjRHyVvf" role="3clF47">
|
||||
<node concept="2Hmddi" id="5moyjRHyVvg" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="5moyjRHyVvh" role="2Hmdds">
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
|
||||
<node concept="2OqwBi" id="5moyjRHyVvi" role="37wK5m">
|
||||
<node concept="2WthIp" id="5moyjRHyVvj" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="5moyjRHyVvk" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
|
||||
<node concept="2tJFMh" id="5moyjRHyVvl" role="2XxRq1">
|
||||
<node concept="ZC_QK" id="5moyjRHz1DP" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="96nh:2HYHa0WUDvm" resolve="GenericNewExpression" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1jxXqW" id="5moyjRHyVvn" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1LZb2c" id="6EY0p2x_00j" role="1SL9yI">
|
||||
<property role="TrG5h" value="instanceMethod" />
|
||||
<node concept="3cqZAl" id="6EY0p2x_00k" role="3clF45" />
|
||||
<node concept="3clFbS" id="6EY0p2x_00l" role="3clF47">
|
||||
<node concept="2Hmddi" id="6EY0p2x_00m" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="6EY0p2x_00n" role="2Hmdds">
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
|
||||
<node concept="2OqwBi" id="6EY0p2x_00o" role="37wK5m">
|
||||
<node concept="2WthIp" id="6EY0p2x_00p" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="6EY0p2x_00q" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
|
||||
<node concept="2tJFMh" id="6EY0p2x_00r" role="2XxRq1">
|
||||
<node concept="ZC_QK" id="6EY0p2x_01j" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="96nh:6EY0p2wAiyu" resolve="InstanceMethod" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1jxXqW" id="6EY0p2x_00t" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1LZb2c" id="6EY0p2yyMKo" role="1SL9yI">
|
||||
<property role="TrG5h" value="staticMethod" />
|
||||
<node concept="3cqZAl" id="6EY0p2yyMKp" role="3clF45" />
|
||||
<node concept="3clFbS" id="6EY0p2yyMKq" role="3clF47">
|
||||
<node concept="2Hmddi" id="6EY0p2yyMKr" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="6EY0p2yyMKs" role="2Hmdds">
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
|
||||
<node concept="2OqwBi" id="6EY0p2yyMKt" role="37wK5m">
|
||||
<node concept="2WthIp" id="6EY0p2yyMKu" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="6EY0p2yyMKv" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
|
||||
<node concept="2tJFMh" id="6EY0p2yyMKw" role="2XxRq1">
|
||||
<node concept="ZC_QK" id="6EY0p2yyMLI" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="96nh:6EY0p2ymmj_" resolve="StaticMethod" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1jxXqW" id="6EY0p2yyMKy" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</model>
|
||||
|
||||
|
|
@ -11,7 +11,6 @@
|
|||
<import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" />
|
||||
<import index="waaz" ref="r:5669dd77-177e-474f-8fb2-c015a8eb4306(typechecking.samples.baseLanguage.simpleGenerics)" />
|
||||
<import index="tj24" ref="r:0fbbb63a-fd15-46e1-8136-78049f6d6e63(jetbrains.mps.typechecking.service)" />
|
||||
<import index="mhbf" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.model(MPS.OpenAPI/)" implicit="true" />
|
||||
<import index="z1c3" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)" implicit="true" />
|
||||
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
|
||||
</imports>
|
||||
|
|
@ -23,6 +22,7 @@
|
|||
<concept id="1225467090849" name="jetbrains.mps.lang.test.structure.ProjectExpression" flags="nn" index="1jxXqW" />
|
||||
<concept id="1216913645126" name="jetbrains.mps.lang.test.structure.NodesTestCase" flags="lg" index="1lH9Xt">
|
||||
<property id="6339244025081158986" name="needsNoWriteAction" index="3OwPAg" />
|
||||
<child id="1216993439383" name="methods" index="1qtyYc" />
|
||||
<child id="1217501895093" name="testMethods" index="1SL9yI" />
|
||||
</concept>
|
||||
<concept id="1225978065297" name="jetbrains.mps.lang.test.structure.SimpleNodeTest" flags="ng" index="1LZb2c" />
|
||||
|
|
@ -43,6 +43,7 @@
|
|||
<concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
|
||||
<reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
|
||||
</concept>
|
||||
<concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
|
||||
<concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
|
||||
<concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
|
||||
<child id="5680397130376446158" name="type" index="1tU5fm" />
|
||||
|
|
@ -50,6 +51,7 @@
|
|||
<concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
|
||||
<child id="1164879685961" name="throwsItem" index="Sfmx6" />
|
||||
<child id="1068580123133" name="returnType" index="3clF45" />
|
||||
<child id="1068580123134" name="parameter" index="3clF46" />
|
||||
<child id="1068580123135" name="body" index="3clF47" />
|
||||
</concept>
|
||||
<concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
|
||||
|
|
@ -70,6 +72,10 @@
|
|||
<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="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
|
||||
</language>
|
||||
<language id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access">
|
||||
<concept id="8974276187400348173" name="jetbrains.mps.lang.access.structure.CommandClosureLiteral" flags="nn" index="1QHqEC" />
|
||||
|
|
@ -84,6 +90,16 @@
|
|||
<child id="1199569916463" name="body" index="1bW5cS" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="443f4c36-fcf5-4eb6-9500-8d06ed259e3e" name="jetbrains.mps.baseLanguage.classifiers">
|
||||
<concept id="1205752633985" name="jetbrains.mps.baseLanguage.classifiers.structure.ThisClassifierExpression" flags="nn" index="2WthIp" />
|
||||
<concept id="1205756064662" name="jetbrains.mps.baseLanguage.classifiers.structure.IMemberOperation" flags="ng" index="2WEnae">
|
||||
<reference id="1205756909548" name="member" index="2WH_rO" />
|
||||
</concept>
|
||||
<concept id="1205769003971" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodDeclaration" flags="ng" index="2XrIbr" />
|
||||
<concept id="1205769149993" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodCallOperation" flags="nn" index="2XshWL">
|
||||
<child id="1205770614681" name="actualArgument" index="2XxRq1" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="446c26eb-2b7b-4bf0-9b35-f83fa582753e" name="jetbrains.mps.lang.modelapi">
|
||||
<concept id="4733039728785194814" name="jetbrains.mps.lang.modelapi.structure.NamedNodeReference" flags="ng" index="ZC_QK">
|
||||
<reference id="7256306938026143658" name="target" index="2aWVGs" />
|
||||
|
|
@ -98,16 +114,18 @@
|
|||
<concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
|
||||
<reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
|
||||
</concept>
|
||||
<concept id="7400021826771268254" name="jetbrains.mps.lang.smodel.structure.SNodePointerType" flags="ig" index="2sp9CU" />
|
||||
<concept id="7400021826774799413" name="jetbrains.mps.lang.smodel.structure.NodePointerExpression" flags="ng" index="2tJFMh">
|
||||
<child id="7400021826774799510" name="ref" index="2tJFKM" />
|
||||
</concept>
|
||||
<concept id="4065387505485742749" name="jetbrains.mps.lang.smodel.structure.AbstractPointerResolveOperation" flags="ng" index="2yCiFS">
|
||||
<child id="3648723375513868575" name="repositoryArg" index="Vysub" />
|
||||
</concept>
|
||||
<concept id="2396822768958367367" name="jetbrains.mps.lang.smodel.structure.AbstractTypeCastExpression" flags="nn" index="$5XWr">
|
||||
<child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
|
||||
<child id="3906496115198199033" name="conceptArgument" index="3oSUPX" />
|
||||
</concept>
|
||||
<concept id="1145404486709" name="jetbrains.mps.lang.smodel.structure.SemanticDowncastExpression" flags="nn" index="2JrnkZ">
|
||||
<child id="1145404616321" name="leftExpression" index="2JrQYb" />
|
||||
</concept>
|
||||
<concept id="3648723375513868532" name="jetbrains.mps.lang.smodel.structure.NodePointer_ResolveOperation" flags="ng" index="Vyspw" />
|
||||
<concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI" />
|
||||
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
|
||||
<reference id="1138405853777" name="concept" index="ehGHo" />
|
||||
|
|
@ -125,68 +143,89 @@
|
|||
<node concept="1lH9Xt" id="1N_0WA5DT3k">
|
||||
<property role="TrG5h" value="Typechecking" />
|
||||
<property role="3OwPAg" value="true" />
|
||||
<node concept="1LZb2c" id="1N_0WA5DT8G" role="1SL9yI">
|
||||
<property role="TrG5h" value="SimpleGenerics" />
|
||||
<node concept="3cqZAl" id="1N_0WA5DT8H" role="3clF45" />
|
||||
<node concept="3clFbS" id="1N_0WA5DT8I" role="3clF47">
|
||||
<node concept="3cpWs8" id="4BHjwwGJQYe" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="4BHjwwGJQYf" role="3cpWs9">
|
||||
<node concept="2XrIbr" id="35YJGAJTxCf" role="1qtyYc">
|
||||
<property role="TrG5h" value="resolve" />
|
||||
<node concept="37vLTG" id="35YJGAJTxCF" role="3clF46">
|
||||
<property role="TrG5h" value="ref" />
|
||||
<node concept="2sp9CU" id="35YJGAJTxCR" role="1tU5fm" />
|
||||
</node>
|
||||
<node concept="3Tqbb2" id="35YJGAJTxCp" role="3clF45">
|
||||
<ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
<node concept="3clFbS" id="35YJGAJTxCh" role="3clF47">
|
||||
<node concept="3cpWs8" id="35YJGAJT$34" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="35YJGAJT$35" role="3cpWs9">
|
||||
<property role="TrG5h" value="cls" />
|
||||
<node concept="3Tqbb2" id="4BHjwwGJQYb" role="1tU5fm">
|
||||
<node concept="3Tqbb2" id="35YJGAJT$2Z" role="1tU5fm">
|
||||
<ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1QHqEK" id="4BHjwwGJZh0" role="3cqZAp">
|
||||
<node concept="1QHqEC" id="4BHjwwGJZh2" role="1QHqEI">
|
||||
<node concept="3clFbS" id="4BHjwwGJZh4" role="1bW5cS">
|
||||
<node concept="3clFbF" id="4BHjwwGPC_3" role="3cqZAp">
|
||||
<node concept="37vLTI" id="4BHjwwGPC_5" role="3clFbG">
|
||||
<node concept="1PxgMI" id="4BHjwwGJT1y" role="37vLTx">
|
||||
<node concept="chp4Y" id="4BHjwwGJTcC" role="3oSUPX">
|
||||
<node concept="1QHqEK" id="35YJGAJTxLm" role="3cqZAp">
|
||||
<node concept="1QHqEC" id="35YJGAJTxLn" role="1QHqEI">
|
||||
<node concept="3clFbS" id="35YJGAJTxLo" role="1bW5cS">
|
||||
<node concept="3clFbF" id="35YJGAJT$eE" role="3cqZAp">
|
||||
<node concept="37vLTI" id="35YJGAJT$eG" role="3clFbG">
|
||||
<node concept="1PxgMI" id="35YJGAJT$36" role="37vLTx">
|
||||
<node concept="chp4Y" id="35YJGAJT$37" role="3oSUPX">
|
||||
<ref role="cht4Q" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGJRwn" role="1m5AlR">
|
||||
<node concept="2JrnkZ" id="3BqfYtgCQhZ" role="2Oq$k0">
|
||||
<node concept="2tJFMh" id="3BqfYtgCQhY" role="2JrQYb">
|
||||
<node concept="ZC_QK" id="3BqfYtgCQhX" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="waaz:3Qp4N06bAlL" resolve="SimpleGenerics" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="35YJGAJT$38" role="1m5AlR">
|
||||
<node concept="37vLTw" id="35YJGAJT$39" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="35YJGAJTxCF" resolve="ref" />
|
||||
</node>
|
||||
<node concept="liA8E" id="4BHjwwGJRIX" role="2OqNvi">
|
||||
<ref role="37wK5l" to="mhbf:~SNodeReference.resolve(org.jetbrains.mps.openapi.module.SRepository):org.jetbrains.mps.openapi.model.SNode" resolve="resolve" />
|
||||
<node concept="2OqwBi" id="4BHjwwGJS8O" role="37wK5m">
|
||||
<node concept="1jxXqW" id="4BHjwwGJRMu" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGJSNJ" role="2OqNvi">
|
||||
<node concept="Vyspw" id="35YJGAJT$3a" role="2OqNvi">
|
||||
<node concept="2OqwBi" id="35YJGAJT$3b" role="Vysub">
|
||||
<node concept="1jxXqW" id="35YJGAJT$3c" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="35YJGAJT$3d" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="4BHjwwGPC_9" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="4BHjwwGJQYf" resolve="cls" />
|
||||
<node concept="37vLTw" id="35YJGAJT$eK" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="35YJGAJT$35" resolve="cls" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGJZO2" role="ukAjM">
|
||||
<node concept="1jxXqW" id="4BHjwwGJZt5" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGK0mv" role="2OqNvi">
|
||||
<node concept="2OqwBi" id="35YJGAJTxW6" role="ukAjM">
|
||||
<node concept="1jxXqW" id="35YJGAJTxLs" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="35YJGAJTy_W" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2Hmddi" id="4BHjwwGPOtX" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="4BHjwwGPOwN" role="2Hmdds">
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<node concept="3clFbF" id="35YJGAJTyJo" role="3cqZAp">
|
||||
<node concept="37vLTw" id="35YJGAJT$3e" role="3clFbG">
|
||||
<ref role="3cqZAo" node="35YJGAJT$35" resolve="cls" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Tm6S6" id="35YJGAJTxCl" role="1B3o_S" />
|
||||
</node>
|
||||
<node concept="1LZb2c" id="1N_0WA5DT8G" role="1SL9yI">
|
||||
<property role="TrG5h" value="SimpleGenerics" />
|
||||
<node concept="3cqZAl" id="1N_0WA5DT8H" role="3clF45" />
|
||||
<node concept="3clFbS" id="1N_0WA5DT8I" role="3clF47">
|
||||
<node concept="2Hmddi" id="4BHjwwGPNaW" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="4BHjwwGPNe3" role="2Hmdds">
|
||||
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<node concept="37vLTw" id="4BHjwwGPOwO" role="37wK5m">
|
||||
<ref role="3cqZAo" node="4BHjwwGJQYf" resolve="cls" />
|
||||
<node concept="2OqwBi" id="35YJGAJT$tF" role="37wK5m">
|
||||
<node concept="2WthIp" id="35YJGAJT$tI" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="35YJGAJT$tK" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
|
||||
<node concept="2tJFMh" id="35YJGAJT$tQ" role="2XxRq1">
|
||||
<node concept="ZC_QK" id="2QSgdlj8bda" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="waaz:3Qp4N06bAlL" resolve="SimpleGenerics" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1jxXqW" id="4BHjwwGPOwP" role="37wK5m" />
|
||||
<node concept="1jxXqW" id="4BHjwwGPNe5" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -198,64 +237,22 @@
|
|||
<property role="TrG5h" value="SimpleGenerics2" />
|
||||
<node concept="3cqZAl" id="1N_0WA5JFrO" role="3clF45" />
|
||||
<node concept="3clFbS" id="1N_0WA5JFrP" role="3clF47">
|
||||
<node concept="3cpWs8" id="4BHjwwGK6lE" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="4BHjwwGK6lF" role="3cpWs9">
|
||||
<property role="TrG5h" value="cls" />
|
||||
<node concept="3Tqbb2" id="4BHjwwGK6lG" role="1tU5fm">
|
||||
<ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1QHqEK" id="4BHjwwGK6lB" role="3cqZAp">
|
||||
<node concept="1QHqEC" id="4BHjwwGK6lC" role="1QHqEI">
|
||||
<node concept="3clFbS" id="4BHjwwGK6lD" role="1bW5cS">
|
||||
<node concept="3clFbF" id="4BHjwwGPD5h" role="3cqZAp">
|
||||
<node concept="37vLTI" id="4BHjwwGPD5j" role="3clFbG">
|
||||
<node concept="1PxgMI" id="4BHjwwGK6lH" role="37vLTx">
|
||||
<node concept="chp4Y" id="4BHjwwGK6lI" role="3oSUPX">
|
||||
<ref role="cht4Q" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGK6lJ" role="1m5AlR">
|
||||
<node concept="2JrnkZ" id="3BqfYtgCQie" role="2Oq$k0">
|
||||
<node concept="2tJFMh" id="3BqfYtgCQid" role="2JrQYb">
|
||||
<node concept="ZC_QK" id="3BqfYtgCQic" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="waaz:623frvF_qs8" resolve="SimpleGenerics2" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="4BHjwwGK6lL" role="2OqNvi">
|
||||
<ref role="37wK5l" to="mhbf:~SNodeReference.resolve(org.jetbrains.mps.openapi.module.SRepository):org.jetbrains.mps.openapi.model.SNode" resolve="resolve" />
|
||||
<node concept="2OqwBi" id="4BHjwwGK6lM" role="37wK5m">
|
||||
<node concept="1jxXqW" id="4BHjwwGK6lN" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGK6lO" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="4BHjwwGPD5n" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="4BHjwwGK6lF" resolve="cls" />
|
||||
<node concept="2Hmddi" id="2QSgdlj8bog" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="2QSgdlj8boh" role="2Hmdds">
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<ref role="37wK5l" to="tj24:7smgEqg8sZP" resolve="checkTypes" />
|
||||
<node concept="2OqwBi" id="2QSgdlj8boi" role="37wK5m">
|
||||
<node concept="2WthIp" id="2QSgdlj8boj" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="2QSgdlj8bok" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
|
||||
<node concept="2tJFMh" id="2QSgdlj8bol" role="2XxRq1">
|
||||
<node concept="ZC_QK" id="2QSgdlj8b$d" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="waaz:623frvF_qs8" resolve="SimpleGenerics2" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGK6lU" role="ukAjM">
|
||||
<node concept="1jxXqW" id="4BHjwwGK6lV" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGK6lW" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2Hmddi" id="4BHjwwGPOIf" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="4BHjwwGPOIg" role="2Hmdds">
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<node concept="37vLTw" id="4BHjwwGPOIh" role="37wK5m">
|
||||
<ref role="3cqZAo" node="4BHjwwGK6lF" resolve="cls" />
|
||||
</node>
|
||||
<node concept="1jxXqW" id="4BHjwwGPOIi" role="37wK5m" />
|
||||
<node concept="1jxXqW" id="2QSgdlj8bon" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
|
|||
|
|
@ -11,7 +11,6 @@
|
|||
<import index="tpee" ref="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" />
|
||||
<import index="9oqm" ref="r:a8ff5933-0f6e-4d4a-af4a-5da865d78faf(typechecking.samples.baseLanguage.slice)" />
|
||||
<import index="tj24" ref="r:0fbbb63a-fd15-46e1-8136-78049f6d6e63(jetbrains.mps.typechecking.service)" />
|
||||
<import index="mhbf" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.model(MPS.OpenAPI/)" implicit="true" />
|
||||
<import index="z1c3" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.project(MPS.Core/)" implicit="true" />
|
||||
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
|
||||
</imports>
|
||||
|
|
@ -23,6 +22,7 @@
|
|||
<concept id="1225467090849" name="jetbrains.mps.lang.test.structure.ProjectExpression" flags="nn" index="1jxXqW" />
|
||||
<concept id="1216913645126" name="jetbrains.mps.lang.test.structure.NodesTestCase" flags="lg" index="1lH9Xt">
|
||||
<property id="6339244025081158986" name="needsNoWriteAction" index="3OwPAg" />
|
||||
<child id="1216993439383" name="methods" index="1qtyYc" />
|
||||
<child id="1217501895093" name="testMethods" index="1SL9yI" />
|
||||
</concept>
|
||||
<concept id="1225978065297" name="jetbrains.mps.lang.test.structure.SimpleNodeTest" flags="ng" index="1LZb2c" />
|
||||
|
|
@ -43,6 +43,7 @@
|
|||
<concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
|
||||
<reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
|
||||
</concept>
|
||||
<concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
|
||||
<concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
|
||||
<concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
|
||||
<child id="5680397130376446158" name="type" index="1tU5fm" />
|
||||
|
|
@ -50,6 +51,7 @@
|
|||
<concept id="1068580123132" name="jetbrains.mps.baseLanguage.structure.BaseMethodDeclaration" flags="ng" index="3clF44">
|
||||
<child id="1164879685961" name="throwsItem" index="Sfmx6" />
|
||||
<child id="1068580123133" name="returnType" index="3clF45" />
|
||||
<child id="1068580123134" name="parameter" index="3clF46" />
|
||||
<child id="1068580123135" name="body" index="3clF47" />
|
||||
</concept>
|
||||
<concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
|
||||
|
|
@ -70,6 +72,10 @@
|
|||
<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="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
|
||||
</language>
|
||||
<language id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access">
|
||||
<concept id="8974276187400348173" name="jetbrains.mps.lang.access.structure.CommandClosureLiteral" flags="nn" index="1QHqEC" />
|
||||
|
|
@ -84,6 +90,16 @@
|
|||
<child id="1199569916463" name="body" index="1bW5cS" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="443f4c36-fcf5-4eb6-9500-8d06ed259e3e" name="jetbrains.mps.baseLanguage.classifiers">
|
||||
<concept id="1205752633985" name="jetbrains.mps.baseLanguage.classifiers.structure.ThisClassifierExpression" flags="nn" index="2WthIp" />
|
||||
<concept id="1205756064662" name="jetbrains.mps.baseLanguage.classifiers.structure.IMemberOperation" flags="ng" index="2WEnae">
|
||||
<reference id="1205756909548" name="member" index="2WH_rO" />
|
||||
</concept>
|
||||
<concept id="1205769003971" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodDeclaration" flags="ng" index="2XrIbr" />
|
||||
<concept id="1205769149993" name="jetbrains.mps.baseLanguage.classifiers.structure.DefaultClassifierMethodCallOperation" flags="nn" index="2XshWL">
|
||||
<child id="1205770614681" name="actualArgument" index="2XxRq1" />
|
||||
</concept>
|
||||
</language>
|
||||
<language id="446c26eb-2b7b-4bf0-9b35-f83fa582753e" name="jetbrains.mps.lang.modelapi">
|
||||
<concept id="4733039728785194814" name="jetbrains.mps.lang.modelapi.structure.NamedNodeReference" flags="ng" index="ZC_QK">
|
||||
<reference id="7256306938026143658" name="target" index="2aWVGs" />
|
||||
|
|
@ -98,16 +114,18 @@
|
|||
<concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
|
||||
<reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
|
||||
</concept>
|
||||
<concept id="7400021826771268254" name="jetbrains.mps.lang.smodel.structure.SNodePointerType" flags="ig" index="2sp9CU" />
|
||||
<concept id="7400021826774799413" name="jetbrains.mps.lang.smodel.structure.NodePointerExpression" flags="ng" index="2tJFMh">
|
||||
<child id="7400021826774799510" name="ref" index="2tJFKM" />
|
||||
</concept>
|
||||
<concept id="4065387505485742749" name="jetbrains.mps.lang.smodel.structure.AbstractPointerResolveOperation" flags="ng" index="2yCiFS">
|
||||
<child id="3648723375513868575" name="repositoryArg" index="Vysub" />
|
||||
</concept>
|
||||
<concept id="2396822768958367367" name="jetbrains.mps.lang.smodel.structure.AbstractTypeCastExpression" flags="nn" index="$5XWr">
|
||||
<child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
|
||||
<child id="3906496115198199033" name="conceptArgument" index="3oSUPX" />
|
||||
</concept>
|
||||
<concept id="1145404486709" name="jetbrains.mps.lang.smodel.structure.SemanticDowncastExpression" flags="nn" index="2JrnkZ">
|
||||
<child id="1145404616321" name="leftExpression" index="2JrQYb" />
|
||||
</concept>
|
||||
<concept id="3648723375513868532" name="jetbrains.mps.lang.smodel.structure.NodePointer_ResolveOperation" flags="ng" index="Vyspw" />
|
||||
<concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI" />
|
||||
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
|
||||
<reference id="1138405853777" name="concept" index="ehGHo" />
|
||||
|
|
@ -125,68 +143,89 @@
|
|||
<node concept="1lH9Xt" id="1N_0WA5DT3k">
|
||||
<property role="TrG5h" value="Typechecking" />
|
||||
<property role="3OwPAg" value="true" />
|
||||
<node concept="1LZb2c" id="1N_0WA5DT8G" role="1SL9yI">
|
||||
<property role="TrG5h" value="ComplexTypeErasure" />
|
||||
<node concept="3cqZAl" id="1N_0WA5DT8H" role="3clF45" />
|
||||
<node concept="3clFbS" id="1N_0WA5DT8I" role="3clF47">
|
||||
<node concept="3cpWs8" id="4BHjwwGJQYe" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="4BHjwwGJQYf" role="3cpWs9">
|
||||
<node concept="2XrIbr" id="35YJGAJTxCf" role="1qtyYc">
|
||||
<property role="TrG5h" value="resolve" />
|
||||
<node concept="37vLTG" id="35YJGAJTxCF" role="3clF46">
|
||||
<property role="TrG5h" value="ref" />
|
||||
<node concept="2sp9CU" id="35YJGAJTxCR" role="1tU5fm" />
|
||||
</node>
|
||||
<node concept="3Tqbb2" id="35YJGAJTxCp" role="3clF45">
|
||||
<ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
<node concept="3clFbS" id="35YJGAJTxCh" role="3clF47">
|
||||
<node concept="3cpWs8" id="35YJGAJT$34" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="35YJGAJT$35" role="3cpWs9">
|
||||
<property role="TrG5h" value="cls" />
|
||||
<node concept="3Tqbb2" id="4BHjwwGJQYb" role="1tU5fm">
|
||||
<node concept="3Tqbb2" id="35YJGAJT$2Z" role="1tU5fm">
|
||||
<ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1QHqEK" id="4BHjwwGJZh0" role="3cqZAp">
|
||||
<node concept="1QHqEC" id="4BHjwwGJZh2" role="1QHqEI">
|
||||
<node concept="3clFbS" id="4BHjwwGJZh4" role="1bW5cS">
|
||||
<node concept="3clFbF" id="4BHjwwGPDHN" role="3cqZAp">
|
||||
<node concept="37vLTI" id="4BHjwwGPDHP" role="3clFbG">
|
||||
<node concept="1PxgMI" id="4BHjwwGJT1y" role="37vLTx">
|
||||
<node concept="chp4Y" id="4BHjwwGJTcC" role="3oSUPX">
|
||||
<node concept="1QHqEK" id="35YJGAJTxLm" role="3cqZAp">
|
||||
<node concept="1QHqEC" id="35YJGAJTxLn" role="1QHqEI">
|
||||
<node concept="3clFbS" id="35YJGAJTxLo" role="1bW5cS">
|
||||
<node concept="3clFbF" id="35YJGAJT$eE" role="3cqZAp">
|
||||
<node concept="37vLTI" id="35YJGAJT$eG" role="3clFbG">
|
||||
<node concept="1PxgMI" id="35YJGAJT$36" role="37vLTx">
|
||||
<node concept="chp4Y" id="35YJGAJT$37" role="3oSUPX">
|
||||
<ref role="cht4Q" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGJRwn" role="1m5AlR">
|
||||
<node concept="2JrnkZ" id="3BqfYtgCQi8" role="2Oq$k0">
|
||||
<node concept="2tJFMh" id="3BqfYtgCQi7" role="2JrQYb">
|
||||
<node concept="ZC_QK" id="3BqfYtgCQi6" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="9oqm:61vfVfpb5w1" resolve="ComplexTypeErasure" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="35YJGAJT$38" role="1m5AlR">
|
||||
<node concept="37vLTw" id="35YJGAJT$39" role="2Oq$k0">
|
||||
<ref role="3cqZAo" node="35YJGAJTxCF" resolve="ref" />
|
||||
</node>
|
||||
<node concept="liA8E" id="4BHjwwGJRIX" role="2OqNvi">
|
||||
<ref role="37wK5l" to="mhbf:~SNodeReference.resolve(org.jetbrains.mps.openapi.module.SRepository):org.jetbrains.mps.openapi.model.SNode" resolve="resolve" />
|
||||
<node concept="2OqwBi" id="4BHjwwGJS8O" role="37wK5m">
|
||||
<node concept="1jxXqW" id="4BHjwwGJRMu" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGJSNJ" role="2OqNvi">
|
||||
<node concept="Vyspw" id="35YJGAJT$3a" role="2OqNvi">
|
||||
<node concept="2OqwBi" id="35YJGAJT$3b" role="Vysub">
|
||||
<node concept="1jxXqW" id="35YJGAJT$3c" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="35YJGAJT$3d" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="4BHjwwGPDHT" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="4BHjwwGJQYf" resolve="cls" />
|
||||
<node concept="37vLTw" id="35YJGAJT$eK" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="35YJGAJT$35" resolve="cls" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGJZO2" role="ukAjM">
|
||||
<node concept="1jxXqW" id="4BHjwwGJZt5" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGK0mv" role="2OqNvi">
|
||||
<node concept="2OqwBi" id="35YJGAJTxW6" role="ukAjM">
|
||||
<node concept="1jxXqW" id="35YJGAJTxLs" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="35YJGAJTy_W" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2Hmddi" id="4BHjwwGPOtX" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="4BHjwwGPOwN" role="2Hmdds">
|
||||
<node concept="3clFbF" id="35YJGAJTyJo" role="3cqZAp">
|
||||
<node concept="37vLTw" id="35YJGAJT$3e" role="3clFbG">
|
||||
<ref role="3cqZAo" node="35YJGAJT$35" resolve="cls" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Tm6S6" id="35YJGAJTxCl" role="1B3o_S" />
|
||||
</node>
|
||||
<node concept="1LZb2c" id="1N_0WA5DT8G" role="1SL9yI">
|
||||
<property role="TrG5h" value="ComplexTypeErasure" />
|
||||
<node concept="3cqZAl" id="1N_0WA5DT8H" role="3clF45" />
|
||||
<node concept="3clFbS" id="1N_0WA5DT8I" role="3clF47">
|
||||
<node concept="2Hmddi" id="4BHjwwGPMah" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="4BHjwwGPMdn" role="2Hmdds">
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<node concept="37vLTw" id="4BHjwwGPOwO" role="37wK5m">
|
||||
<ref role="3cqZAo" node="4BHjwwGJQYf" resolve="cls" />
|
||||
<node concept="2OqwBi" id="2QSgdliBFSp" role="37wK5m">
|
||||
<node concept="2WthIp" id="2QSgdliBFNX" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="2QSgdliBFZs" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
|
||||
<node concept="2tJFMh" id="2QSgdliBFZv" role="2XxRq1">
|
||||
<node concept="ZC_QK" id="2QSgdlj87fZ" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="9oqm:61vfVfpb5w1" resolve="ComplexTypeErasure" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1jxXqW" id="4BHjwwGPOwP" role="37wK5m" />
|
||||
<node concept="1jxXqW" id="4BHjwwGPMdp" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -198,64 +237,22 @@
|
|||
<property role="TrG5h" value="GenericSubst" />
|
||||
<node concept="3cqZAl" id="1N_0WA5JGiw" role="3clF45" />
|
||||
<node concept="3clFbS" id="1N_0WA5JGix" role="3clF47">
|
||||
<node concept="3cpWs8" id="4BHjwwGK8rB" role="3cqZAp">
|
||||
<node concept="3cpWsn" id="4BHjwwGK8rC" role="3cpWs9">
|
||||
<property role="TrG5h" value="cls" />
|
||||
<node concept="3Tqbb2" id="4BHjwwGK8rD" role="1tU5fm">
|
||||
<ref role="ehGHo" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1QHqEK" id="4BHjwwGK8r$" role="3cqZAp">
|
||||
<node concept="1QHqEC" id="4BHjwwGK8r_" role="1QHqEI">
|
||||
<node concept="3clFbS" id="4BHjwwGK8rA" role="1bW5cS">
|
||||
<node concept="3clFbF" id="4BHjwwGPEe1" role="3cqZAp">
|
||||
<node concept="37vLTI" id="4BHjwwGPEe3" role="3clFbG">
|
||||
<node concept="1PxgMI" id="4BHjwwGK8rE" role="37vLTx">
|
||||
<node concept="chp4Y" id="4BHjwwGK8rF" role="3oSUPX">
|
||||
<ref role="cht4Q" to="tpee:g7pOWCK" resolve="Classifier" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGK8rG" role="1m5AlR">
|
||||
<node concept="2JrnkZ" id="3BqfYtgCQin" role="2Oq$k0">
|
||||
<node concept="2tJFMh" id="3BqfYtgCQim" role="2JrQYb">
|
||||
<node concept="ZC_QK" id="3BqfYtgCQil" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="9oqm:61vfVfp6EBu" resolve="GenericSubst" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="4BHjwwGK8rI" role="2OqNvi">
|
||||
<ref role="37wK5l" to="mhbf:~SNodeReference.resolve(org.jetbrains.mps.openapi.module.SRepository):org.jetbrains.mps.openapi.model.SNode" resolve="resolve" />
|
||||
<node concept="2OqwBi" id="4BHjwwGK8rJ" role="37wK5m">
|
||||
<node concept="1jxXqW" id="4BHjwwGK8rK" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGK8rL" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTw" id="4BHjwwGPEe7" role="37vLTJ">
|
||||
<ref role="3cqZAo" node="4BHjwwGK8rC" resolve="cls" />
|
||||
<node concept="2Hmddi" id="2QSgdlj87ga" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="2QSgdlj87gb" role="2Hmdds">
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<node concept="2OqwBi" id="2QSgdlj87gc" role="37wK5m">
|
||||
<node concept="2WthIp" id="2QSgdlj87gd" role="2Oq$k0" />
|
||||
<node concept="2XshWL" id="2QSgdlj87ge" role="2OqNvi">
|
||||
<ref role="2WH_rO" node="35YJGAJTxCf" resolve="resolve" />
|
||||
<node concept="2tJFMh" id="2QSgdlj87gf" role="2XxRq1">
|
||||
<node concept="ZC_QK" id="2QSgdlj87h0" role="2tJFKM">
|
||||
<ref role="2aWVGs" to="9oqm:61vfVfp6EBu" resolve="GenericSubst" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="4BHjwwGK8rR" role="ukAjM">
|
||||
<node concept="1jxXqW" id="4BHjwwGK8rS" role="2Oq$k0" />
|
||||
<node concept="liA8E" id="4BHjwwGK8rT" role="2OqNvi">
|
||||
<ref role="37wK5l" to="z1c3:~Project.getRepository():org.jetbrains.mps.openapi.module.SRepository" resolve="getRepository" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2Hmddi" id="4BHjwwGPPrX" role="3cqZAp">
|
||||
<node concept="2YIFZM" id="4BHjwwGPPrY" role="2Hmdds">
|
||||
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
|
||||
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
|
||||
<node concept="37vLTw" id="4BHjwwGPPrZ" role="37wK5m">
|
||||
<ref role="3cqZAo" node="4BHjwwGK8rC" resolve="cls" />
|
||||
</node>
|
||||
<node concept="1jxXqW" id="4BHjwwGPPs0" role="37wK5m" />
|
||||
<node concept="1jxXqW" id="2QSgdlj87gh" role="37wK5m" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
|
|||
|
|
@ -657,9 +657,9 @@
|
|||
<ref role="3uigEE" node="5s497Vrh7RP" resolve="Sample_bad1.J" />
|
||||
<node concept="16syzq" id="5s497Vrh7Sg" role="11_B2D">
|
||||
<ref role="16sUi3" node="5s497Vrh7Sm" resolve="T3" />
|
||||
</node>
|
||||
<node concept="1U20sH" id="1FOQehxRcNX" role="lGtFl">
|
||||
<property role="1U20sK" value="error" />
|
||||
<node concept="1U20sH" id="2QSgdlj86JW" role="lGtFl">
|
||||
<property role="1U20sK" value="error" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<model ref="r:a8ff5933-0f6e-4d4a-af4a-5da865d78faf(typechecking.samples.baseLanguage.slice)" doNotGenerate="true">
|
||||
<model ref="r:a8ff5933-0f6e-4d4a-af4a-5da865d78faf(typechecking.samples.baseLanguage.slice)">
|
||||
<persistence version="9" />
|
||||
<languages>
|
||||
<use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="6" />
|
||||
|
|
|
|||
|
|
@ -10,6 +10,7 @@
|
|||
<dependency reexport="true">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
|
||||
<dependency reexport="false">f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)</dependency>
|
||||
<dependency reexport="false">6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.typechecking)</dependency>
|
||||
<dependency reexport="false">6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)</dependency>
|
||||
</dependencies>
|
||||
<languageVersions>
|
||||
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="6" />
|
||||
|
|
|
|||
Loading…
Reference in New Issue