<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>
<!--
Copyright (c) 2009, 2019 Mia-Software and others.
All rights reserved. This program and the accompanying materials
are made available under the terms of the Eclipse Public License v2.0
which accompanies this distribution, and is available at
http://www.eclipse.org/legal/epl-v20.html

Contributors:
    Gregoire DUPE (Mia-Software) - initial API and implementation
    Nicolas BROS (Mia-Software)
-->
<plugin>

   <extension point="org.eclipse.emf.ecore.generated_package">
      <package
            uri="http://www.eclipse.org/MoDisco/infra/facet/0.8.incubation"
            class="org.eclipse.modisco.infra.facet.FacetPackage"
            genModel="model/facet.genmodel"/>
   </extension>
      <extension
         point="org.eclipse.emf.validation.constraintProviders">
      <category
            id="org.eclipse.modisco.infra.facet.validation"
            mandatory="false"
            name="%category.name"/>
      <constraintProvider
            mode="Batch">
         <package namespaceUri="http://www.eclipse.org/MoDisco/infra/facet/0.8.incubation"/>
         <constraints categories="org.eclipse.modisco.infra.facet.validation">
            <constraint
                  lang="Java"
                  class="org.eclipse.modisco.infra.facet.validation.NonEmptyName"
                  severity="ERROR"
                  mode="Batch"
                  name="%constraint.name"
                  id="org.eclipse.modisco.infra.facet.validation.nonemptyname"
                  statusCode="1">
               <description>
                  %constraint.description
               </description>
               <message>
                  %constraint.message
               </message>
               <target class="FacetSet"/>
               <target class="Facet"/>
               <target class="FacetReference"/>
               <target
                     class="FacetAttribute">
               </target>
            </constraint>
            <constraint
                  lang="Java"
                  class="org.eclipse.modisco.infra.facet.validation.FacetSetRoot"
                  severity="ERROR"
                  mode="Batch"
                  name="%constraint.name.0"
                  id="org.eclipse.modisco.infra.facet.validation.ModelfacetSetRoot"
                  statusCode="1">
               <description>
                  %constraint.description.0
               </description>
               <message>
                  %constraint.message.0
               </message>
               <target class="Facet"/>
               <target
                     class="FacetSet">
               </target>
            </constraint>
            <constraint
                  lang="Java"
                  class="org.eclipse.modisco.infra.facet.validation.FacetSetName"
                  severity="ERROR"
                  mode="Batch"
                  name="%constraint.name.1"
                  id="org.eclipse.modisco.infra.facet.validation.FacetSetName"
                  statusCode="1">
               <description>
                  %constraint.description.1
               </description>
               <message>
                  %constraint.message.1
               </message>
               <target class="FacetSet"/>
            </constraint>
            <constraint
                  lang="Java"
                  class="org.eclipse.modisco.infra.facet.validation.ExtendedClassValidation"
                  severity="ERROR"
                  mode="Batch"
                  name="%constraint.name.2"
                  id="org.eclipse.modisco.infra.facet.validation.ExtendedClassValidation"
                  statusCode="1">
               <description>
                  %constraint.description.2 
               </description>
               <message>
                  %constraint.message.2
               </message>
               <target class="Facet"/>
            </constraint> 
            <constraint
                  lang="Java"
                  class="org.eclipse.modisco.infra.facet.validation.UniqueName"
                  severity="ERROR"
                  mode="Batch"
                  name="%constraint.name.3"
                  id="org.eclipse.modisco.infra.facet.validation.UniqueName"
                  statusCode="1">
               <description>
                  %constraint.description.3
               </description>
               <message>
                   %constraint.message.3
               </message>
               <target class="FacetSet"/>
            </constraint>
            <constraint
                  id="org.eclipse.modisco.infra.facet.FacetInQueryScope"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.4"
                  severity="ERROR"
                  statusCode="1">
               <message>
                  %constraint.message.4
               </message>
               <description>
                  %constraint.description.4
               </description>
               <target
                     class="Facet">
               </target>
<![CDATA[
if self.conditionQuery = null then true else self.conditionQuery.scope->exists(scopeClass|self.eSuperTypes->exists(f|scopeClass.isSuperTypeOf(f))) endif
]]>
            </constraint>   
            <constraint
                  id="org.eclipse.modisco.infra.facet.BooleanFacetQuery"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.5"
                  severity="ERROR"
                  statusCode="1">
               <message>
                  %constraint.message.5
               </message>
               <description>
                  %constraint.description.5 
               </description>
               <target
                     class="Facet">
               </target>
<![CDATA[
if self.conditionQuery.oclIsUndefined() then
 true 
else
 (self.conditionQuery.returnType.instanceClassName = 'java.lang.Boolean') or (self.conditionQuery.returnType.instanceClassName = 'boolean')
endif 
]]>
            </constraint> 
            <constraint
                  id="org.eclipse.modisco.infra.facet.OnlyFacetStructuralFeature"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.6"
                  severity="ERROR"
                  statusCode="1">
               <message>
                  %constraint.message.6
               </message>
               <description>
                  %constraint.description.6 
               </description>
               <target
                     class="Facet">
               </target>
