metamodels
Identifier:
org.topcased.validation.ocl.metamodels
Since:
0.8.0
Description:
This extension point extends the OCL validator. With this extension point OCL rules files can be added to a metamodel. Then when the validation is called on a model the OCl validator validates this model using all the OCL files referenced for the associated metamodel.
Validation problems are added as errors or warnings depending of the extension.
Configuration Markup:
<!ELEMENT extension (rules+)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
<!ELEMENT rules EMPTY>
<!ATTLIST rules
file CDATA #REQUIRED
uri CDATA #REQUIRED
level (WARNING|ERROR) "ERROR"
id CDATA #REQUIRED>
Add a set of OCL rules on a metamodel.
- file - an OCL file. This OCL file must be relative to the plugin.
- uri - The URI of the metamodel that the OCL file validates.
- level - The level of the problems raised by these rules (Errors or Warnings)
- id - The identifier of this OCL file
Examples:
This example shows how a simple OCL file is added to the SAM metamodel (for example to check that there is only ONE initial state in an automaton) :
<extension
point=
"org.topcased.validation.ocl.metamodels"
>
<rules
file=
"model/SAM.ocl"
id=
"org.topcased.sam.BasicRules"
level=
"ERROR"
uri=
"http://www.topcased.org/SAM/1.0"
/>
</extension>
API Information:
None
Supplied Implementation:
None
Copyright (c) 2005, 2006 AIRBUS FRANCE and others.
All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at http://www.eclipse.org/legal/epl-v10.html