| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.0"?> |
| |
| <!-- |
| (C) 2011, Vrije Universiteit Brussel |
| |
| $Id: plugin.xml,v 1.3 2012/01/02 11:49:41 dwagelaar Exp $ |
| --> |
| |
| <plugin> |
| |
| <extension point="org.eclipse.emf.ecore.generated_package"> |
| <package |
| uri="http://www.eclipse.org/m2m/atl/2011/EMFTVM" |
| class="org.eclipse.m2m.atl.emftvm.EmftvmPackage" |
| genModel="model/emftvm.genmodel"/> |
| </extension> |
| <extension |
| point="org.eclipse.emf.ecore.content_parser"> |
| <parser |
| class="org.eclipse.m2m.atl.emftvm.impl.resource.EMFTVMResourceFactoryImpl" |
| contentTypeIdentifier="org.eclipse.m2m.atl.emftvm"> |
| </parser> |
| </extension> |
| <extension |
| point="org.eclipse.core.contenttype.contentTypes"> |
| <content-type |
| file-extensions="emftvm" |
| id="org.eclipse.m2m.atl.emftvm" |
| name="ATL EMFTVM file format" |
| priority="normal"> |
| </content-type> |
| </extension> |
| <extension |
| point="org.eclipse.emf.ecore.extension_parser"> |
| <parser |
| class="org.eclipse.m2m.atl.emftvm.impl.resource.EMFTVMResourceFactoryImpl" |
| type="emftvm"> |
| </parser> |
| </extension> |
| <extension |
| point="org.eclipse.emf.validation.constraintProviders"> |
| <category |
| id="org.eclipse.m2m.atl.emftvm.constraintCategory" |
| mandatory="true" |
| name="EMFTVM bytecode constraints"> |
| </category> |
| <constraintProvider cache="true"> |
| <package namespaceUri="http://www.eclipse.org/m2m/atl/2011/EMFTVM"/> |
| <constraints categories="org.eclipse.m2m.atl.emftvm.constraintCategory"> |
| <constraint |
| id="org.eclipse.m2m.atl.emftvm.ValidCodeBlockStackLevelConstraint" |
| class="org.eclipse.m2m.atl.emftvm.constraints.ValidCodeBlockStackLevelConstraint" |
| lang="Java" |
| mode="Batch" |
| name="Valid code block stack level" |
| severity="ERROR" |
| statusCode="1"> |
| <message> |
| Code block {0} has {1} elements on the stack after execution; should be 0 or 1. |
| </message> |
| <description> |
| Validates the final stack level of code blocks, which should be 0 or 1. |
| </description> |
| <target |
| class="CodeBlock"> |
| </target> |
| </constraint> |
| <constraint |
| id="org.eclipse.m2m.atl.emftvm.StackUnderflowConstraint" |
| class="org.eclipse.m2m.atl.emftvm.constraints.StackUnderflowConstraint" |
| lang="Java" |
| mode="Batch" |
| name="Valid instruction stack level" |
| severity="ERROR" |
| statusCode="1"> |
| <message> |
| Guaranteed stack underflow condition detected at {0}::{1}: stack level = {2}. |
| </message> |
| <description> |
| Validates the stack level of instructions, which should be 0 or higher. |
| </description> |
| <target |
| class="Instruction"> |
| </target> |
| </constraint> |
| </constraints> |
| </constraintProvider> |
| </extension> |
| <extension |
| point="org.eclipse.emf.validation.constraintBindings"> |
| <clientContext |
| default="false" |
| id="org.eclipse.m2m.atl.emftvm.clientContext"> |
| <enablement> |
| <instanceof |
| value="org.eclipse.emf.ecore.EObject"> |
| </instanceof> |
| </enablement> |
| </clientContext> |
| <binding |
| category="org.eclipse.m2m.atl.emftvm.constraintCategory" |
| context="org.eclipse.m2m.atl.emftvm.clientContext"> |
| </binding> |
| </extension> |
| |
| </plugin> |