[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
{