<![CDATA[
self.eStructuralFeatures->forAll(e|e.oclIsKindOf(facet::FacetStructuralFeature) or e.oclIsKindOf(facet::Shortcut) ) 
]]>
            </constraint> 
            <constraint
                  id="org.eclipse.modisco.infra.facet.QueryReturnsDataType"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.7"
                  severity="ERROR"
                  statusCode="1">
               <message>
                  %constraint.message.7
               </message>
               <description>
                  %constraint.description.7
               </description>
               <target
                     class="FacetAttribute">
               </target>
<![CDATA[
self.valueQuery.returnType.oclIsKindOf(ecore::EDataType)
]]>
            </constraint> 
            <constraint
                  id="org.eclipse.modisco.infra.facet.QueryReturnsEClass"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.8"
                  severity="ERROR"
                  statusCode="1">
               <message>
                  %constraint.message.8
               </message>
               <description>
                  %constraint.description.8
               </description>
               <target
                     class="FacetReference">
               </target>
<![CDATA[
self.valueQuery.returnType.oclIsKindOf(ecore::EClass)
]]>
            </constraint> 
            <constraint
                  id="org.eclipse.modisco.infra.facet.FacetIsAbstract"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.9"
                  severity="ERROR"
                  statusCode="1">
               <message>
                  %constraint.message.9
               </message>
               <description>
                  %constraint.description.9
               </description>
               <target
                     class="Facet">
               </target>
<![CDATA[
self.abstract
]]>
            </constraint> 
			<constraint
                  id="org.eclipse.modisco.infra.facet.ExtendedPackage"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.10"
                  severity="ERROR"
                  statusCode="1">
               <message>
                  %constraint.message.10
               </message>
               <description>
                  %constraint.description.10
               </description>
               <target
                     class="FacetSet">
               </target>
<![CDATA[
self.extendedPackage <> self
]]>
            </constraint>
            <constraint
                  id="org.eclipse.modisco.infra.facet.AttributeQueryType"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.11"
                  severity="ERROR"
                  statusCode="1">
               <message>
                 %constraint.message.11
               </message>
               <description>
                  %constraint.description.11
               </description>
               <target
                     class="FacetAttribute">
               </target>
<![CDATA[
(self.eType = self.valueQuery.returnType)
]]>
            </constraint> 
            <constraint
                  id="org.eclipse.modisco.infra.facet.ReferenceQueryType"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.12"
                  severity="ERROR"
                  statusCode="1">
               <message>
                 %constraint.message.12
               </message>
               <description>
                  %constraint.description.12
               </description>
               <target
                     class="FacetReference">
               </target>
<![CDATA[
self.eType = self.valueQuery.returnType
]]>
            </constraint>
            <constraint
                  id="org.eclipse.modisco.infra.facet.AttributeMultiplicity"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.13"
                  severity="ERROR"
                  statusCode="1">
               <message>
                 %constraint.message.13
               </message>
               <description>
                  %constraint.description.13
               </description>
               <target
                     class="FacetAttribute">
               </target>
<![CDATA[
(self.upperBound = self.valueQuery.upperBound) and (self.lowerBound = self.valueQuery.lowerBound)
]]>
            </constraint> 
            <constraint
                  id="org.eclipse.modisco.infra.facet.ReferenceMultiplicity"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.14"
                  severity="ERROR"
                  statusCode="1">
               <message>
                 %constraint.message.14
               </message>
               <description>
                  %constraint.description.14
               </description>
               <target
                     class="FacetReference">
               </target>
<![CDATA[
(self.upperBound = self.valueQuery.upperBound) and (self.lowerBound = self.valueQuery.lowerBound)
]]>
            </constraint>
            

            
            <constraint
                  id="org.eclipse.modisco.infra.facet.refNotChangeable"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.15"
                  severity="ERROR"
                  statusCode="1">
               <message>
                 %constraint.message.15
               </message>
               <description>
                  %constraint.description.15
               </description>
               <target
                     class="FacetReference">
               </target>
<![CDATA[
self.changeable=false
]]>
            </constraint>
            <constraint
                  id="org.eclipse.modisco.infra.facet.refDerived"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.16"
                  severity="ERROR"
                  statusCode="1">
               <message>
                 %constraint.message.16
               </message>
               <description>
                  %constraint.description.16
               </description>
               <target
                     class="FacetReference">
               </target>
<![CDATA[
self.derived
]]>
            </constraint>
            <constraint
                  id="org.eclipse.modisco.infra.facet.refVolatile"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.17"
                  severity="ERROR"
                  statusCode="1">
               <message>
                 %constraint.message.17
               </message>
               <description>
                  %constraint.description.17
               </description>
               <target
                     class="FacetReference">
               </target>
