edu.cmu.sei.aadl.aadl2
Interface Namespace

All Superinterfaces:
AObject, Element, org.eclipse.emf.ecore.EObject, org.eclipse.core.runtime.IAdaptable, NamedElement, org.eclipse.emf.common.notify.Notifier
All Known Subinterfaces:
AbstractClassifier, AbstractImplementation, AbstractType, BehavioredImplementation, BusClassifier, BusImplementation, BusType, Classifier, ComponentClassifier, ComponentImplementation, ComponentType, DataClassifier, DataImplementation, DataType, DeviceClassifier, DeviceImplementation, DeviceType, EnumerationType, FeatureGroupType, GlobalNamespace, MemoryClassifier, MemoryImplementation, MemoryType, PackageSection, PrivatePackageSection, ProcessClassifier, ProcessImplementation, ProcessorClassifier, ProcessorImplementation, ProcessorType, ProcessType, PropertySet, PublicPackageSection, RecordType, SubprogramClassifier, SubprogramGroupClassifier, SubprogramGroupImplementation, SubprogramGroupType, SubprogramImplementation, SubprogramType, SystemClassifier, SystemImplementation, SystemType, ThreadClassifier, ThreadGroupClassifier, ThreadGroupImplementation, ThreadGroupType, ThreadImplementation, ThreadType, UnitsType, VirtualBusClassifier, VirtualBusImplementation, VirtualBusType, VirtualProcessorClassifier, VirtualProcessorImplementation, VirtualProcessorType
All Known Implementing Classes:
AbstractClassifierImpl, AbstractImplementationImpl, AbstractTypeImpl, BehavioredImplementationImpl, BusClassifierImpl, BusImplementationImpl, BusTypeImpl, ClassifierImpl, ComponentClassifierImpl, ComponentImplementationImpl, ComponentTypeImpl, DataClassifierImpl, DataImplementationImpl, DataTypeImpl, DeviceClassifierImpl, DeviceImplementationImpl, DeviceTypeImpl, EnumerationTypeImpl, FeatureGroupTypeImpl, GlobalNamespaceImpl, MemoryClassifierImpl, MemoryImplementationImpl, MemoryTypeImpl, NamespaceImpl, PackageSectionImpl, PrivatePackageSectionImpl, ProcessClassifierImpl, ProcessImplementationImpl, ProcessorClassifierImpl, ProcessorImplementationImpl, ProcessorTypeImpl, ProcessTypeImpl, PropertySetImpl, PublicPackageSectionImpl, RecordTypeImpl, SubprogramClassifierImpl, SubprogramGroupClassifierImpl, SubprogramGroupImplementationImpl, SubprogramGroupTypeImpl, SubprogramImplementationImpl, SubprogramTypeImpl, SystemClassifierImpl, SystemImplementationImpl, SystemTypeImpl, ThreadClassifierImpl, ThreadGroupClassifierImpl, ThreadGroupImplementationImpl, ThreadGroupTypeImpl, ThreadImplementationImpl, ThreadTypeImpl, UnitsTypeImpl, VirtualBusClassifierImpl, VirtualBusImplementationImpl, VirtualBusTypeImpl, VirtualProcessorClassifierImpl, VirtualProcessorImplementationImpl, VirtualProcessorTypeImpl

public interface Namespace
extends NamedElement

A representation of the model object 'Namespace'. A namespace is an element in a model that contains a set of named elements that can be identified by name.

The following features are supported:

See Also:
Aadl2Package.getNamespace()

Field Summary
 
Fields inherited from interface edu.cmu.sei.aadl.aadl2.parsesupport.AObject
copyright
 
Method Summary
 NamedElement findNamedElement(java.lang.String name)
           
 org.eclipse.emf.common.util.EList<NamedElement> getMembers()
          Returns the value of the 'Member' reference list.
 org.eclipse.emf.common.util.EList<java.lang.String> getNamesOfMember(NamedElement element)
          The query getNamesOfMember() gives a set of all of the names that a member would have in a Namespace.
 org.eclipse.emf.common.util.EList<NamedElement> getOwnedMembers()
          Returns the value of the 'Owned Member' containment reference list.
 boolean members_distinguishable(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          All the members of a Namespace are distinguishable within it.
 boolean membersAreDistinguishable()
          The Boolean query membersAreDistinguishable() determines whether all of the namespaces members are distinguishable within it.
 
Methods inherited from interface edu.cmu.sei.aadl.aadl2.NamedElement
acceptsProperty, allNamespaces, checkPropertyAssociation, createOwnedPropertyAssociation, getName, getNamespace, getOwnedPropertyAssociations, getPropertyValue, getPropertyValueInternal, getPropertyValueList, getQualifiedName, getSimplePropertyValue, has_no_qualified_name, has_qualified_name, hasName, isDistinguishableFrom, qualifiedName, removePropertyAssociations, removePropertyAssociations, separator, setName, setPropertyValue, setPropertyValue, setPropertyValue
 
Methods inherited from interface edu.cmu.sei.aadl.aadl2.Element
allOwnedElements, createOwnedComment, getChildren, getContainingClassifier, getContainingComponentImpl, getElementRoot, getOwnedComments, getOwnedElements, getOwner, has_owner, mustBeOwned, not_own_self
 
Methods inherited from interface edu.cmu.sei.aadl.aadl2.parsesupport.AObject
getLocationReference, setLocationReference, setLocationReference
 
Methods inherited from interface org.eclipse.emf.ecore.EObject
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset
 
Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver
 
Methods inherited from interface org.eclipse.core.runtime.IAdaptable
getAdapter
 

Method Detail

getMembers

org.eclipse.emf.common.util.EList<NamedElement> getMembers()
Returns the value of the 'Member' reference list. The list contents are of type NamedElement. This feature is a derived union. A collection of NamedElements identifiable within the Namespace, either by being owned or by being introduced by importing or inheritance.

Returns:
the value of the 'Member' reference list.
See Also:
Aadl2Package.getNamespace_Member()

getOwnedMembers

org.eclipse.emf.common.util.EList<NamedElement> getOwnedMembers()
Returns the value of the 'Owned Member' containment reference list. The list contents are of type NamedElement. It is bidirectional and its opposite is 'Namespace'.

This feature subsets the following features:

This feature is a derived union. A collection of NamedElements owned by the Namespace.

Returns:
the value of the 'Owned Member' containment reference list.
See Also:
Aadl2Package.getNamespace_OwnedMember(), NamedElement.getNamespace()

members_distinguishable

boolean members_distinguishable(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                java.util.Map<java.lang.Object,java.lang.Object> context)
All the members of a Namespace are distinguishable within it. membersAreDistinguishable()

Parameters:
diagnostics - The chain of diagnostics to which problems are to be appended.
context - The cache of context-specific information.

getNamesOfMember

org.eclipse.emf.common.util.EList<java.lang.String> getNamesOfMember(NamedElement element)
The query getNamesOfMember() gives a set of all of the names that a member would have in a Namespace. In general a member can have multiple names in a Namespace if it is imported more than once with different aliases. Those semantics are specified by overriding the getNamesOfMember operation. The specification here simply returns a set containing a single name, or the empty set if no name. if member->includes(element) then Set{}->including(element.name) else Set{} endif


membersAreDistinguishable

boolean membersAreDistinguishable()
The Boolean query membersAreDistinguishable() determines whether all of the namespaces members are distinguishable within it. self.member->forAll( memb | self.member->excluding(memb)->forAll(other | memb.isDistinguishableFrom(other, self)))


findNamedElement

NamedElement findNamedElement(java.lang.String name)
Parameters:
String - name
Returns:
NamedElement