Google Git Google Git
Sign in
eclipse/gerrit/ocl/org.eclipse.ocl/refs/heads/asanchez/pathElementCSWithName^!/.
commit
17dac9f9395d5c88da3eebb753b596360f6db6ca
[log]
author
Adolfo SBH <adolfosbh@gmail.com>
Tue Apr 19 14:16:24 2016 +0100
committer
Adolfo SBH <adolfosbh@gmail.com>
Mon May 02 11:06:22 2016 +0100
tree
a63c22c1ef5fd3f5e1339eb5fc668cdac1c66245
parent
58ac7ac30a857147e906d5f614cf8f0bf3867616 [diff] 
[490539] - Generated artifacts from last CopyAndRename facility
diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractInvocation.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractInvocation.java
index 67cc610..d3c1756 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractInvocation.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractInvocation.java

@@ -29,7 +29,7 @@
 
 /**
  * AbstractInvocation provides the mandatory shared functionality of the intrusive blocked/waiting linked list functionality.
- * @since 1.1
+ * at-since 1.1
  */
 public abstract class AbstractInvocation extends AbstractInvocationInternal
 {

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractInvocationManager.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractInvocationManager.java
index 8f0464b..2994916 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractInvocationManager.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractInvocationManager.java

@@ -23,7 +23,7 @@
 
 /**
  * AbstractInvocationManager provides the mandatory shared functionality for a mapping invocation manager.
- * @since 1.1
+ * at-since 1.1
  */
 public abstract class AbstractInvocationManager implements InvocationManager
 {

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractObjectManager.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractObjectManager.java
index f39b638..d661741 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractObjectManager.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractObjectManager.java

@@ -26,7 +26,7 @@
 
 /**
  * AbstractObjectManager provides the mandatory shared functionality for an object state manager.
- * @since 1.1
+ * at-since 1.1
  */
 public abstract class AbstractObjectManager implements ObjectManager
 {

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractSlotState.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractSlotState.java
index 4e8d33c..edac803 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractSlotState.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractSlotState.java

@@ -30,7 +30,7 @@
  * The abstract implementation of a SlotState provides the mandatory shared functionality for maintaining
  * the state of an object slot.
  * 
- * @since 1.1
+ * at-since 1.1
  */
 public abstract class AbstractSlotState implements SlotState
 {

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformationExecutor.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformationExecutor.java
index b6bb5b6..0f08cb8 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformationExecutor.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformationExecutor.java

@@ -29,7 +29,7 @@
 import org.eclipse.ocl.pivot.utilities.EnvironmentFactory;
 
 /**
- * @since 1.1
+ * at-since 1.1
  */
 public abstract class AbstractTransformationExecutor extends ExecutorManager implements TransformationExecutor
 {

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformationInstance.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformationInstance.java
index a00e1b1..67463f0 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformationInstance.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformationInstance.java

@@ -22,7 +22,7 @@
  * The abstract implementation of a transformation instance provides the mandatory shared functionality for maintaining
  * a run-time representation of a transformation.
  * 
- * @since 1.1
+ * at-since 1.1
  */
 public abstract class AbstractTransformationInstance implements TransformationInstance
 {	

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformer.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformer.java
index c6c57a3..c7e82bc 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformer.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformer.java

@@ -32,7 +32,7 @@
  * The abstract implementation of an auto-generated transformation provides the mandatory shared functionality for maintaining
  * models and deferring invocation of not-ready mapping invocations.
  * 
- * @since 1.1
+ * at-since 1.1
  */
 public abstract class AbstractTransformer extends AbstractTransformerInternal
 {	

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTypedModelInstance.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTypedModelInstance.java
index 0fd1b88..d59dd69 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTypedModelInstance.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTypedModelInstance.java

@@ -22,7 +22,7 @@
  * The abstract implementation of a typed model instance provides the mandatory shared functionality for maintaining
  * a run-time representation of a typed model.
  * 
- * @since 1.1
+ * at-since 1.1
  */
 public abstract class AbstractTypedModelInstance implements TypedModelInstance
 {	

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/ExecutionVisitable.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/ExecutionVisitable.java
index 3cd6603..8cb4476 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/ExecutionVisitable.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/ExecutionVisitable.java

@@ -25,7 +25,7 @@
  * ExecutionVisitable defines the common visitable capability of all run-time execution objects.
  * 
  * @noimplement clients should derive from some AbstractXXX class
- * @since 1.1
+ * at-since 1.1
  */
 public interface ExecutionVisitable
 { 

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/ExecutionVisitor.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/ExecutionVisitor.java
index 549629c..2cfc12e 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/ExecutionVisitor.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/ExecutionVisitor.java

@@ -27,7 +27,7 @@
 import org.eclipse.jdt.annotation.Nullable;
 
 /**
- * @since 1.1
+ * at-since 1.1
  */
 public interface ExecutionVisitor<R>
 {

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/Invocation.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/Invocation.java
index e3644eb..09f483a 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/Invocation.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/Invocation.java

@@ -25,7 +25,7 @@
  * An Invocation identifies a unique invocation of a Mapping and the objects/values bound to its guard variables.
  * 
  * @noimplement clients should derive from AbstractInvocation
- * @since 1.1
+ * at-since 1.1
  */
 public interface Invocation extends ExecutionVisitable
 {

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/InvocationFailedException.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/InvocationFailedException.java
index f98e654..5529b76 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/InvocationFailedException.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/InvocationFailedException.java

@@ -26,7 +26,7 @@
  * access a Property before its value has been assigned. The InvocationManager should catch the exception
  * and mark the invocation for a retry once the Property has been assigned.
  * 
- * @since 1.1
+ * at-since 1.1
  */
 @SuppressWarnings("serial")
 public class InvocationFailedException extends InvalidValueException

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/InvocationManager.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/InvocationManager.java
index a754c49..c0c99ce 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/InvocationManager.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/InvocationManager.java

@@ -25,7 +25,7 @@
  * maintaining a blocked list of invocations that have failed and a waiting list of invocations
  * ready to be reattempted.
  * 
- * @since 1.1
+ * at-since 1.1
  * @noimplement clients should derive from AbstractInvocationManager
  */
 public interface InvocationManager extends ExecutionVisitable

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/ObjectManager.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/ObjectManager.java
index 5159fbf..eac96e4 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/ObjectManager.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/ObjectManager.java

@@ -29,7 +29,7 @@
  * 
  * assigned should be invoked to invocation that a property whose access is guarded is now assigned.
  * 
- * @since 1.1
+ * at-since 1.1
  * @noimplement clients should derive from AbstractObjectManager
  */
 public interface ObjectManager extends ExecutionVisitable

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/SlotState.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/SlotState.java
index c8b1fcf..75e5f02 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/SlotState.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/SlotState.java

@@ -25,7 +25,7 @@
 /**
  * A SlotState identifies the assigned/not assigned state of an Object slot.
  * 
- * @since 1.1
+ * at-since 1.1
  * @noimplement clients should derive from AbstractSlotState
  */
 public interface SlotState extends ExecutionVisitable

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/TransformationExecutor.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/TransformationExecutor.java
index 946ac3e..31c6482 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/TransformationExecutor.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/TransformationExecutor.java

@@ -24,7 +24,7 @@
 /**
  * A TransformationExecutor supervises the execution of an auto-generated transformation.
  * 
- * @since 1.1
+ * at-since 1.1
  * @noimplement
  */
 public interface TransformationExecutor extends Executor

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/TransformationInstance.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/TransformationInstance.java
index 718c8d4..1129632 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/TransformationInstance.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/TransformationInstance.java

@@ -24,7 +24,7 @@
  * A TransformationInstance reifies an executing transformation as a useable
  * transformation model instance during the execution of a transformation.
  * 
- * @since 1.1
+ * at-since 1.1
  * @noimplement clients should derive from AbstractTransformationInstance
  */
 public interface TransformationInstance

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/Transformer.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/Transformer.java
index 05ace75..16e7cd7 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/Transformer.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/Transformer.java

@@ -28,7 +28,7 @@
  * A Transformer provides the core support to execute an auto-generated transformation
  * between models.
  * 
- * @since 1.1
+ * at-since 1.1
  * @noimplement clients should derive from AbstractTransformer
  */
 public interface Transformer extends ModelManager//, ExecutionVisitable

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/TypedModelInstance.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/TypedModelInstance.java
index 2937e06..3c93f51 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/TypedModelInstance.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/TypedModelInstance.java

@@ -27,7 +27,7 @@
  * A TypedModelInstance makes an input or output model of an executing transformation
  * accessible as a model instance.
  * 
- * @since 1.1
+ * at-since 1.1
  * @noimplement clients should derive from AbstractTypedModelInstance
  */
 public interface TypedModelInstance

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/AbstractInvocationInternal.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/AbstractInvocationInternal.java
index 589c8fd..bcdf3eb 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/AbstractInvocationInternal.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/AbstractInvocationInternal.java

@@ -25,7 +25,7 @@
 
 /**
  * AbstractInvocation provides the shared implementation of the intrusive blocked/waiting linked list functionality.
- * @since 1.1
+ * at-since 1.1
  */
 public abstract class AbstractInvocationInternal implements Invocation
 {

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/AbstractTransformerInternal.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/AbstractTransformerInternal.java
index 2f92403..4649a6c 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/AbstractTransformerInternal.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/AbstractTransformerInternal.java

@@ -62,7 +62,7 @@
  * The abstract implementation of an auto-generated transformation provides the shared infrastructure for maintaining
  * models and deferring invocation of not-ready mapping invocations.
  * 
- * @since 1.1
+ * at-since 1.1
  */
 public abstract class AbstractTransformerInternal extends AbstractModelManager implements Transformer, ExecutionVisitable
 {	
@@ -597,22 +597,35 @@
 
     /**
      * The default handler for an exception during mapping execution rethrows an InvocationFailedException so that the
-     * caller may organize a re-exection when the reqired memory access can succeed. All other execptions are just
-     * absorbed since they may represent a predicate failure.
+     * caller may organize a re-exection when the reqired memory access can succeed. Errors are rethrown and should
+     * propagate to the transformation invoker, except for AssertionError which is is absorbed if the user has configured
+     * AbstractTransformer.EXCEPTIONS to observe them on the console. All other exceptions are just absorbed since they
+     * may represent a predicate failure.
      */
     protected boolean handleExecutionFailure(@NonNull String mappingName, @NonNull Throwable e) throws InvocationFailedException {
-    	if (e instanceof InvocationFailedException) {
+    	if (e instanceof InvocationFailedException) {		// Normal case - premature access needs a retry later
     		throw (InvocationFailedException)e;
     	}
-		// Mapping failures are just mappings that never happened.
-    	if (e instanceof InvalidValueException) {		// Multiway branch to facilitate debugger breakpoints.
-    		AbstractTransformer.EXCEPTIONS.println("Execution failure in " + mappingName + " : " + e);
+    	else if (e instanceof AssertionError) {				// Debug case - assertion errors are diagnostic not catastrophic
+    		AbstractTransformer.EXCEPTIONS.println("Execution failure in '" + mappingName + "' : " + e);
+        	if (!AbstractTransformer.EXCEPTIONS.isActive()) {
+        		throw (AssertionError)e;					// But if the user isn't watching them they are fatal
+    		}
     	}
-    	else if (e instanceof NullPointerException) {
-    		AbstractTransformer.EXCEPTIONS.println("Execution failure in " + mappingName + " : " + e);
+    	else if (e instanceof Error) {						// Real errors are fatal
+    		AbstractTransformer.EXCEPTIONS.println("Execution failure in '" + mappingName + "' : " + e);
+    		throw (Error)e;
     	}
-    	else {
-    		AbstractTransformer.EXCEPTIONS.println("Execution failure in " + mappingName + " : " + e);
+    	else { 												// Other failures are just mappings whose predicates were not satisfied.
+    		if (e instanceof InvalidValueException) {		// Multiway branch to facilitate debugger breakpoints.
+	    		AbstractTransformer.EXCEPTIONS.println("Execution failure in '" + mappingName + "' : " + e);
+	    	}
+	    	else if (e instanceof NullPointerException) {
+	    		AbstractTransformer.EXCEPTIONS.println("Execution failure in '" + mappingName + "' : " + e);
+	    	}
+	    	else {
+	    		AbstractTransformer.EXCEPTIONS.println("Execution failure in '" + mappingName + "' : " + e);
+	    	}
     	}
     	return false;
 	}

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/IncrementalInvocationManager.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/IncrementalInvocationManager.java
index 60a4edc..ead4304 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/IncrementalInvocationManager.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/IncrementalInvocationManager.java

@@ -28,7 +28,7 @@
 
 /**
  * InvocationManager supervises and provides thread safety for the lists of blocked and waiting invocations.
- * @since 1.1
+ * at-since 1.1
  */
 public class IncrementalInvocationManager extends AbstractInvocationManager
 {

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/IncrementalObjectManager.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/IncrementalObjectManager.java
index 8adef31..b11b0a2 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/IncrementalObjectManager.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/IncrementalObjectManager.java

@@ -39,7 +39,7 @@
 import org.eclipse.ocl.pivot.evaluation.tx.SlotState;
 
 /**
- * @since 1.1
+ * at-since 1.1
  */
 public class IncrementalObjectManager extends AbstractObjectManager
 {

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/LazyInvocationManager.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/LazyInvocationManager.java
index c64fd4b..caae4a5 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/LazyInvocationManager.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/LazyInvocationManager.java

@@ -28,7 +28,7 @@
 
 /**
  * InvocationManager supervises and provides thread safety for the lists of blocked and waiting invocations.
- * @since 1.1
+ * at-since 1.1
  */
 public class LazyInvocationManager extends AbstractInvocationManager
 {

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/LazyObjectManager.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/LazyObjectManager.java
index fba0b08..9c296a5 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/LazyObjectManager.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/LazyObjectManager.java

@@ -45,7 +45,7 @@
 import org.eclipse.ocl.pivot.evaluation.tx.SlotState;
 
 /**
- * @since 1.1
+ * at-since 1.1
  */
 public class LazyObjectManager extends AbstractObjectManager
 {

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/labels/TransformationInstanceLabelGenerator.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/labels/TransformationInstanceLabelGenerator.java
index c3a35ef..63f90e6 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/labels/TransformationInstanceLabelGenerator.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/labels/TransformationInstanceLabelGenerator.java

@@ -23,7 +23,7 @@
 import org.eclipse.ocl.pivot.evaluation.tx.TransformationInstance;
 
 /**
- * @since 1.1
+ * at-since 1.1
  */
 public final class TransformationInstanceLabelGenerator extends AbstractLabelGenerator<TransformationInstance>
 {

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/labels/TypedModelInstanceLabelGenerator.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/labels/TypedModelInstanceLabelGenerator.java
index 443994b..1e58a85 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/labels/TypedModelInstanceLabelGenerator.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/labels/TypedModelInstanceLabelGenerator.java

@@ -23,7 +23,7 @@
 import org.eclipse.ocl.pivot.evaluation.tx.TypedModelInstance;
 
 /**
- * @since 1.1
+ * at-since 1.1
  */
 public final class TypedModelInstanceLabelGenerator extends AbstractLabelGenerator<TypedModelInstance>
 {

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/AllObjectsOperation.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/AllObjectsOperation.java
index 9bf020f..b857a7a 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/AllObjectsOperation.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/AllObjectsOperation.java

@@ -33,7 +33,7 @@
 
 /**
  * AllObjectsOperation realises the Model::allObjects() library operation.
- * @since 1.1
+ * at-since 1.1
  */
 public class AllObjectsOperation extends AbstractUnaryOperation
 {

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/ModelObjectsOfKindOperation.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/ModelObjectsOfKindOperation.java
index e37377d..9ad61d6 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/ModelObjectsOfKindOperation.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/ModelObjectsOfKindOperation.java

@@ -34,7 +34,7 @@
 
 /**
  * ModelObjectsOfKindOperation realises the Model::objectsOfKind() library operation.
- * @since 1.1
+ * at-since 1.1
  */
 public class ModelObjectsOfKindOperation extends AbstractBinaryOperation
 {

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/ModelObjectsOfTypeOperation.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/ModelObjectsOfTypeOperation.java
index ad1ac63..0fa4ba6 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/ModelObjectsOfTypeOperation.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/ModelObjectsOfTypeOperation.java

@@ -33,7 +33,7 @@
 
 /**
  * ModelObjectsOfTypeOperation realises the Model::objectsOfType() library operation.
- * @since 1.1
+ * at-since 1.1
  */
 public class ModelObjectsOfTypeOperation extends AbstractBinaryOperation
 {

diff --git a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/RootObjectsOperation.java b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/RootObjectsOperation.java
index f91156b..4f95fd6 100644
--- a/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/RootObjectsOperation.java
+++ b/plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/RootObjectsOperation.java

@@ -33,7 +33,7 @@
 
 /**
  * RootObjectsOperation realises the Model::rootObjects() library operation.
- * @since 1.1
+ * at-since 1.1
  */
 public class RootObjectsOperation extends AbstractUnaryOperation
 {