Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'extraplugins/alf09/org.eclipse.papyrus.alf/src/org/eclipse/papyrus/alf/syntax/units/NamespaceDefinition.java')
-rw-r--r--extraplugins/alf09/org.eclipse.papyrus.alf/src/org/eclipse/papyrus/alf/syntax/units/NamespaceDefinition.java46
1 files changed, 46 insertions, 0 deletions
diff --git a/extraplugins/alf09/org.eclipse.papyrus.alf/src/org/eclipse/papyrus/alf/syntax/units/NamespaceDefinition.java b/extraplugins/alf09/org.eclipse.papyrus.alf/src/org/eclipse/papyrus/alf/syntax/units/NamespaceDefinition.java
new file mode 100644
index 00000000000..fe0d57172b9
--- /dev/null
+++ b/extraplugins/alf09/org.eclipse.papyrus.alf/src/org/eclipse/papyrus/alf/syntax/units/NamespaceDefinition.java
@@ -0,0 +1,46 @@
+package org.eclipse.papyrus.alf.syntax.units;
+
+import java.util.List;
+
+public class NamespaceDefinition extends Member {
+
+ // Synthesized Properties
+ public List<Member> ownedMember ;
+ public UnitDefinition unit ;
+
+ // Derived Properties
+ public List<Member> member ;
+
+ // Constraints
+
+ /*
+ * The members of a namespace definition include references to all owned members. Also, if the
+ * namespace definition has a unit with imports, then the members include imported members with
+ * referents to all imported elements. The imported elements and their visibility are determined as given in
+ * the UML Superstructure. The name of an imported member is the name of the imported element or its
+ * alias, if one has been given for it. Elements that would be indistinguishable from each other or from an
+ * owned member (as determined by the Member::isDistinguishableFrom operation) are not imported.
+ */
+ public void checkNamespaceDefinitionMemberDerivation() {
+
+ }
+
+ /*
+ * The members of a namespace must be distinguishable as determined by the
+ * Member::isDistinguishableFrom operation.
+ */
+ public void checkNamespaceDefinitionMemberDistinguishaibility() {
+
+ }
+
+
+ // Helper Operations
+
+ /*
+ * Returns true if the annotation is @external.
+ */
+ public boolean annotationAllowed(StereotypeAnnotation annotation) {
+ return false ;
+ }
+
+}

Back to the top