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

876 Commits

Author SHA1 Message Date
Fedor Isakov 8c81df5fae Automating updates file generation and upload using Travis CI. 2017-12-04 20:40:52 +01:00
Fedor Isakov 114f4b8079 Bumped up version in plugin.xml. 2017-12-04 13:34:57 +01:00
Fedor Isakov 0b2958a0df Bumped up the plugin version in updatePlugins.xml 2017-12-04 12:51:59 +01:00
Fedor Isakov ab8f4709ee Make checking for garbage optional by default. Garbage is always reported though. 2017-12-04 12:30:21 +01:00
Fedor Isakov 2ba4ee5712 Correct plugin version. Create updatePlugins.xml to provide updates. 2017-11-15 14:11:38 +01:00
Fedor Isakov 323cfdf080 Introduce environment variable to control whether to report garbage constraints. 
Fix NPE on missing rules for a stage during rules application.
 2017-11-15 11:46:44 +01:00
Fedor Isakov 1ba6449525 NPE guards for broken typesystem manifest. 2017-11-14 15:20:53 +01:00
Fedor Isakov 83b52e8b45 Drop usages of java expression solver, deprecate the API calls that require it. 2017-11-14 15:09:33 +01:00
Fedor Isakov fe27d40d4b Typechecking templates: drop "final" features, use the prototype term feature. 2017-11-12 16:45:32 +01:00
Fedor Isakov 6ba936e584 Introduce prototype for term declarations. Use term symbols to differentiate terms instead of "final" features. Simplify the editor. 2017-11-12 16:45:04 +01:00
Fedor Isakov 3d69b6c9f2 Switch to the latest conreactor revision. 2017-11-10 12:56:58 +01:00
Fedor Isakov 724addd354 Typechecking templates: apply the migrations; cleanup code; remove ad-hoc default feature values dependent on internal API. 2017-11-10 12:13:39 +01:00
Fedor Isakov b0f9150482 Typesystem2 lang: migration to clear term declarations using the arguments; drop term arguments suppport; default implementation for term features in the generator; fix term editor. 2017-11-10 12:13:24 +01:00
Fedor Isakov 5c6457b01a Typesystem2 lang: migration to get rid of parameters to term invocations. Fix a generator template for pattern terms. 2017-11-10 10:32:48 +01:00
Fedor Isakov c24b4d1044 Typechecking templates: move constraint declarations to handlers, remove the only solver root. 2017-11-09 14:07:27 +01:00
Fedor Isakov ae40717078 Typesystem2 lang: Structure change to move constraint declarations closer to where they are used. 2017-11-09 14:06:39 +01:00
Fedor Isakov c9af35e14b Typesystem2 lang and runtime: introduce CopyItem to copy terms recursively; specify MetaLogical type explicitly in the runtime interfaces; optimize generator templates. 2017-11-07 14:13:07 +01:00
Fedor Isakov 1a3a5ff6b1 Drop unnecessary type cast in generated code. 2017-11-07 14:10:45 +01:00
Fedor Isakov 291c0b58cd Display baseline conventional typechecking time. 2017-11-03 12:09:13 +01:00
Fedor Isakov 1541244395 Typechecking templates: add a rule to discharge hasBound of a captureOf type. 2017-11-03 12:08:17 +01:00
Fedor Isakov 45aa42bfe3 Enable control of output of profiling data with a system property. 2017-11-01 12:12:29 +01:00
Fedor Isakov d9eb56a91c Latest conreactor release. 2017-11-01 10:56:37 +01:00
Fedor Isakov aa8258c365 Typechecking templates: Applied migrations. Replace ad-hoc logical value access with valueOf expressions. 2017-11-01 10:52:15 +01:00
Fedor Isakov 1b86c47cac Typesystem2 lang: Deprecate LogicalExpression, migration to replace with the one from Logic lang. Support generation of ValueOf in LateExpressions. 2017-11-01 10:51:42 +01:00
Fedor Isakov 8ebee79af7 Logic lang: ValueOf expression for logical variables. LogicalExpression to replace the one from typesystem2 lang. 2017-11-01 10:51:42 +01:00
Fedor Isakov 51baea8b26 Typechecking plugin: drop read action from evaluation step. 2017-10-31 12:33:09 +01:00
Fedor Isakov 3ed8d2e375 Switch to latest release of constraints reactor lib. Update the dependency libs. 2017-10-30 19:51:42 +01:00
Fedor Isakov 26cd2c0416 Fix: LateExpression to accept LogicalContext, return the missing generation template for logical context. 2017-10-30 13:18:08 +01:00
Fedor Isakov c9c8ed39b4 Typechecking templates: Manual migrations and cleanup. Applied the migrations. 2017-10-27 16:30:28 +02:00
Fedor Isakov e41384f854 Drop JavaPredicate. 2017-10-27 16:30:28 +02:00
Fedor Isakov 7f1e07ebe7 Typesystem2 lang: Switch to using LateExpression for handling Java code in logical clauses; Introduce ExpressionItem, create a migration that replaces LogicalValue with ExpressionItem; Migration to replace LogicalValue; Drop generation of ExpressionSolver. 2017-10-27 16:30:28 +02:00
Fedor Isakov e154cbf82f Logic lang: Introduce EvalExpressionPredicate/Solver, LateExpression to abstract away expressions to be evaluated by the controller; Introdulce ListLiteral and TreeFormLiteral, deprecate LogicalValue. 2017-10-27 16:30:28 +02:00
Fedor Isakov 0ead14f24b Applied migration in Logic lang. 2017-10-25 16:33:09 +02:00
Fedor Isakov 57b5017c74 Typesystem2 lang: Support arbitrary data types for logicals; Specify data type of a constraint argument; Intentions to convert clause list to/from template form; Refactoring in Logic lang. 2017-10-25 16:33:09 +02:00
Fedor Isakov fd45d86d70 Logic lang: Drop usage of LogicalValue as a wrapper for Expression, migration to replace existing instances; Minor editor fixes. 2017-10-25 16:32:06 +02:00
Fedor Isakov b3b62d2cca UI: Fix presentation of terms, values and lists. 2017-10-24 16:05:05 +02:00
Fedor Isakov 4d2f6c4720 Drop usages of hardcoded "node" symbol. Rely on finders. 2017-10-24 16:05:05 +02:00
Fedor Isakov 0d6ff0d2e4 Fix treeform finders. Minor fixes. 2017-10-24 16:04:59 +02:00
Fedor Isakov 4f5d2c62fe Typesystem2 lang: Deprecate an obsolete superfluos language construct. 2017-10-23 13:58:47 +02:00
Fedor Isakov 090bb22d9e Typechecking templates: replace ad-hoc list expressions with ListExpression. Use latter instead of TermListExpr. 2017-10-23 13:58:02 +02:00
Fedor Isakov 5a5c7e6b77 Typechecking templates: replace ad-hoc list expressions with ListExpression. 2017-10-23 13:51:22 +02:00
Fedor Isakov 4c37334b46 Logic lang: introduce ListExpression, intention to replace "list" ListRole with it. 2017-10-23 13:51:00 +02:00
Fedor Isakov bc3ff79a9c Migration applied: extract ListRole. 2017-10-23 12:08:50 +02:00
Fedor Isakov 582c8d32d3 Logic language: introduce ListRole, create a migration to extract ChildRole with single list to ListRole. 2017-10-23 12:08:32 +02:00
Fedor Isakov f4a3f1fae5 Logic language runtime: refactor the TreeForm API for cleaner and more readable design, code cleanup, drop obsolete code. 2017-10-23 10:54:30 +02:00
Fedor Isakov e9a35f4fae Fix module dependencies 2017-10-23 10:23:12 +02:00
Fedor Isakov 643b5b67b3 Typechecking templates: ensure the term has default values. 2017-10-23 10:22:48 +02:00
Fedor Isakov 7c28db8854 UI: Drop string hacks, drop hardcoded term feature names. Code cleanup. 2017-10-19 17:55:09 +02:00
Fedor Isakov f72dc69216 Typechecking templates: Drop string hacks in terms. Getting rid of hardcoded term features. 2017-10-19 17:55:08 +02:00
Fedor Isakov c94be5ac3b Typesystem2 language: drop unused (superfluous) concept, drop string hacks. Getting rid of hardcoded term features. 2017-10-19 17:54:59 +02:00