natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
311 Commits 26 Branches 0 Tags 127 MiB
Commit Graph

266 Commits

Author SHA1 Message Date
Fedor Isakov 1f7e800864 Updated the typechecking templates after the refactoring 2015-08-27 13:55:28 +02:00
Fedor Isakov cee12bbef3 Pull up boundParameterBlock as AbstractRule.letBlock 2015-08-27 13:55:11 +02:00
Fedor Isakov 9ad0dc8f53 Updated the typechecking templates after the refactoring 2015-08-27 13:27:18 +02:00
Fedor Isakov acd9aa4826 Pull up input specification to AbstractRule 2015-08-27 13:27:02 +02:00
Fedor Isakov 51db4e7df3 Update the typechecking templates after link push down 2015-08-27 11:28:13 +02:00
Fedor Isakov 1c091271b1 Push down applicableCondition as Rule.condition 2015-08-27 11:27:55 +02:00
Fedor Isakov 1925e99b3e Removed obsolete concept 2015-08-27 11:08:44 +02:00
Fedor Isakov e6c7cd6bba Replace multi-fragment generator template with a switch (trying to avoid generating generator templates, failed) 2015-08-26 19:07:40 +02:00
Fedor Isakov 2b83eb1bb5 Code cleanup 2015-08-26 18:25:24 +02:00
Fedor Isakov beb24a57e1 Typechecking2 runtime API simplification and cleanup 2015-08-26 13:49:41 +02:00
Fedor Isakov e66de44626 Validate type term against the template and report structure errors 2015-08-25 13:37:06 +02:00
Fedor Isakov cc33af8691 Editor beautifications and workarounds for indent layout 2015-08-25 13:37:06 +02:00
Fedor Isakov e9b1968475 Copy NodeKind from the prototype (mostly useless feature now) 2015-08-25 13:37:06 +02:00
Mihail.Buryakov 270e1de4cc comment out difficult fragments of samples 2015-08-25 13:00:43 +02:00
Mihail.Buryakov d9e042ae94 Add Comment intension available only if there is no comment on this node 2015-08-25 12:59:03 +02:00
Mihail.Buryakov 7fa0207a2b support copying multiple bounds (0..n) with boundCopy 2015-08-25 12:44:37 +02:00
Mihail.Buryakov 680242cbe9 ubound and lbound are also correct on termintation 2015-08-25 12:27:21 +02:00
Mihail.Buryakov 3de2351f8d add missing required dependency (classifier -> its type variables) 2015-08-25 12:26:35 +02:00
Mihail.Buryakov cd3ec30bea temporary disable return check rule (until we have lub) 2015-08-25 12:25:38 +02:00
Mihail.Buryakov f0ddff8ccd skip commented out templates 2015-08-25 12:24:19 +02:00
Fedor Isakov 2907e1af3f New construct to represent type terms (TypeTerm) referencing a declaration, an intention to convert old Ast to TypeTerm 
Renamed Node -> Compound, (old) TypeTerm -> TypeTemplate.
 2015-08-24 17:09:52 +02:00
Mihail.Buryakov e5b21e1327 check remaining constraints on termination 2015-08-24 16:57:36 +02:00
Mihail.Buryakov 4d86d23235 check remaining constraints on termination 2015-08-24 15:57:46 +02:00
Mihail.Buryakov c196d3f254 typesystem rules for logical variables and values 2015-08-24 15:46:49 +02:00
Mihail.Buryakov a13882914b fix unification failure: use always short class name 2015-08-24 15:46:47 +02:00
Mihail.Buryakov 3394dd2c71 fix wildcards 2015-08-24 15:46:47 +02:00
Mihail.Buryakov 76504f9321 discard check constraint for MethodDeclaration 2015-08-24 15:46:46 +02:00
Fedor Isakov f607281012 Typesystem2 language: runtime and generator for type declaration templates 2015-08-24 13:34:12 +02:00
Fedor Isakov 113bbb821a Typesystem2 language: type declaration templates 2015-08-24 13:34:12 +02:00
Fedor Isakov 13d286e0ec Check types action runs typechecking on all ClassConcept roots in the selection 2015-08-24 13:34:12 +02:00
Fedor Isakov 167123abc1 Extract typechecking helper class to be used in actions 2015-08-24 13:34:11 +02:00
Mihail.Buryakov 9ad6d96925 discard 'check' constraint for those concept which do not require (yet) real checking 2015-08-20 19:36:41 +02:00
Mihail.Buryakov c73472366f update models 2015-08-20 18:55:34 +02:00
Mihail.Buryakov 2b5a1c1cb9 do not allow confusing value '_' 2015-08-20 18:54:04 +02:00
Mihail.Buryakov 0af14047d2 fix wildcards 2015-08-20 18:10:42 +02:00
Mihail.Buryakov a621acf103 fix compilation 2015-08-20 17:20:12 +02:00
Mihail.Buryakov bc8702897c remove innecessary arguments from promote constraint 2015-08-20 17:03:16 +02:00
Mihail.Buryakov f978d76268 add type constructor for void type 2015-08-20 16:16:20 +02:00
Mihail.Buryakov 22810d6ce2 add some annotations on constraint declarations 2015-08-20 16:15:38 +02:00
Mihail.Buryakov fa4fb3a0c8 SubclassingUtil: implicitly inlude Object in paths, some refactoring 2015-08-20 11:43:24 +02:00
Mihail.Buryakov e4adffe2a3 improve template for 'new class': now works only with explicit parameters 2015-08-19 16:40:32 +02:00
Mihail.Buryakov 369dfd8878 update samples 2015-08-19 13:48:53 +02:00
Mihail.Buryakov a457ca7a45 bugfix: discard 'check' constraint for VariableDeclaration 2015-08-19 13:29:19 +02:00
Mihail.Buryakov 4986ce5659 bugfix: discard 'check' constraint for DotExpression and FieldReferenceOperation 2015-08-19 12:27:46 +02:00
Mihail.Buryakov e2ed94f1eb improve editor for rule templates 2015-08-19 12:25:54 +02:00
Mihail.Buryakov 03d3967d30 bugfix: discard 'check' constraint for method call 2015-08-19 11:57:52 +02:00
Mihail.Buryakov 77719af9f4 deprecate RulePart concept 2015-08-19 10:20:24 +02:00
Mihail.Buryakov 3afa2623ac add template for BooleanType 2015-08-18 19:16:29 +02:00
Mihail.Buryakov a007391397 update examples 2015-08-18 19:14:20 +02:00
Mihail.Buryakov 42921bac5f Template for '==' expression 2015-08-18 19:04:36 +02:00