Package | Description |
---|---|
org.osate.aadl2 | |
org.osate.aadl2.impl | |
org.osate.aadl2.modelsupport.util | |
org.osate.aadl2.operations | |
org.osate.aadl2.util | |
org.osate.xtext.aadl2.properties.linking |
Modifier and Type | Interface and Description |
---|---|
interface |
AbstractClassifier
A representation of the model object 'Abstract Classifier'.
|
interface |
AbstractImplementation
A representation of the model object 'Abstract Implementation'.
|
interface |
AbstractType
A representation of the model object 'Abstract Type'.
|
interface |
BehavioredImplementation
A representation of the model object 'Behaviored Implementation'.
|
interface |
BusClassifier
A representation of the model object 'Bus Classifier'.
|
interface |
BusImplementation
A representation of the model object 'Bus Implementation'.
|
interface |
BusType
A representation of the model object 'Bus Type'.
|
interface |
Classifier
A representation of the model object 'Classifier'.
|
interface |
ComponentClassifier
A representation of the model object 'Component Classifier'.
|
interface |
ComponentImplementation
A representation of the model object '
Component Implementation'.
|
interface |
ComponentType
A representation of the model object 'Component Type'.
|
interface |
DataClassifier
A representation of the model object 'Data Classifier'.
|
interface |
DataImplementation
A representation of the model object 'Data Implementation'.
|
interface |
DataType
A representation of the model object 'Data Type'.
|
interface |
DeviceClassifier
A representation of the model object 'Device Classifier'.
|
interface |
DeviceImplementation
A representation of the model object 'Device Implementation'.
|
interface |
DeviceType
A representation of the model object 'Device Type'.
|
interface |
EnumerationType
A representation of the model object 'Enumeration Type'.
|
interface |
FeatureGroupType
A representation of the model object 'Feature Group Type'.
|
interface |
GlobalNamespace
A representation of the model object 'Global Namespace'.
|
interface |
MemoryClassifier
A representation of the model object 'Memory Classifier'.
|
interface |
MemoryImplementation
A representation of the model object 'Memory Implementation'.
|
interface |
MemoryType
A representation of the model object 'Memory Type'.
|
interface |
PackageSection
A representation of the model object 'Package Section'.
|
interface |
PrivatePackageSection
A representation of the model object 'Private Package Section'.
|
interface |
ProcessClassifier
A representation of the model object 'Process Classifier'.
|
interface |
ProcessImplementation
A representation of the model object 'Process Implementation'.
|
interface |
ProcessorClassifier
A representation of the model object 'Processor Classifier'.
|
interface |
ProcessorImplementation
A representation of the model object 'Processor Implementation'.
|
interface |
ProcessorType
A representation of the model object 'Processor Type'.
|
interface |
ProcessType
A representation of the model object 'Process Type'.
|
interface |
PropertySet
A representation of the model object 'Property Set'.
|
interface |
PublicPackageSection
A representation of the model object 'Public Package Section'.
|
interface |
RecordType
A representation of the model object 'Record Type'.
|
interface |
SubprogramClassifier
A representation of the model object 'Subprogram Classifier'.
|
interface |
SubprogramGroupClassifier
A representation of the model object 'Subprogram Group Classifier'.
|
interface |
SubprogramGroupImplementation
A representation of the model object 'Subprogram Group Implementation'.
|
interface |
SubprogramGroupType
A representation of the model object 'Subprogram Group Type'.
|
interface |
SubprogramImplementation
A representation of the model object 'Subprogram Implementation'.
|
interface |
SubprogramType
A representation of the model object 'Subprogram Type'.
|
interface |
SystemClassifier
A representation of the model object 'System Classifier'.
|
interface |
SystemImplementation
A representation of the model object 'System Implementation'.
|
interface |
SystemType
A representation of the model object 'System Type'.
|
interface |
ThreadClassifier
A representation of the model object 'Thread Classifier'.
|
interface |
ThreadGroupClassifier
A representation of the model object 'Thread Group Classifier'.
|
interface |
ThreadGroupImplementation
A representation of the model object 'Thread Group Implementation'.
|
interface |
ThreadGroupType
A representation of the model object 'Thread Group Type'.
|
interface |
ThreadImplementation
A representation of the model object 'Thread Implementation'.
|
interface |
ThreadType
A representation of the model object 'Thread Type'.
|
interface |
UnitsType
A representation of the model object 'Units Type'.
|
interface |
VirtualBusClassifier
A representation of the model object 'Virtual Bus Classifier'.
|
interface |
VirtualBusImplementation
A representation of the model object 'Virtual Bus Implementation'.
|
interface |
VirtualBusType
A representation of the model object 'Virtual Bus Type'.
|
interface |
VirtualProcessorClassifier
A representation of the model object 'Virtual Processor Classifier'.
|
interface |
VirtualProcessorImplementation
A representation of the model object 'Virtual Processor Implementation'.
|
interface |
VirtualProcessorType
A representation of the model object 'Virtual Processor Type'.
|
Modifier and Type | Method and Description |
---|---|
Namespace |
NamedElement.getNamespace() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.util.EList<Namespace> |
NamedElement.allNamespaces()
The query allNamespaces() gives the sequence of namespaces in which the
NamedElement is nested, working outwards.
|
Modifier and Type | Method and Description |
---|---|
boolean |
NamedElement.isDistinguishableFrom(NamedElement n,
Namespace ns)
The query isDistinguishableFrom() determines whether two NamedElements
may logically co-exist within a Namespace.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractClassifierImpl
An implementation of the model object 'Abstract Classifier'.
|
class |
AbstractImplementationImpl
An implementation of the model object 'Abstract Implementation'.
|
class |
AbstractTypeImpl
An implementation of the model object 'Abstract Type'.
|
class |
BehavioredImplementationImpl
An implementation of the model object 'Behaviored Implementation'.
|
class |
BusClassifierImpl
An implementation of the model object 'Bus Classifier'.
|
class |
BusImplementationImpl
An implementation of the model object 'Bus Implementation'.
|
class |
BusTypeImpl
An implementation of the model object 'Bus Type'.
|
class |
ClassifierImpl
An implementation of the model object 'Classifier'.
|
class |
ComponentClassifierImpl
An implementation of the model object 'Component Classifier'.
|
class |
ComponentImplementationImpl
An implementation of the model object '
Component Implementation'.
|
class |
ComponentTypeImpl
An implementation of the model object 'Component Type'.
|
class |
DataClassifierImpl
An implementation of the model object 'Data Classifier'.
|
class |
DataImplementationImpl
An implementation of the model object 'Data Implementation'.
|
class |
DataTypeImpl
An implementation of the model object 'Data Type'.
|
class |
DeviceClassifierImpl
An implementation of the model object 'Device Classifier'.
|
class |
DeviceImplementationImpl
An implementation of the model object 'Device Implementation'.
|
class |
DeviceTypeImpl
An implementation of the model object 'Device Type'.
|
class |
EnumerationTypeImpl
An implementation of the model object 'Enumeration Type'.
|
class |
FeatureGroupTypeImpl
An implementation of the model object 'Feature Group Type'.
|
class |
GlobalNamespaceImpl
An implementation of the model object 'Global Namespace'.
|
class |
MemoryClassifierImpl
An implementation of the model object 'Memory Classifier'.
|
class |
MemoryImplementationImpl
An implementation of the model object 'Memory Implementation'.
|
class |
MemoryTypeImpl
An implementation of the model object 'Memory Type'.
|
class |
NamespaceImpl
An implementation of the model object 'Namespace'.
|
class |
PackageSectionImpl
An implementation of the model object 'Package Section'.
|
class |
PrivatePackageSectionImpl
An implementation of the model object 'Private Package Section'.
|
class |
ProcessClassifierImpl
An implementation of the model object 'Process Classifier'.
|
class |
ProcessImplementationImpl
An implementation of the model object 'Process Implementation'.
|
class |
ProcessorClassifierImpl
An implementation of the model object 'Processor Classifier'.
|
class |
ProcessorImplementationImpl
An implementation of the model object 'Processor Implementation'.
|
class |
ProcessorTypeImpl
An implementation of the model object 'Processor Type'.
|
class |
ProcessTypeImpl
An implementation of the model object 'Process Type'.
|
class |
PropertySetImpl
An implementation of the model object 'Property Set'.
|
class |
PublicPackageSectionImpl
An implementation of the model object 'Public Package Section'.
|
class |
RecordTypeImpl
An implementation of the model object 'Record Type'.
|
class |
SubprogramClassifierImpl
An implementation of the model object 'Subprogram Classifier'.
|
class |
SubprogramGroupClassifierImpl
An implementation of the model object 'Subprogram Group Classifier'.
|
class |
SubprogramGroupImplementationImpl
An implementation of the model object 'Subprogram Group Implementation'.
|
class |
SubprogramGroupTypeImpl
An implementation of the model object 'Subprogram Group Type'.
|
class |
SubprogramImplementationImpl
An implementation of the model object 'Subprogram Implementation'.
|
class |
SubprogramTypeImpl
An implementation of the model object 'Subprogram Type'.
|
class |
SystemClassifierImpl
An implementation of the model object 'System Classifier'.
|
class |
SystemImplementationImpl
An implementation of the model object 'System Implementation'.
|
class |
SystemTypeImpl
An implementation of the model object 'System Type'.
|
class |
ThreadClassifierImpl
An implementation of the model object 'Thread Classifier'.
|
class |
ThreadGroupClassifierImpl
An implementation of the model object 'Thread Group Classifier'.
|
class |
ThreadGroupImplementationImpl
An implementation of the model object 'Thread Group Implementation'.
|
class |
ThreadGroupTypeImpl
An implementation of the model object 'Thread Group Type'.
|
class |
ThreadImplementationImpl
An implementation of the model object 'Thread Implementation'.
|
class |
ThreadTypeImpl
An implementation of the model object 'Thread Type'.
|
class |
UnitsTypeImpl
An implementation of the model object 'Units Type'.
|
class |
VirtualBusClassifierImpl
An implementation of the model object 'Virtual Bus Classifier'.
|
class |
VirtualBusImplementationImpl
An implementation of the model object 'Virtual Bus Implementation'.
|
class |
VirtualBusTypeImpl
An implementation of the model object 'Virtual Bus Type'.
|
class |
VirtualProcessorClassifierImpl
An implementation of the model object 'Virtual Processor Classifier'.
|
class |
VirtualProcessorImplementationImpl
An implementation of the model object 'Virtual Processor Implementation'.
|
class |
VirtualProcessorTypeImpl
An implementation of the model object 'Virtual Processor Type'.
|
Modifier and Type | Method and Description |
---|---|
Namespace |
SubprogramCallImpl.getNamespace() |
Namespace |
PublicPackageSectionImpl.getNamespace() |
Namespace |
PrivatePackageSectionImpl.getNamespace() |
Namespace |
NamedElementImpl.getNamespace() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.util.EList<Namespace> |
NamedElementImpl.allNamespaces() |
Modifier and Type | Method and Description |
---|---|
boolean |
NamedElementImpl.isDistinguishableFrom(NamedElement n,
Namespace ns) |
Modifier and Type | Method and Description |
---|---|
static Namespace |
AadlUtil.getContainingTopLevelNamespace(org.eclipse.emf.ecore.EObject element)
get containing property set or package section
if element is already top level name space return itself
|
Modifier and Type | Method and Description |
---|---|
static AadlPackage |
AadlUtil.findImportedPackage(java.lang.String name,
Namespace context)
find package name in the with clause of the containing top level name space (PackageSection or Property set) of the context.
|
static boolean |
AadlUtil.isImportedPackage(AadlPackage pack,
Namespace context)
check whether package is in the with clause of the containing top level name space (PackageSection or Property set) of the context.
|
Modifier and Type | Method and Description |
---|---|
static Namespace |
NamedElementOperations.getNamespace(NamedElement namedElement) |
Modifier and Type | Method and Description |
---|---|
static org.eclipse.emf.common.util.EList<Namespace> |
NamedElementOperations.allNamespaces(NamedElement namedElement)
The query allNamespaces() gives the sequence of namespaces in which the NamedElement is nested, working outwards.
|
Modifier and Type | Method and Description |
---|---|
static org.eclipse.emf.common.util.EList<java.lang.String> |
NamespaceOperations.getNamesOfMember(Namespace namespace,
NamedElement element)
The query getNamesOfMember() gives a set of all of the names that a member would have in a Namespace.
|
static boolean |
NamedElementOperations.isDistinguishableFrom(NamedElement namedElement,
NamedElement n,
Namespace ns)
The query isDistinguishableFrom() determines whether two NamedElements may logically co-exist within a Namespace.
|
static boolean |
NamespaceOperations.members_distinguishable(Namespace namespace,
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.
|
static boolean |
NamespaceOperations.membersAreDistinguishable(Namespace namespace)
The Boolean query membersAreDistinguishable() determines whether all of the namespaces members are distinguishable within it.
|
Modifier and Type | Method and Description |
---|---|
T |
Aadl2Switch.caseNamespace(Namespace object)
Returns the result of interpreting the object as an instance of 'Namespace'.
|
boolean |
Aadl2Validator.validateNamespace_members_distinguishable(Namespace namespace,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the members_distinguishable constraint of 'Namespace'.
|
boolean |
Aadl2Validator.validateNamespace(Namespace namespace,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
Modifier and Type | Method and Description |
---|---|
AadlPackage |
PropertiesLinkingService.findAadlPackageReference(java.lang.String packageName,
Namespace context)
Find referenced Package by resolving renames first and then making sure it is listed in a with clause
If package name is null or that of the context return containing package
|
NamedElement |
PropertiesLinkingService.findNamedElementInAadlPackage(java.lang.String packageName,
java.lang.String elementName,
Namespace context)
Search for a
NamedElement with the name elementName in
the containing package, which is also the specified by packageName . |