Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorptessier2013-06-11 13:02:11 -0400
committerptessier2013-06-11 13:02:11 -0400
commit71e2a9009089883340cf842ae73a01e1f1f447b2 (patch)
tree18d91def57345cbbf33912154ef5b7355f748df0 /plugins/doc
parent5eb409e3ac0ec78ade3902dc499ee76fe27d8099 (diff)
downloadorg.eclipse.papyrus-71e2a9009089883340cf842ae73a01e1f1f447b2.tar.gz
org.eclipse.papyrus-71e2a9009089883340cf842ae73a01e1f1f447b2.tar.xz
org.eclipse.papyrus-71e2a9009089883340cf842ae73a01e1f1f447b2.zip
382733: [validation] Papyrus shall to compute constraints from the profile at the model level
https://bugs.eclipse.org/bugs/show_bug.cgi?id=382733
Diffstat (limited to 'plugins/doc')
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/.classpath7
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/.project28
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/.settings/org.eclipse.core.resources.prefs3
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/.settings/org.eclipse.jdt.core.prefs7
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/META-INF/MANIFEST.MF13
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/about.html28
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/build.properties8
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/plugin.properties2
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/plugin.xml8
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/AnnotationEdition.pngbin0 -> 18642 bytes
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/ConstraintCreationUseCase.pngbin0 -> 10653 bytes
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/ConstraintDefinition.pngbin0 -> 26934 bytes
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/DSMLprofileApplication.pngbin0 -> 73643 bytes
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/DiagramConstraintCreation.pngbin0 -> 6121 bytes
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/DiagramContextLink.pngbin0 -> 24224 bytes
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/MEConstraintCreation.pngbin0 -> 31954 bytes
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/PluginValidationGeneration.pngbin0 -> 11559 bytes
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/SpecificationCreation.pngbin0 -> 16049 bytes
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/StereotypeApplication.pngbin0 -> 26410 bytes
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/UseCaseGeneration.pngbin0 -> 27834 bytes
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/constraintEdition.pngbin0 -> 18026 bytes
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/dsml-validation-main-toc.xml7
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/dsml-validation-toc.xml23
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/dsml-validation.html34
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/dsml-validation.mediawiki103
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/fillOpaqueExpression.pngbin0 -> 16304 bytes
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/opaqueExpressionCreation.pngbin0 -> 23844 bytes
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/pluginwizard.pngbin0 -> 27565 bytes
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/propertyviewContextlink.pngbin0 -> 21369 bytes
-rw-r--r--plugins/doc/org.eclipse.papyrus.dsml.validation.doc/src/org/eclipse/papyrus/dsml/validation/doc/Activator.java50
30 files changed, 321 insertions, 0 deletions
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/.classpath b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/.classpath
new file mode 100644
index 00000000000..b1dabee3829
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/.classpath
@@ -0,0 +1,7 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+ <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
+ <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
+ <classpathentry kind="src" path="src"/>
+ <classpathentry kind="output" path="bin"/>
+</classpath>
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/.project b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/.project
new file mode 100644
index 00000000000..f4c32b84fa7
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/.project
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+ <name>org.eclipse.papyrus.dsml.validation.doc</name>
+ <comment></comment>
+ <projects>
+ </projects>
+ <buildSpec>
+ <buildCommand>
+ <name>org.eclipse.jdt.core.javabuilder</name>
+ <arguments>
+ </arguments>
+ </buildCommand>
+ <buildCommand>
+ <name>org.eclipse.pde.ManifestBuilder</name>
+ <arguments>
+ </arguments>
+ </buildCommand>
+ <buildCommand>
+ <name>org.eclipse.pde.SchemaBuilder</name>
+ <arguments>
+ </arguments>
+ </buildCommand>
+ </buildSpec>
+ <natures>
+ <nature>org.eclipse.pde.PluginNature</nature>
+ <nature>org.eclipse.jdt.core.javanature</nature>
+ </natures>
+</projectDescription>
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/.settings/org.eclipse.core.resources.prefs b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/.settings/org.eclipse.core.resources.prefs
new file mode 100644
index 00000000000..40e4c95c94f
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/.settings/org.eclipse.core.resources.prefs
@@ -0,0 +1,3 @@
+eclipse.preferences.version=1
+encoding//resource/dsml-validation-toc.xml=utf-8
+encoding//resource/dsml-validation.html=utf-8
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/.settings/org.eclipse.jdt.core.prefs b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 00000000000..11f6e462df7
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,7 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
+org.eclipse.jdt.core.compiler.compliance=1.7
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.source=1.7
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/META-INF/MANIFEST.MF b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/META-INF/MANIFEST.MF
new file mode 100644
index 00000000000..226321f25ee
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/META-INF/MANIFEST.MF
@@ -0,0 +1,13 @@
+Manifest-Version: 1.0
+Bundle-ManifestVersion: 2
+Bundle-Name: %pluginName
+Bundle-SymbolicName: org.eclipse.papyrus.dsml.validation.doc;singleton:=true
+Bundle-Version: 0.10.0.qualifier
+Bundle-Activator: org.eclipse.papyrus.dsml.validation.doc.Activator
+Require-Bundle: org.eclipse.ui,
+ org.eclipse.core.runtime,
+ org.eclipse.papyrus.infra.doc;bundle-version="0.10.0"
+Bundle-RequiredExecutionEnvironment: J2SE-1.5
+Bundle-ActivationPolicy: lazy
+Bundle-Vendor: %vendorName
+Bundle-Localization: plugin
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/about.html b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/about.html
new file mode 100644
index 00000000000..5ddc72c177f
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/about.html
@@ -0,0 +1,28 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"/>
+<title>About</title>
+</head>
+<body lang="EN-US">
+<h2>About This Content</h2>
+
+<p>November 20, 2008</p>
+<h3>License</h3>
+
+<p>The Eclipse Foundation makes available all content in this plug-in (&quot;Content&quot;). Unless otherwise
+indicated below, the Content is provided to you under the terms and conditions of the
+Eclipse Public License Version 1.0 (&quot;EPL&quot;). A copy of the EPL is available
+at <a href="http://www.eclipse.org/legal/epl-v10.html">http://www.eclipse.org/legal/epl-v10.html</a>.
+For purposes of the EPL, &quot;Program&quot; will mean the Content.</p>
+
+<p>If you did not receive this Content directly from the Eclipse Foundation, the Content is
+being redistributed by another party (&quot;Redistributor&quot;) and different terms and conditions may
+apply to your use of any object code in the Content. Check the Redistributor's license that was
+provided with the Content. If no such license exists, contact the Redistributor. Unless otherwise
+indicated below, the terms and conditions of the EPL still apply to any source code in the Content
+and such source code may be obtained at <a href="http://www.eclipse.org">http://www.eclipse.org</a>.</p>
+
+</body>
+</html> \ No newline at end of file
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/build.properties b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/build.properties
new file mode 100644
index 00000000000..6308384e70d
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/build.properties
@@ -0,0 +1,8 @@
+source.. = src/
+output.. = bin/
+bin.includes = META-INF/,\
+ .,\
+ plugin.xml,\
+ resource/,\
+ about.html,\
+ plugin.properties
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/plugin.properties b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/plugin.properties
new file mode 100644
index 00000000000..a90e3f115ef
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/plugin.properties
@@ -0,0 +1,2 @@
+pluginName=Papyrus DSML validation Documentation (Incubation)
+vendorName=Eclipse Modeling Project \ No newline at end of file
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/plugin.xml b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/plugin.xml
new file mode 100644
index 00000000000..368dc50a301
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/plugin.xml
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<?eclipse version="3.4"?>
+<plugin>
+ <extension point="org.eclipse.help.toc">
+ <toc file="resource/dsml-validation-main-toc.xml" primary="false"/>
+ <toc file="resource/dsml-validation-toc.xml" primary="false"/>
+ </extension>
+</plugin> \ No newline at end of file
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/AnnotationEdition.png b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/AnnotationEdition.png
new file mode 100644
index 00000000000..e722d70aa1f
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/AnnotationEdition.png
Binary files differ
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/ConstraintCreationUseCase.png b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/ConstraintCreationUseCase.png
new file mode 100644
index 00000000000..70c05c589e3
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/ConstraintCreationUseCase.png
Binary files differ
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/ConstraintDefinition.png b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/ConstraintDefinition.png
new file mode 100644
index 00000000000..0227ccdad99
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/ConstraintDefinition.png
Binary files differ
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/DSMLprofileApplication.png b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/DSMLprofileApplication.png
new file mode 100644
index 00000000000..da5989da57b
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/DSMLprofileApplication.png
Binary files differ
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/DiagramConstraintCreation.png b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/DiagramConstraintCreation.png
new file mode 100644
index 00000000000..9d34c0c9726
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/DiagramConstraintCreation.png
Binary files differ
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/DiagramContextLink.png b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/DiagramContextLink.png
new file mode 100644
index 00000000000..939d8f98e43
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/DiagramContextLink.png
Binary files differ
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/MEConstraintCreation.png b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/MEConstraintCreation.png
new file mode 100644
index 00000000000..9d3db996a19
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/MEConstraintCreation.png
Binary files differ
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/PluginValidationGeneration.png b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/PluginValidationGeneration.png
new file mode 100644
index 00000000000..86f002c75f6
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/PluginValidationGeneration.png
Binary files differ
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/SpecificationCreation.png b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/SpecificationCreation.png
new file mode 100644
index 00000000000..99111be2833
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/SpecificationCreation.png
Binary files differ
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/StereotypeApplication.png b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/StereotypeApplication.png
new file mode 100644
index 00000000000..9b8b0157d1d
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/StereotypeApplication.png
Binary files differ
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/UseCaseGeneration.png b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/UseCaseGeneration.png
new file mode 100644
index 00000000000..a42a3de81b2
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/UseCaseGeneration.png
Binary files differ
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/constraintEdition.png b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/constraintEdition.png
new file mode 100644
index 00000000000..2576a5b26aa
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/constraintEdition.png
Binary files differ
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/dsml-validation-main-toc.xml b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/dsml-validation-main-toc.xml
new file mode 100644
index 00000000000..d72d0e4db87
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/dsml-validation-main-toc.xml
@@ -0,0 +1,7 @@
+<?xml version='1.0' encoding='utf-8' ?>
+<toc label="Write and validate constraint of a profile" link_to="../org.eclipse.papyrus.infra.doc/toc.xml#PapyrusDocUser">
+ <topic href="resource/dsml-validation.html" label="Write and validate constraints of a profile">
+ <link toc="resource/dsml-validation-toc.xml"/>
+ <anchor id="Write and validate constraints of a profile"/>
+ </topic>
+</toc>
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/dsml-validation-toc.xml b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/dsml-validation-toc.xml
new file mode 100644
index 00000000000..36c99b45bc1
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/dsml-validation-toc.xml
@@ -0,0 +1,23 @@
+<?xml version='1.0' encoding='utf-8' ?>
+<toc topic="resource/dsml-validation.html" label="dsml-validation">
+ <topic href="resource/dsml-validation.html" label="Create a constraint">
+ <topic href="resource/dsml-validation.html#How_to" label="How to"></topic>
+ <topic href="resource/dsml-validation.html#Specify_the_context" label="Specify the context">
+ <topic href="resource/dsml-validation.html#How_to_2" label="How to"></topic>
+ </topic>
+ <topic href="resource/dsml-validation.html#Specify_the_language" label="Specify the language">
+ <topic href="resource/dsml-validation.html#How_to_3" label="How to"></topic>
+ </topic>
+ <topic href="resource/dsml-validation.html#Specify_the_behavior_of_the_constraint_in_the_context_of_validation" label="Specify the behavior of the constraint in the context of validation">
+ <topic href="resource/dsml-validation.html#How_to_4" label="How to"></topic>
+ </topic>
+ </topic>
+ <topic href="resource/dsml-validation.html#Generation_from_Constraints" label="Generation from Constraints">
+ <topic href="resource/dsml-validation.html#Generate_constraints_directly_into_the_definition" label="Generate constraints directly into the definition">
+ <topic href="resource/dsml-validation.html#How_to_5" label="How to"></topic>
+ </topic>
+ <topic href="resource/dsml-validation.html#Generate_constraints_as_EMF_validation_plugins" label="Generate constraints as EMF validation plugins">
+ <topic href="resource/dsml-validation.html#How_to_6" label="How to"></topic>
+ </topic>
+ </topic>
+</toc> \ No newline at end of file
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/dsml-validation.html b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/dsml-validation.html
new file mode 100644
index 00000000000..1e39212df46
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/dsml-validation.html
@@ -0,0 +1,34 @@
+<?xml version='1.0' encoding='utf-8' ?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"/></head><body><p>In order to validate constraints from a profile, first creation of constraint with specific annotations will be explained and then generation of validation will be explained.<br/>
+<img border="0" src="ConstraintCreationUseCase.png"/><br/>
+Figure 1: Constraint creation<br/></p><h1 id="Create_a_constraint">Create a constraint</h1><p>In the context of the construction of a profile, it is possible to add constraints.<br/>
+A constraint is a condition or restriction expressed in a language for the purpose of declaring some of the semantics of an element.<br/></p><h3 id="How_to">How to</h3><p>In the context of a profile diagram you can create a constraint from the palette.<br/></p><pre><img border="0" src="diagramConstraintCreation.png"/> <br/>
+</pre><p>Figure 2: Constraint creation from the palette<br/>
+From the model explorer, click right --> new child--> Create a new Constraint<br/></p><pre> <img border="0" src="MEConstraintCreation.png"/><br/>
+</pre><p>Figure 3: Constraint creation from the model explorer<br/></p><h2 id="Specify_the_context">Specify the context</h2><p>Before editing a constraint, it is important to specify the constraint; it can be a stereotype, an operation.<br/></p><h3 id="How_to_2">How to</h3><p>From the diagram, a context link can be added between the constraints and the context of the constraint:<br/></p><pre><img border="0" src="DiagramContextLink.png"/><br/>
+</pre><p>Figure 4: Context link creation in a the profile diagram<br/>
+<br/>
+From the property view, the context can be specified:<br/></p><pre><img border="0" src="propertyviewContextlink.png"/><br/>
+</pre><p>Figure 5: specify context from the property view<br/></p><h2 id="Specify_the_language">Specify the language</h2><p>It is possible to precise the language of the constraint into Papyrus. The constraint body may be written into OCL, JAVA, or natural language.<br/> In order to make constraints usable by the Papyrus, constraint must be written in OCL or JAVA.<br/> </p><h3 id="How_to_3">How to</h3><p>By default if your try to edit a constraint, default language will be OCL.<br/>
+At the creation, after set the context, you can choose the editor for the constraint:<br/></p><pre><img border="0" src="constraintEdition.png"/><br/>
+</pre><p>Figure 6: choose the editor for the constraint<br/>
+You can also specify the language in the property view:<br/> </p><ul><li>Select the field specification and choose create or edit the associated opaque expression:</li></ul><pre><img border="0" src="SpecificationCreation.png"/><br/>
+</pre><p>Figure 7: creation of a specification for the constraint<br/>
+You can add the language, see following figure:<br/>
+<img border="0" src="opaqueExpressionCreation.png"/><br/>
+Figure 8: specify the language<br/>
+Then if you want you write the body in the specified language:<br/></p><pre><img border="0" src="fillOpaqueExpression.png"/><br/>
+</pre><p>Figure 9: Write the body of the opaque expression<br/></p><h2 id="Specify_the_behavior_of_the_constraint_in_the_context_of_validation">Specify the behavior of the constraint in the context of validation</h2><p>Into Papyrus, the behavior of the constraint during the validation can be precise.<br/>
+It is possible to precise:<br/></p><ul><li>The mode, if the validation of the constraint can be done, in t “batch” or “live” mode.</li><li>The severity: The severity of the problem if the constraint is violated. This correlates to the severity of tasks in the Tasks view of the Eclipse environment. The default severity (if none specified) is ERROR. The CANCEL severity should be used with caution, as it causes the validation operation to be interrupted, possibly resulting in the loss of valuable diagnostic information from other constraints.</li><li>The message: the message that will be displayed if the constraints is violated</li><li>The description: a description of the constraint</li><li>If it is enable by default: Indicates if this constraint should be enabled by default.</li></ul><p>For advanced user you can also precise:<br/></p><ul><li>The Id : the constraint id</li><li>The status code: The plug-in unique status code, useful for logging.</li><li>the target of validation, the element to be validated</li></ul><h3 id="How_to_4">How to</h3><p>Apply the DSML validation profile</p><ul><li>1. Select the profile root and apply the profile</li><li>2. Select the profile tab in the property view</li><li>3. Click on the registered profile button</li><li>4. Selection the DSML validation profile</li></ul><pre> <img border="0" src="DSMLprofileApplication.png"/><br/>
+</pre><p>Figure 10: apply DSML profile<br/>
+Apply Stereotype on constraint</p><ul><li>1. Select the constraint</li><li>2. Select profile tab of the property view</li><li>3. Click on apply profile button</li><li>4. Select validationRule stereotype </li></ul><pre> <img border="0" src="stereotypeApplication.png"/><br/>
+</pre><p>Figure 11: Apply validationRule stereotype<br/>
+Then you can edit property of stereotype to add information about the behavior of the validation<br/></p><pre><img border="0" src="AnnotationEdition.png"/><br/>
+</pre><p>Figure 12: edition of the property of stereotype<br/></p><h1 id="Generation_from_Constraints">Generation from Constraints</h1><pre><img border="0" src="UseCaseGeneration.png"/><br/>
+</pre><p>Figure 13: Constraint generation<br/></p><h2 id="Generate_constraints_directly_into_the_definition">Generate constraints directly into the definition</h2><p>Constraint written in OCL in the profile can be generated into the definition of the profile and taken in charge during the validation of the model.<br/></p><h3 id="How_to_5">How to</h3><p>When you save the profile,Papyrus asks to you if want to define the profile.<br/>
+Click on yes and then do not forget to check save OCL constraint in the definition<br/></p><pre> <img border="0" src="ConstraintDefinition.png"/><br/>
+</pre><p>Figure 14: save OCL constraints in the definition<br/></p><h2 id="Generate_constraints_as_EMF_validation_plugins">Generate constraints as EMF validation plugins</h2><p>The user can generate plugins that wrap constraint and can be used in the EMF plugin validation.<br/>
+The constraint can be generated in Java code, or directly from OCL.<br/></p><h3 id="How_to_6">How to</h3><p>Select the root profile<br/>
+Click right on the model explorer-&gt; create validation plugin for this DSML<br/></p><pre><img border="0" src="PluginValidationGeneration.png"/><br/>
+</pre><p>Then a wizard to create the validation is launched. You have to give a name for you validation plugin.<br/></p><pre> <img border="0" src="pluginwizard.png"/><br/>
+</pre><p>Figure 15: wizard of constraint validation creation<br/>
+The you need to install the created plugin.<br/></p></body></html> \ No newline at end of file
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/dsml-validation.mediawiki b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/dsml-validation.mediawiki
new file mode 100644
index 00000000000..1a58b3c9ece
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/dsml-validation.mediawiki
@@ -0,0 +1,103 @@
+
+In order to validate constraints from a profile, first creation of constraint with specific annotations will be explained and then generation of validation will be explained.<br/>
+[[image:ConstraintCreationUseCase.png]]<br/>
+Figure 1: Constraint creation<br/>
+=Create a constraint=
+In the context of the construction of a profile, it is possible to add constraints.<br/>
+A constraint is a condition or restriction expressed in a language for the purpose of declaring some of the semantics of an element.<br/>
+===How to===
+In the context of a profile diagram you can create a constraint from the palette.<br/>
+ [[image:diagramConstraintCreation.png]] <br/>
+Figure 2: Constraint creation from the palette<br/>
+From the model explorer, click right --> new child--> Create a new Constraint<br/>
+ [[image:MEConstraintCreation.png]]<br/>
+Figure 3: Constraint creation from the model explorer<br/>
+
+ ==Specify the context==
+Before editing a constraint, it is important to specify the constraint; it can be a stereotype, an operation.<br/>
+===How to===
+From the diagram, a context link can be added between the constraints and the context of the constraint:<br/>
+ [[image:DiagramContextLink.png]]<br/>
+Figure 4: Context link creation in a the profile diagram<br/>
+<br/>
+From the property view, the context can be specified:<br/>
+ [[image:propertyviewContextlink.png]]<br/>
+Figure 5: specify context from the property view<br/>
+
+==Specify the language==
+It is possible to precise the language of the constraint into Papyrus. The constraint body may be written into OCL, JAVA, or natural language.<br/> In order to make constraints usable by the Papyrus, constraint must be written in OCL or JAVA.<br/>
+===How to===
+By default if your try to edit a constraint, default language will be OCL.<br/>
+At the creation, after set the context, you can choose the editor for the constraint:<br/>
+ [[image:constraintEdition.png]]<br/>
+Figure 6: choose the editor for the constraint<br/>
+You can also specify the language in the property view:<br/>
+*Select the field specification and choose create or edit the associated opaque expression:
+ [[image:SpecificationCreation.png]]<br/>
+Figure 7: creation of a specification for the constraint<br/>
+You can add the language, see following figure:<br/>
+[[image:opaqueExpressionCreation.png]]<br/>
+Figure 8: specify the language<br/>
+Then if you want you write the body in the specified language:<br/>
+ [[image:fillOpaqueExpression.png]]<br/>
+Figure 9: Write the body of the opaque expression<br/>
+
+==Specify the behavior of the constraint in the context of validation==
+Into Papyrus, the behavior of the constraint during the validation can be precise.<br/>
+It is possible to precise:<br/>
+* The mode, if the validation of the constraint can be done, in t batch or live mode.
+* The severity: The severity of the problem if the constraint is violated. This correlates to the severity of tasks in the Tasks view of the Eclipse environment. The default severity (if none specified) is ERROR. The CANCEL severity should be used with caution, as it causes the validation operation to be interrupted, possibly resulting in the loss of valuable diagnostic information from other constraints.
+* The message: the message that will be displayed if the constraints is violated
+* The description: a description of the constraint
+* If it is enable by default: Indicates if this constraint should be enabled by default.
+
+For advanced user you can also precise:<br/>
+* The Id : the constraint id
+* The status code: The plug-in unique status code, useful for logging.
+* the target of validation, the element to be validated
+===How to===
+Apply the DSML validation profile
+*1. Select the profile root and apply the profile
+*2. Select the profile tab in the property view
+*3. Click on the registered profile button
+*4. Selection the DSML validation profile
+
+ [[image:DSMLprofileApplication.png]]<br/>
+Figure 10: apply DSML profile<br/>
+Apply Stereotype on constraint
+*1. Select the constraint
+*2. Select profile tab of the property view
+*3. Click on apply profile button
+*4. Select validationRule stereotype
+ [[image:stereotypeApplication.png]]<br/>
+Figure 11: Apply validationRule stereotype<br/>
+Then you can edit property of stereotype to add information about the behavior of the validation<br/>
+
+ [[image:AnnotationEdition.png]]<br/>
+Figure 12: edition of the property of stereotype<br/>
+
+
+=Generation from Constraints=
+ [[image:UseCaseGeneration.png]]<br/>
+Figure 13: Constraint generation<br/>
+==Generate constraints directly into the definition==
+Constraint written in OCL in the profile can be generated into the definition of the profile and taken in charge during the validation of the model.<br/>
+===How to===
+When you save the profile,Papyrus asks to you if want to define the profile.<br/>
+Click on yes and then do not forget to check save OCL constraint in the definition<br/>
+ [[image:ConstraintDefinition.png]]<br/>
+Figure 14: save OCL constraints in the definition<br/>
+
+==Generate constraints as EMF validation plugins==
+The user can generate plugins that wrap constraint and can be used in the EMF plugin validation.<br/>
+The constraint can be generated in Java code, or directly from OCL.<br/>
+===How to===
+Select the root profile<br/>
+Click right on the model explorer-> create validation plugin for this DSML<br/>
+ [[image:PluginValidationGeneration.png]]<br/>
+
+
+Then a wizard to create the validation is launched. You have to give a name for you validation plugin.<br/>
+ [[image:pluginwizard.png]]<br/>
+Figure 15: wizard of constraint validation creation<br/>
+The you need to install the created plugin.<br/>
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/fillOpaqueExpression.png b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/fillOpaqueExpression.png
new file mode 100644
index 00000000000..bc7e36995b2
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/fillOpaqueExpression.png
Binary files differ
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/opaqueExpressionCreation.png b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/opaqueExpressionCreation.png
new file mode 100644
index 00000000000..be6c82214bd
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/opaqueExpressionCreation.png
Binary files differ
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/pluginwizard.png b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/pluginwizard.png
new file mode 100644
index 00000000000..056f345b12a
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/pluginwizard.png
Binary files differ
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/propertyviewContextlink.png b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/propertyviewContextlink.png
new file mode 100644
index 00000000000..9e66b5bd1c7
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/resource/propertyviewContextlink.png
Binary files differ
diff --git a/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/src/org/eclipse/papyrus/dsml/validation/doc/Activator.java b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/src/org/eclipse/papyrus/dsml/validation/doc/Activator.java
new file mode 100644
index 00000000000..9f75c831293
--- /dev/null
+++ b/plugins/doc/org.eclipse.papyrus.dsml.validation.doc/src/org/eclipse/papyrus/dsml/validation/doc/Activator.java
@@ -0,0 +1,50 @@
+package org.eclipse.papyrus.dsml.validation.doc;
+
+import org.eclipse.ui.plugin.AbstractUIPlugin;
+import org.osgi.framework.BundleContext;
+
+/**
+ * The activator class controls the plug-in life cycle
+ */
+public class Activator extends AbstractUIPlugin {
+
+ // The plug-in ID
+ public static final String PLUGIN_ID = "org.eclipse.papyrus.dsml.validation.doc"; //$NON-NLS-1$
+
+ // The shared instance
+ private static Activator plugin;
+
+ /**
+ * The constructor
+ */
+ public Activator() {
+ }
+
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.ui.plugin.AbstractUIPlugin#start(org.osgi.framework.BundleContext)
+ */
+ public void start(BundleContext context) throws Exception {
+ super.start(context);
+ plugin = this;
+ }
+
+ /*
+ * (non-Javadoc)
+ * @see org.eclipse.ui.plugin.AbstractUIPlugin#stop(org.osgi.framework.BundleContext)
+ */
+ public void stop(BundleContext context) throws Exception {
+ plugin = null;
+ super.stop(context);
+ }
+
+ /**
+ * Returns the shared instance
+ *
+ * @return the shared instance
+ */
+ public static Activator getDefault() {
+ return plugin;
+ }
+
+}

Back to the top