modelcheck: rename ext.warningsAsError to warningAsError to be consis…

…tent with MPS

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.
+MPS. If they are not found the the build will fail.

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<String> = emptyList()
-    var warningsAsError = false
+    var warningAsError = false
     var errorNoFail = false
 }
 
@@ -35,7 +35,7 @@ open class ModelcheckMpsProjectPlugin : Plugin<Project> {
 
                 args.addAll(extension.models.map { "--model=$it" }.asSequence())
 
-                if(extension.warningsAsError) {
+                if(extension.warningAsError) {
                     args.add("--warning-as-error")
                 }