Package | Description |
---|---|
org.osate.aadl2 | |
org.osate.aadl2.impl | |
org.osate.aadl2.util | |
org.osate.xtext.aadl2.errormodel.util |
Modifier and Type | Interface and Description |
---|---|
interface |
ReferenceValue
A representation of the model object 'Reference Value'.
|
Modifier and Type | Method and Description |
---|---|
ContainedNamedElement |
PropertyAssociation.createAppliesTo()
Creates a new
ContainedNamedElement and appends it to the 'Applies To' containment reference list. |
ContainedNamedElement |
PropertyAssociation.createAppliesTo(org.eclipse.emf.ecore.EClass eClass)
Creates a new
ContainedNamedElement and appends it to the 'Applies To' containment reference list. |
ContainedNamedElement |
Aadl2Factory.createContainedNamedElement()
Returns a new object of class 'Contained Named Element'.
|
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.util.EList<ContainedNamedElement> |
PropertyAssociation.getAppliesTos()
Returns the value of the 'Applies To' containment reference list.
|
Modifier and Type | Class and Description |
---|---|
class |
ContainedNamedElementImpl
An implementation of the model object 'Contained Named Element'.
|
class |
ReferenceValueImpl
An implementation of the model object 'Reference Value'.
|
Modifier and Type | Method and Description |
---|---|
ContainedNamedElement |
PropertyAssociationImpl.createAppliesTo() |
ContainedNamedElement |
PropertyAssociationImpl.createAppliesTo(org.eclipse.emf.ecore.EClass eClass) |
ContainedNamedElement |
Aadl2FactoryImpl.createContainedNamedElement() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.util.EList<ContainedNamedElement> |
PropertyAssociationImpl.getAppliesTos() |
Modifier and Type | Method and Description |
---|---|
T |
Aadl2Switch.caseContainedNamedElement(ContainedNamedElement object)
Returns the result of interpreting the object as an instance of 'Contained Named Element'.
|
boolean |
Aadl2Validator.validateContainedNamedElement(ContainedNamedElement containedNamedElement,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
Modifier and Type | Method and Description |
---|---|
static ContainedNamedElement |
EM2Util.getProperty(org.eclipse.emf.common.util.EList<PropertyAssociation> props,
java.lang.String propertyName,
NamedElement target,
NamedElement localContext,
java.util.Stack<ComponentInstance> ciStack,
TypeSet ts)
retrieve an error model property (such as Hazard) attached to an error model element.
|
static ContainedNamedElement |
EM2Util.getProperty(java.lang.String propertyName,
ComponentInstance ci,
NamedElement localContext,
NamedElement target,
TypeSet ts)
find property by first looking for it down the component instance hierarchy to ci
Then try to find it in the local context if not null.
|
static ContainedNamedElement |
EM2Util.getPropertyInInstanceHierarchy(java.lang.String propertyName,
ComponentInstance ci,
NamedElement target,
NamedElement localContext,
java.util.Stack<ComponentInstance> ciStack,
TypeSet ts)
retrieve an error model property (such as Hazard) attached to an error model element based on contained property associations
in the annex subclause properties section.
|
static ContainedNamedElement |
EM2Util.isErrorModelElementProperty(PropertyAssociation propertyAssociation,
NamedElement target,
NamedElement localContext,
java.util.Stack<ComponentInstance> ciStack,
TypeSet ts)
determine whether the property applies to specified error model element or elements contained in it
(typically error types inside an error model element)
In other words eme must be the last or second to last element in a path.
|
Modifier and Type | Method and Description |
---|---|
static ErrorType |
EM2Util.getContainmentErrorType(ContainedNamedElement containedNamedElement)
get list of error types, one for each containment path
We assume that each path is of length one
|