<![CDATA[
self.volatile
]]>
            </constraint>           
            <constraint
                  id="org.eclipse.modisco.infra.facet.refUnsettable"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.18"
                  severity="ERROR"
                  statusCode="1">
               <message>
                 %constraint.message.18
               </message>
               <description>
                  %constraint.description.18
               </description>
               <target
                     class="FacetReference">
               </target>
<![CDATA[
self.unsettable
]]>
            </constraint>             
             <constraint
                  id="org.eclipse.modisco.infra.facet.refNotContainment"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.19"
                  severity="ERROR"
                  statusCode="1">
               <message>
                 %constraint.message.19
               </message>
               <description>
                  %constraint.description.19
               </description>
               <target
                     class="FacetReference">
               </target>
<![CDATA[
self.containment=false
]]>
            </constraint>           
            

            
           <constraint
                  id="org.eclipse.modisco.infra.facet.attrNotChangeable"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.20"
                  severity="ERROR"
                  statusCode="1">
               <message>
                 %constraint.message.20
               </message>
               <description>
                  %constraint.description.20
               </description>
               <target
                     class="FacetAttribute">
               </target>
<![CDATA[
self.changeable=false
]]>
            </constraint>
            <constraint
                  id="org.eclipse.modisco.infra.facet.attrDerived"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.21"
                  severity="ERROR"
                  statusCode="1">
               <message>
                 %constraint.message.21
               </message>
               <description>
                  %constraint.description.21
               </description>
               <target
                     class="FacetAttribute">
               </target>
<![CDATA[
self.derived
]]>
            </constraint>
            <constraint
                  id="org.eclipse.modisco.infra.facet.attrVolatile"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.22"
                  severity="ERROR"
                  statusCode="1">
               <message>
                 %constraint.message.22
               </message>
               <description>
                  %constraint.description.22
               </description>
               <target
                     class="FacetAttribute">
               </target>
<![CDATA[
self.volatile
]]>
            </constraint>           
            <constraint
                  id="org.eclipse.modisco.infra.facet.attrUnsettable"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.23"
                  severity="ERROR"
                  statusCode="1">
               <message>
                 %constraint.message.23
               </message>
               <description>
                  %constraint.description.23
               </description>
               <target
                     class="FacetAttribute">
               </target>
<![CDATA[
self.unsettable
]]>
            </constraint> 
            <constraint
                  id="org.eclipse.modisco.infra.facet.FacetESuperTypes"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.24"
                  severity="ERROR"
                  statusCode="1">
               <message>
                 %constraint.message.24
               </message>
               <description>
                  %constraint.description.24
               </description>
               <target
                     class="Facet">
               </target>
<![CDATA[
self.eSuperTypes->size() > 0
]]>
            </constraint>
            <constraint
                  id="org.eclipse.modisco.infra.facet.FacetSetNsURI"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.25"
                  severity="ERROR"
                  statusCode="1">
               <message>
                  %constraint.message.25
               </message>
               <description>
%constraint.description.25               
               </description>
               <target
                     class="FacetSet">
               </target>
<![CDATA[
self.nsURI->notEmpty() and self.nsURI <> ''
]]>               
            </constraint>
            <constraint
                  id="org.eclipse.modisco.infra.facet.FacetSetNsPrefix"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.26"
                  severity="ERROR"
                  statusCode="1">
               <message>
                  %constraint.message.26
               </message>
               <description>
%constraint.description.26               
               </description>
               <target
                     class="FacetSet">
               </target>
<![CDATA[
self.nsPrefix->notEmpty() and self.nsPrefix <> ''
]]>               
            </constraint>
            <constraint
                  id="org.eclipse.modisco.infra.facet.FacetSetExtendedPackages"
                  lang="OCL"
                  mode="Batch"
                  name="%constraint.name.27"
                  severity="ERROR"
                  statusCode="1">
               <message>
                  %constraint.message.27
               </message>
               <description>
%constraint.description.27               
               </description>
               <target
                     class="FacetSet">
               </target>
<![CDATA[
self.extendedPackage->notEmpty()
]]>               
            </constraint>
         </constraints>
      </constraintProvider>
   </extension>
   <extension
         point="org.eclipse.emf.validation.constraintBindings">
      <clientContext
            default="false"
            id="org.eclipse.modisco.infra.facet.clientcontext">
         <enablement></enablement>
      </clientContext>
      <binding
            context="org.eclipse.modisco.infra.facet.clientcontext"
            category="org.eclipse.modisco.infra.facet.validation"/>
   </extension> 
   
   <!-- so that model editors know they can open it -->
   <extension
         point="org.eclipse.core.contenttype.contentTypes">
      <content-type
            base-type="org.eclipse.emf.ecore.xmi"
            file-extensions="facetSet"
            id="org.eclipse.modisco.infra.facet.contenttype"
            name="%content-type.name"
            priority="normal">
      </content-type>
   </extension>

</plugin>