natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Typechecking templates updated

This commit is contained in:
Fedor Isakov 2015-07-16 13:16:51 +02:00
parent af45f35f2e
commit 0c692dd09f
4 changed files with 16624 additions and 13817 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29428
languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.handler/models/jetbrains/mps/lang/typesystem2/samplechecker/chr.mps
View File

File diff suppressed because it is too large Load Diff

70
languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker.runner/models/jetbrains/mps/lang/typesystem2/samplechecker/runner.mps
View File

@ -277,9 +277,19 @@
</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="312cEu" id="3Qp4N06bZn0">
@ -394,32 +404,66 @@
</node>
</node>
<node concept="3clFbH" id="41ox5VneLw6" role="3cqZAp" />
<node concept="3cpWs8" id="41ox5VnewK8" role="3cqZAp">
<node concept="3cpWsn" id="41ox5VnewK9" role="3cpWs9">
<node concept="1X3_iC" id="1PFbZN6jpFS" role="lGtFl">
<property role="3V$3am" value="statement" />
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
<node concept="3cpWs8" id="41ox5VnewK8" role="8Wnug">
<node concept="3cpWsn" id="41ox5VnewK9" role="3cpWs9">
<property role="TrG5h" value="sample" />
<node concept="1oi1Uc" id="41ox5VnewKa" role="33vP2m">
<node concept="1oi5UN" id="41ox5VnewKb" role="1oi0x0">
<node concept="1oi5Wm" id="41ox5VnewKc" role="1ojpOf">
<property role="TrG5h" value="concept" />
<node concept="1oi5XN" id="41ox5VnewKd" role="1oi5zu">
<property role="1oi5yK" value="ClassConcept" />
</node>
</node>
<node concept="1oi5Wm" id="41ox5VnewKe" role="1ojpOf">
<property role="TrG5h" value="name" />
<node concept="1oi5XN" id="41ox5VnewKf" role="1oi5zu">
<property role="1oi5yK" value="Sample" />
</node>
</node>
<node concept="1oi5Wm" id="41ox5VnewKg" role="1ojpOf">
<property role="TrG5h" value="id" />
<node concept="1oi5XN" id="41ox5VnewKh" role="1oi5zu">
<property role="1oi5yK" value="6270176708469746366" />
</node>
</node>
</node>
</node>
<node concept="3uibUv" id="41ox5VnewK7" role="1tU5fm">
<ref role="3uigEE" to="ie8e:2xQ7eRABXh4" resolve="Tree" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="1PFbZN6joSW" role="3cqZAp">
<node concept="3cpWsn" id="1PFbZN6joSX" role="3cpWs9">
<property role="TrG5h" value="sample" />
<node concept="1oi1Uc" id="41ox5VnewKa" role="33vP2m">
<node concept="1oi5UN" id="41ox5VnewKb" role="1oi0x0">
<node concept="1oi5Wm" id="41ox5VnewKc" role="1ojpOf">
<node concept="1oi1Uc" id="1PFbZN6joSY" role="33vP2m">
<node concept="1oi5UN" id="1PFbZN6joSZ" role="1oi0x0">
<node concept="1oi5Wm" id="1PFbZN6joT0" role="1ojpOf">
<property role="TrG5h" value="concept" />
<node concept="1oi5XN" id="41ox5VnewKd" role="1oi5zu">
<node concept="1oi5XN" id="1PFbZN6joT1" role="1oi5zu">
<property role="1oi5yK" value="ClassConcept" />
</node>
</node>
<node concept="1oi5Wm" id="41ox5VnewKe" role="1ojpOf">
<node concept="1oi5Wm" id="1PFbZN6joT2" role="1ojpOf">
<property role="TrG5h" value="name" />
<node concept="1oi5XN" id="41ox5VnewKf" role="1oi5zu">
<property role="1oi5yK" value="Sample" />
<node concept="1oi5XN" id="1PFbZN6jrZo" role="1oi5zu">
<property role="1oi5yK" value="ComplexTypeErasure" />
</node>
</node>
<node concept="1oi5Wm" id="41ox5VnewKg" role="1ojpOf">
<node concept="1oi5Wm" id="1PFbZN6joT4" role="1ojpOf">
<property role="TrG5h" value="id" />
<node concept="1oi5XN" id="41ox5VnewKh" role="1oi5zu">
<property role="1oi5yK" value="6270176708469746366" />
<node concept="1oi5XN" id="1PFbZN6js0G" role="1oi5zu">
<property role="1oi5yK" value="6944339192103852033" />
</node>
</node>
</node>
</node>
<node concept="3uibUv" id="41ox5VnewK7" role="1tU5fm">
<node concept="3uibUv" id="1PFbZN6joT6" role="1tU5fm">
<ref role="3uigEE" to="ie8e:2xQ7eRABXh4" resolve="Tree" />
</node>
</node>

941
languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.samplechecker/models/jetbrains/mps/lang/typesystem2/samplechecker/template.mps
View File

File diff suppressed because it is too large Load Diff

2
languages/jetbrains.mps.lang.typesystem2/sandbox/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps
View File

@ -2042,7 +2042,7 @@
<ref role="37wK5l" node="61vfVfp5zwA" resolve="showEvents" />
<node concept="10M0yZ" id="61vfVfp5X6h" role="37wK5m">
<ref role="1PxDUh" node="4i4XGQZlbGA" resolve="MessageViewTracer" />
<ref role="3cqZAo" node="61vfVfp5Q32" resolve="ONLY_FIRED" />
<ref role="3cqZAo" node="61vfVfp5OZI" resolve="ALL" />
</node>
</node>
</node>