<!--
  ~ Copyright 2003-2010 JetBrains s.r.o.
  ~
  ~ Licensed under the Apache License, Version 2.0 (the "License");
  ~ you may not use this file except in compliance with the License.
  ~ You may obtain a copy of the License at
  ~
  ~ http://www.apache.org/licenses/LICENSE-2.0
  ~
  ~ Unless required by applicable law or agreed to in writing, software
  ~ distributed under the License is distributed on an "AS IS" BASIS,
  ~ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  ~ See the License for the specific language governing permissions and
  ~ limitations under the License.
  -->
<!DOCTYPE idea-plugin PUBLIC "Plugin/DTD" "http://plugins.intellij.net/plugin.dtd">
<idea-plugin>
  <id>jetbrains.mps.ide.modelchecker</id>
  <name>Model Checker</name>
  <description>Audit tool for MPS models</description>
  <version>2017.1.2</version>
  <vendor url="http://www.jetbrains.com/mps/" logo="/MPS_16.png">JetBrains</vendor>
  <idea-version since-build="171.1" until-build="172.1"/>

  <application-components>
    <component>
      <implementation-class>jetbrains.mps.ide.modelchecker.actions.Modelchecker_PluginInitializer</implementation-class>
    </component>

    <component>
      <implementation-class>jetbrains.mps.ide.modelchecker.platform.actions.ModelCheckerSettings</implementation-class>
    </component>
  </application-components>

  <project-components>
    <component>
      <implementation-class>jetbrains.mps.ide.modelchecker.platform.actions.ModelCheckerTool</implementation-class>
    </component>

  </project-components>

  <extensions defaultExtensionNs="com.intellij">
    <checkinHandlerFactory
            implementation="jetbrains.mps.ide.modelchecker.platform.actions.ModelCheckerCheckinHandler$ModelCheckerCheckinHandlerFactory"/>
    <mps.ModelValidator implementation="jetbrains.mps.ide.modelchecker.ModelValidatorAdapter"/>
    <applicationConfigurable groupId="tools" groupWeight="160" instance="jetbrains.mps.ide.modelchecker.platform.actions.ModelCheckerPreferencesPage" id="preferences.modelCheckerSettings"/>
    <mps.LanguageLibrary dir=""/>
    <errorHandler implementation="jetbrains.mps.ide.blame.CharismaReporter"/>
  </extensions>
</idea-plugin>
