Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAdolfo SBH2016-04-19 13:16:24 +0000
committerAdolfo SBH2016-05-02 10:06:22 +0000
commit17dac9f9395d5c88da3eebb753b596360f6db6ca (patch)
treea63c22c1ef5fd3f5e1339eb5fc668cdac1c66245
parent58ac7ac30a857147e906d5f614cf8f0bf3867616 (diff)
downloadorg.eclipse.ocl-asanchez/pathElementCSWithName.tar.gz
org.eclipse.ocl-asanchez/pathElementCSWithName.tar.xz
org.eclipse.ocl-asanchez/pathElementCSWithName.zip
[490539] - Generated artifacts from last CopyAndRename facilityasanchez/pathElementCSWithName
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractInvocation.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractInvocationManager.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractObjectManager.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractSlotState.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformationExecutor.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformationInstance.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTransformer.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/AbstractTypedModelInstance.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/ExecutionVisitable.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/ExecutionVisitor.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/Invocation.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/InvocationFailedException.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/InvocationManager.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/ObjectManager.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/SlotState.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/TransformationExecutor.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/TransformationInstance.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/Transformer.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/evaluation/tx/TypedModelInstance.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/AbstractInvocationInternal.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/AbstractTransformerInternal.java35
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/IncrementalInvocationManager.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/IncrementalObjectManager.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/LazyInvocationManager.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/evaluation/tx/LazyObjectManager.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/labels/TransformationInstanceLabelGenerator.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/internal/labels/TypedModelInstanceLabelGenerator.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/AllObjectsOperation.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/ModelObjectsOfKindOperation.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/ModelObjectsOfTypeOperation.java2
-rw-r--r--plugins/org.eclipse.ocl.pivot/src-gen/org/eclipse/ocl/pivot/library/model/RootObjectsOperation.java2
31 files changed, 54 insertions, 41 deletions
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 67cc610fc8..d3c175653c 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 @@ import org.eclipse.ocl.pivot.internal.evaluation.tx.AbstractInvocationInternal;
/**
* 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 8f0464b7c6..2994916de1 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 @@ import org.eclipse.jdt.annotation.Nullable;
/**
* 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 f39b638189..d661741fde 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 @@ import org.eclipse.jdt.annotation.Nullable;
/**
* 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 4e8d33ce68..edac8033b6 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 @@ import org.eclipse.jdt.annotation.Nullable;
* 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 b6bb5b6e0e..0f08cb8687 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.ClassUtil;
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 a00e1b1fa5..67463f0c8e 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 @@ package org.eclipse.ocl.pivot.evaluation.tx;
* 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 c6c57a3368..c7e82bcbe4 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 @@ import org.eclipse.ocl.pivot.internal.evaluation.tx.AbstractTransformerInternal;
* 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 0fd1b887e1..d59dd69cc5 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 @@ package org.eclipse.ocl.pivot.evaluation.tx;
* 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 3cd6603ee0..8cb4476c60 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 @@ import org.eclipse.jdt.annotation.Nullable;
* 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 549629c6c8..2cfc12e1fa 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.NonNull;
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 e3644eb792..09f483a908 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 @@ import org.eclipse.ocl.pivot.ids.IdResolver;
* 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 f98e654ff5..5529b76c81 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 @@ import org.eclipse.ocl.pivot.values.InvalidValueException;
* 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 a754c49d46..c0c99ce51e 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 @@ import org.eclipse.jdt.annotation.NonNull;
* 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 5159fbfd81..eac96e409f 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 @@ import org.eclipse.jdt.annotation.Nullable;
*
* 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 c8b1fcfbcb..75e5f02086 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 @@ import org.eclipse.jdt.annotation.Nullable;
/**
* 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 946ac3ea15..31c6482816 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 @@ import org.eclipse.ocl.pivot.evaluation.Executor;
/**
* 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 718c8d45f3..11296323b9 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 @@ import org.eclipse.jdt.annotation.Nullable;
* 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 05ace75bf7..16e7cd70ec 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 @@ import org.eclipse.ocl.pivot.evaluation.ModelManager;
* 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 2937e06f66..3c93f513e5 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 @@ import org.eclipse.jdt.annotation.Nullable;
* 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 589c8fd09d..bcdf3eba8a 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 @@ import org.eclipse.ocl.pivot.evaluation.tx.SlotState;
/**
* 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 2f92403c6a..4649a6c0c3 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 @@ import org.eclipse.ocl.pivot.evaluation.tx.Transformer;
* 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 @@ public abstract class AbstractTransformerInternal extends AbstractModelManager i
/**
* 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 60a4edc995..ead4304794 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 @@ import org.eclipse.ocl.pivot.evaluation.tx.SlotState;
/**
* 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 8adef31c20..b11b0a256e 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.ObjectManager;
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 c64fd4bf79..caae4a56ce 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 @@ import org.eclipse.ocl.pivot.evaluation.tx.SlotState;
/**
* 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 fba0b0842f..9c296a5017 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.ObjectManager;
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 c3a35ef632..63f90e637e 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.labels.AbstractLabelGenerator;
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 443994b2b8..1e58a85904 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.labels.AbstractLabelGenerator;
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 9bf020fb77..b857a7ae5c 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 @@ import org.eclipse.ocl.pivot.evaluation.tx.TypedModelInstance;
/**
* 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 e37377d456..9ad61d69a3 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 @@ import org.eclipse.ocl.pivot.evaluation.tx.TypedModelInstance;
/**
* 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 ad1ac636e5..0fa4ba62fa 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 @@ import org.eclipse.ocl.pivot.evaluation.tx.TypedModelInstance;
/**
* 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 f91156b7c2..4f95fd6197 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 @@ import org.eclipse.ocl.pivot.evaluation.tx.TypedModelInstance;
/**
* RootObjectsOperation realises the Model::rootObjects() library operation.
- * @since 1.1
+ * at-since 1.1
*/
public class RootObjectsOperation extends AbstractUnaryOperation
{

Back to the top