Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'extraplugins/alf/org.eclipse.papyrus.alf/src/org/eclipse/papyrus/alf/syntax/expressions/FeatureInvocationExpression.java')
-rw-r--r--extraplugins/alf/org.eclipse.papyrus.alf/src/org/eclipse/papyrus/alf/syntax/expressions/FeatureInvocationExpression.java50
1 files changed, 50 insertions, 0 deletions
diff --git a/extraplugins/alf/org.eclipse.papyrus.alf/src/org/eclipse/papyrus/alf/syntax/expressions/FeatureInvocationExpression.java b/extraplugins/alf/org.eclipse.papyrus.alf/src/org/eclipse/papyrus/alf/syntax/expressions/FeatureInvocationExpression.java
new file mode 100644
index 00000000000..5da7801e6dd
--- /dev/null
+++ b/extraplugins/alf/org.eclipse.papyrus.alf/src/org/eclipse/papyrus/alf/syntax/expressions/FeatureInvocationExpression.java
@@ -0,0 +1,50 @@
+package org.eclipse.papyrus.alf.syntax.expressions;
+
+public class FeatureInvocationExpression extends InvocationExpression {
+
+ // Synthesized Properties
+ public FeatureReference target ;
+
+ // Constraints
+
+ /*
+ * An alternative constructor invocation may only occur in an expression statement as the first statement in
+ * the definition for the method of a constructor operation.
+ */
+ public void checkFeatureInvocationExpressionAlternativeConstructor() {
+
+ }
+
+ /*
+ * If a feature invocation expression has an explicit target, then that is its feature. Otherwise, it is an
+ * alternative constructor call with its feature determined implicitly.
+ */
+ public void checkFeatureInvocationExpressionFeatureDerivation() {
+
+ }
+
+ /*
+ * If there is no target feature expression, then the implicit feature with the same name as the target type
+ * must be a constructor.
+ */
+ public void checkFeatureInvocationExpressionImplicitAlternativeConstructor() {
+
+ }
+
+ /*
+ * If a feature invocation expression is an implicit object destruction, it has no referent. Otherwise, its
+ * referent is the referent of its feature.
+ */
+ public void checkFeatureInvocationExpressionReferentDerivation() {
+
+ }
+
+ /*
+ * If a feature invocation expression is not an implicit destructor call, then it must be possible to determine
+ * a single valid referent for it according to the overloading resolution rules.
+ */
+ public void checkFeatureInvocationExpressionReferentExists() {
+
+ }
+
+}

Back to the top