From 822864e4bfde1d659b8b8e7958a7bf063da91461 Mon Sep 17 00:00:00 2001 From: Bastian Kruck Date: Tue, 11 Jun 2019 12:42:21 +0200 Subject: [PATCH] modelcheck: rename ext.warningsAsError to warningAsError to be consistent with MPS --- README.md | 4 ++-- src/main/kotlin/de/itemis/mps/gradle/modelcheck/Plugin.kt | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 18c7c5b..be6e706 100644 --- a/README.md +++ b/README.md @@ -271,7 +271,7 @@ Parameters: * `macros` - optional list of path macros. The notation is `new Macro("name", "value")`. * `projectLocation` - location of the MPS project to generate. * `errorNoFail` - report errors but do not fail the build. -* `warningsAsError` - handles warnings as errors and will fail the build if any is found when `errorNoFail` is not set. +* `warningAsError` - handles warnings as errors and will fail the build if any is found when `errorNoFail` is not set. * `debug` - optionally allows to start the JVM that is used to generated with a debugger. Setting it to `true` will cause the started JVM to suspend until a debugger is attached. Useful for debugging classloading problems or exceptions during the build. @@ -296,4 +296,4 @@ modelcheck { ``` Dependencies of the specified plugins are automatically loaded from the `pluginlocation` and the plugins directory of -MPS. If they are not found the the build will fail. \ No newline at end of file +MPS. If they are not found the the build will fail. diff --git a/src/main/kotlin/de/itemis/mps/gradle/modelcheck/Plugin.kt b/src/main/kotlin/de/itemis/mps/gradle/modelcheck/Plugin.kt index 04e06ca..98a7f2e 100644 --- a/src/main/kotlin/de/itemis/mps/gradle/modelcheck/Plugin.kt +++ b/src/main/kotlin/de/itemis/mps/gradle/modelcheck/Plugin.kt @@ -11,7 +11,7 @@ import java.io.File open class ModelCheckPluginExtensions: BasePluginExtensions() { var models: List = emptyList() - var warningsAsError = false + var warningAsError = false var errorNoFail = false } @@ -35,7 +35,7 @@ open class ModelcheckMpsProjectPlugin : Plugin { args.addAll(extension.models.map { "--model=$it" }.asSequence()) - if(extension.warningsAsError) { + if(extension.warningAsError) { args.add("--warning-as-error") }