Modifier and Type | Method and Description |
---|---|
static org.eclipse.emf.common.util.EList |
ErrorModel2PetriNet.createErrorGuardSenderSideLogic(PetriNet.PetriNet pn,
ComponentInstance ci,
edu.laas.aadl.dependency.FindSenderOrReceiverErrorModel fsrem,
org.eclipse.emf.common.util.EList and,
org.eclipse.emf.common.util.EList UpperComponentsEM,
boolean flagGuardTrans)
This method is used in the transformation of guardIn, guardOut and guardEvent properties
|
static org.eclipse.emf.common.util.EList |
TransformGuardEvent.GuardEvents2PetriNet(PetriNet.PetriNet pn,
ComponentInstance ci,
org.eclipse.emf.common.util.EList UpperComponentsEM) |
static void |
TransformGuardIn.GuardIns2PetriNet(ComponentInstance ci,
org.eclipse.emf.common.util.EList UpperComponentsEM,
PetriNet.PetriNet pn)
This method looks for all the guard_in properties defined for the given component
ci in order and transforms them into a relative subnet of the Petri Net
|
static org.eclipse.emf.common.util.EList |
TransformGuardOut.GuardOuts2PetriNet(ComponentInstance ci,
org.eclipse.emf.common.util.EList UpperComponentsEM,
PetriNet.PetriNet pn) |
static void |
TransformGuardTransition.GuardTransitions2PetriNet(ComponentInstance ci,
org.eclipse.emf.common.util.EList UpperComponentsEM,
PetriNet.PetriNet pn) |
static org.eclipse.emf.common.util.EList |
ToDisjunctiveNormalForm.make_canonical(ComponentInstance ci,
edu.cmu.sei.aadl.errorannex.BooleanErrorExpression bee,
org.eclipse.emf.common.util.EList rules,
org.eclipse.emf.common.util.EList UpperComponentsEM)
This method is used to transform any kind of expression into a DNF expression.
|
Modifier and Type | Method and Description |
---|---|
PropertyExpression |
ReferenceValue.instantiate(ComponentInstance root) |
Modifier and Type | Method and Description |
---|---|
ComponentInstance |
AnalysisModel.getContainingComponentInstance(InstanceObject ci)
find component instance in Analysis Model subcomponent list that contains the specified CI
|
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.util.EList<ComponentInstance> |
TraverseErrorFlows.getModelSubcomponents() |
org.eclipse.emf.common.util.EList<ComponentInstance> |
OrigTraverseErrorFlows.getModelSubcomponents() |
org.eclipse.emf.common.util.EList<ComponentInstance> |
AnalysisModel.getSubComponents() |
Modifier and Type | Method and Description |
---|---|
void |
AnalysisModel.setRoot(ComponentInstance root) |
void |
TraverseErrorFlows.startErrorFlows(ComponentInstance ci)
traverse error flow if the component instance is an error source
|
void |
PropagateErrorFlows.startErrorFlows(ComponentInstance ci)
traverse error flow if the component instance is an error source
|
void |
OrigTraverseErrorFlows.startErrorFlows(ComponentInstance ci)
traverse error flow if the component instance is an error source
|
Modifier and Type | Method and Description |
---|---|
void |
AnalysisModel.setSubComponents(org.eclipse.emf.common.util.EList<ComponentInstance> subComponents) |
Constructor and Description |
---|
AnalysisModel(ComponentInstance root) |
OrigTraverseErrorFlows(java.lang.String reportType,
ComponentInstance root) |
OrigTraverseErrorFlows(java.lang.String reportType,
ComponentInstance root,
int maxLevel) |
PropagateErrorFlows(java.lang.String reportType,
ComponentInstance root) |
TraverseErrorFlows(java.lang.String reportType,
ComponentInstance root) |
TraverseErrorFlows(java.lang.String reportType,
ComponentInstance root,
int maxLevel) |
Modifier and Type | Method and Description |
---|---|
PropertyExpression |
ReferenceValueImpl.instantiate(ComponentInstance root) |
PropertyExpression |
ClassifierValueImpl.instantiate(ComponentInstance root)
Default implementation for instantiation: simply returns itself.
|
Modifier and Type | Interface and Description |
---|---|
interface |
SystemInstance
A representation of the model object '
System Instance'.
|
Modifier and Type | Method and Description |
---|---|
ComponentInstance |
InstanceFactory.createComponentInstance()
Returns a new object of class 'Component Instance'.
|
ComponentInstance |
ComponentInstance.createComponentInstance()
Creates a new
ComponentInstance and appends it to the 'Component Instance' containment reference list. |
ComponentInstance |
ComponentInstance.createComponentInstance(org.eclipse.emf.ecore.EClass eClass)
Creates a new
ComponentInstance and appends it to the 'Component Instance' containment reference list. |
ComponentInstance |
ComponentInstance.findSubcomponentInstance(Subcomponent sc)
find the subcomponent instance of this component instance
|
ComponentInstance |
InstanceObject.getComponentInstance()
Get the containing component instance of an instance object, or itself if
this is a component instance
|
ComponentInstance |
InstanceObject.getContainingComponentInstance()
Returns the closest ancestor component (in the containment hierarchy)
that is a
ComponentInstance . |
ComponentInstance |
ConnectionReference.getContext()
Returns the value of the 'Context' reference.
|
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.util.EList<ComponentInstance> |
ComponentInstance.getAllComponentInstances()
Return all component instances in the containment structure rooted at
this component, including this component.
|
org.eclipse.emf.common.util.EList<ComponentInstance> |
ComponentInstance.getComponentInstances()
Returns the value of the 'Component Instance' containment reference list.
|
Modifier and Type | Method and Description |
---|---|
ConnectionInstanceEnd |
ConnectionInstance.getInstantiatedEndPoint(ComponentInstance ctxt,
ConnectionEnd connEndPoint,
Context connCtxt) |
void |
ConnectionReference.setContext(ComponentInstance value)
Sets the value of the '
Context ' reference. |
Modifier and Type | Class and Description |
---|---|
class |
ComponentInstanceImpl
An implementation of the model object 'Component Instance'.
|
class |
SystemInstanceImpl
An implementation of the model object '
System Instance'.
|
Modifier and Type | Method and Description |
---|---|
ComponentInstance |
ConnectionReferenceImpl.basicGetContext() |
ComponentInstance |
InstanceFactoryImpl.createComponentInstance() |
ComponentInstance |
ComponentInstanceImpl.createComponentInstance() |
ComponentInstance |
ComponentInstanceImpl.createComponentInstance(org.eclipse.emf.ecore.EClass eClass) |
ComponentInstance |
ComponentInstanceImpl.findSubcomponentInstance(Subcomponent sc)
find the subcomponent instance of this component instance
|
ComponentInstance |
InstanceObjectImpl.getComponentInstance() |
ComponentInstance |
InstanceObjectImpl.getContainingComponentInstance()
Get the closest component instance that contains this object.
|
ComponentInstance |
ConnectionReferenceImpl.getContext() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.util.EList<ComponentInstance> |
ComponentInstanceImpl.getAllComponentInstances()
return all component instances in the containment structure including the root
The root being this
|
org.eclipse.emf.common.util.EList<ComponentInstance> |
ComponentInstanceImpl.getComponentInstances() |
Modifier and Type | Method and Description |
---|---|
ConnectionInstanceEnd |
ConnectionInstanceImpl.getInstantiatedEndPoint(ComponentInstance ctxt,
ConnectionEnd connEndPoint,
Context connCtxt)
find the connection endpoint within the component instance
|
PropertyExpression |
InstanceReferenceValueImpl.instantiate(ComponentInstance root)
Instance reference property values are already instaitated, so just
return self.
|
void |
ConnectionReferenceImpl.setContext(ComponentInstance newContext) |
Modifier and Type | Method and Description |
---|---|
T |
InstanceSwitch.caseComponentInstance(ComponentInstance object)
Returns the result of interpreting the object as an instance of 'Component Instance'.
|
static ComponentClassifier |
InstanceUtil.getComponentClassifier(ComponentInstance ci,
int index,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache)
Get the component classifier of a component instance.
|
static ComponentImplementation |
InstanceUtil.getComponentImplementation(ComponentInstance ci,
int index,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache)
Get the component implementation of a component instance.
|
static ComponentType |
InstanceUtil.getComponentType(ComponentInstance ci,
int index,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache)
Get the component type of a component instance.
|
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.util.EList<Element> |
ForAllElement.processPostOrderComponentInstance(ComponentInstance obj)
Visits all the
ComponentInstance objects in the given instance
model in post fix order. |
org.eclipse.emf.common.util.EList<Element> |
ForAllElement.processPostOrderComponentInstance(ComponentInstance obj,
ComponentCategory cat)
Visits all the
ComponentInstance objects that are of the given
component category (e.g., system, data, thread, etc.) in the given
instance model in post fix order. |
org.eclipse.emf.common.util.EList<Element> |
ForAllElement.processPreOrderComponentInstance(ComponentInstance obj)
Visits all the
ComponentInstance objects in the given instance
model in prefix order. |
org.eclipse.emf.common.util.EList<Element> |
ForAllElement.processPreOrderComponentInstance(ComponentInstance obj,
ComponentCategory cat)
Visits all the
ComponentInstance objects of the given category in
the given instance model in prefix order. |
org.eclipse.emf.common.util.EList |
ForAllElement.processPreOrderComponentInstanceStop(ComponentInstance obj)
Modifies processPreOrderComponentInstance to stop processing down
when a component with error model is found
If the suchThat method returned true, it means an error model subclause was found
and we stop traversing the model down
Does preorder processing of Component Instance containment hierarchy
Takes into account the current mode when traversing the content hierarchy
of model instances The default implementation applies the suchThat
condition and if true adds the element to the result list
|
Modifier and Type | Method and Description |
---|---|
static boolean |
AadlUtil.containedIn(InstanceObject element,
ComponentInstance parent) |
Modifier and Type | Method and Description |
---|---|
static boolean |
AadlUtil.hasOutgoingFeatureSubcomponents(org.eclipse.emf.common.util.EList<? extends ComponentInstance> subcompinstances)
determine whether a component instance has subcomponents that can have
outgoing connections
|
static boolean |
AadlUtil.hasOutgoingPortSubcomponents(org.eclipse.emf.common.util.EList<? extends ComponentInstance> subcompinstances)
determine whether a component instance has subcomponents that can have
outgoing connections
|
Modifier and Type | Method and Description |
---|---|
static AnnexSubclause |
Aadl2InstanceUtil.getAnnexSubclause(ComponentInstance ci,
java.lang.String annexName) |
static ConnectionInstanceEnd |
Aadl2InstanceUtil.getDestEndPointInstance(ComponentInstance ci,
ConnectionInstance conni)
Find the destination endpoint of the connection in the specified component instance
the endpoint can be a feature instance or a component instance
The connection instance may go inside the component instance
|
static org.eclipse.emf.common.util.EList<ConnectionInstance> |
Aadl2InstanceUtil.getIncomingConnection(ComponentInstance ci,
FeatureInstance fi)
find incoming connection that goes through the feature of the specified component instance
|
static org.eclipse.emf.common.util.EList<ConnectionInstance> |
Aadl2InstanceUtil.getIncomingConnections(ComponentInstance ci)
get incoming connection instances from the component instance or any contained component instance
|
static org.eclipse.emf.common.util.EList<ConnectionInstance> |
Aadl2InstanceUtil.getOutgoingConnection(ComponentInstance ci,
FeatureInstance fi)
find outgoing connection that goes through the feature of the specified component instance
|
static org.eclipse.emf.common.util.EList<ConnectionInstance> |
Aadl2InstanceUtil.getOutgoingConnections(ComponentInstance ci)
get outgoing connection instances from the component instance or any contained component instance
|
static ConnectionInstanceEnd |
Aadl2InstanceUtil.getSrcEndPointInstance(ComponentInstance ci,
ConnectionInstance conni)
Find the source endpoint of the connection in the specified component instance
the endpoint can be a feature instance or a component instance
The connection instance may go inside the component instance
|
static boolean |
Aadl2InstanceUtil.isIncomingConnection(ConnectionInstance connectionInstance,
ComponentInstance ci) |
static boolean |
Aadl2InstanceUtil.isOutgoingConnection(ConnectionInstance connectionInstance,
ComponentInstance ci) |
Modifier and Type | Method and Description |
---|---|
void |
AnnexInstantiationController.instantiateAllAnnexes(ComponentInstance root) |
void |
AnnexInstantiatorProxy.instantiateAnnex(ComponentInstance instance,
java.lang.String annexName,
java.util.List annexElements) |
void |
AnnexInstantiator.instantiateAnnex(ComponentInstance instance,
java.lang.String annexName,
java.util.List annexElements) |
Modifier and Type | Method and Description |
---|---|
static ComponentInstance |
SOMChooserDialog.findComponentInstance(ComponentInstance parent,
java.lang.String childName)
Finds a
ComponentInstance that is a direct child of parent with the name of childName . |
Modifier and Type | Method and Description |
---|---|
static ComponentInstance |
SOMChooserDialog.findComponentInstance(ComponentInstance parent,
java.lang.String childName)
Finds a
ComponentInstance that is a direct child of parent with the name of childName . |
static ModeInstance |
SOMChooserDialog.findModeInstance(ComponentInstance parent,
java.lang.String modeName)
Finds a
ModeInstance that is a direct child of parent with the name of modeName . |
Modifier and Type | Method and Description |
---|---|
static org.eclipse.emf.common.util.EList<ComponentInstance> |
EM2Util.getComponentInstancesWithComponentErrorBehavior(ComponentInstance ci)
retrieve list of component instances that have component error behavior specified
For process component instances do not recurse below and include the component instance
even if no error propagation is attached.
|
static org.eclipse.emf.common.util.EList<ComponentInstance> |
EM2Util.getComponentInstancesWithComponentErrorBehaviorOnly(ComponentInstance ci)
retrieve list of component instances that have component error behavior specified
For process component instances or component instance without children, do not recurse below and do not include the component instance
|
static org.eclipse.emf.common.util.EList<ComponentInstance> |
EM2Util.getComponentInstancesWithErrorPropagations(ComponentInstance ci)
retrieve list of component instances that have error propagations specified
For process component instances do not recurse below and include the component instance
even if no error propagation is attached.
|
static org.eclipse.emf.common.util.EList<ComponentInstance> |
EM2Util.getComponentInstancesWithErrorPropagationsOnly(ComponentInstance ci)
retrieve list of component instances that have error propagations specified
For process component instances or component instance without children, do not recurse below and do not include the component instance
|
static org.eclipse.emf.common.util.EList<ComponentInstance> |
EM2Util.getComponentInstancesWithhasCompositeErrorBehaviorOnly(ComponentInstance ci)
retrieve list of component instances that have composite error behavior specified
For process component instances or component instance without children, do not recurse below and do not include the component instance
|
static org.eclipse.emf.common.util.EList<ComponentInstance> |
EM2Util.getCompositeInstancesWithComponentErrorBehavior(ComponentInstance ci)
retrieve list of component instances that have composite error behavior specified
For process component instances do not recurse below and include the component instance
even if no error propagation is attached.
|
Modifier and Type | Method and Description |
---|---|
static ComponentErrorBehavior |
EM2Util.getComponentErrorBehavior(ComponentInstance ci) |
static org.eclipse.emf.common.util.EList<ComponentInstance> |
EM2Util.getComponentInstancesWithComponentErrorBehavior(ComponentInstance ci)
retrieve list of component instances that have component error behavior specified
For process component instances do not recurse below and include the component instance
even if no error propagation is attached.
|
static org.eclipse.emf.common.util.EList<ComponentInstance> |
EM2Util.getComponentInstancesWithComponentErrorBehaviorOnly(ComponentInstance ci)
retrieve list of component instances that have component error behavior specified
For process component instances or component instance without children, do not recurse below and do not include the component instance
|
static org.eclipse.emf.common.util.EList<ComponentInstance> |
EM2Util.getComponentInstancesWithErrorPropagations(ComponentInstance ci)
retrieve list of component instances that have error propagations specified
For process component instances do not recurse below and include the component instance
even if no error propagation is attached.
|
static org.eclipse.emf.common.util.EList<ComponentInstance> |
EM2Util.getComponentInstancesWithErrorPropagationsOnly(ComponentInstance ci)
retrieve list of component instances that have error propagations specified
For process component instances or component instance without children, do not recurse below and do not include the component instance
|
static org.eclipse.emf.common.util.EList<ComponentInstance> |
EM2Util.getComponentInstancesWithhasCompositeErrorBehaviorOnly(ComponentInstance ci)
retrieve list of component instances that have composite error behavior specified
For process component instances or component instance without children, do not recurse below and do not include the component instance
|
static CompositeErrorBehavior |
EM2Util.getCompositeErrorBehavior(ComponentInstance ci) |
static org.eclipse.emf.common.util.EList<ComponentInstance> |
EM2Util.getCompositeInstancesWithComponentErrorBehavior(ComponentInstance ci)
retrieve list of component instances that have composite error behavior specified
For process component instances do not recurse below and include the component instance
even if no error propagation is attached.
|
static ErrorPropagations |
EM2Util.getErrorPropagations(ComponentInstance ci) |
static ErrorPropagation |
EM2Util.getIncomingAccessErrorPropagation(ComponentInstance ci)
Get incoming error propagation associated with component instance access
|
static ErrorPropagation |
EM2Util.getOutgoingAccessErrorPropagation(ComponentInstance ci)
Get outgoing error propagation associated with component instance access
|
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 boolean |
EM2Util.hasComponentErrorBehavior(ComponentInstance ci) |
static boolean |
EM2Util.hasCompositeErrorBehavior(ComponentInstance ci) |
static boolean |
EM2Util.hasErrorPropagations(ComponentInstance ci) |
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.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 ComponentInstance |
ConnectionBindingUtil.getHardwareComponent(FeatureInstance fi) |
Modifier and Type | Method and Description |
---|---|
static java.util.List<ComponentInstance> |
GetProperties.getActualConnectionBinding(ComponentInstance io) |
static java.util.List<ComponentInstance> |
GetProperties.getActualMemoryBinding(InstanceObject io) |
static java.util.List<ComponentInstance> |
GetProperties.getActualProcessorBinding(ComponentInstance io) |
static java.util.List<ComponentInstance> |
GetProperties.getAllowedProcessorBinding(ComponentInstance io) |
Modifier and Type | Method and Description |
---|---|
static java.util.List |
ConnectionBindingUtil.connectedByBus(ComponentInstance srcHW,
ComponentInstance dstHW)
returns list of buses connecting to HW components.
|
static boolean |
ConnectionBindingUtil.connectedToBus(ComponentInstance HWcomp,
ComponentInstance bus)
is hardware component connected (directly) to the given bus
|
static double |
GetProperties.getAccessLatencyinMS(ComponentInstance HWcomp,
ComponentInstance bus) |
static java.util.List<ComponentInstance> |
GetProperties.getActualConnectionBinding(ComponentInstance io) |
static double |
GetProperties.getActualMIPS(ComponentInstance bci) |
static java.util.List<ComponentInstance> |
GetProperties.getActualProcessorBinding(ComponentInstance io) |
static Property |
GetProperties.getActualProcessorBindingProperty(ComponentInstance io) |
static java.util.List<ComponentInstance> |
GetProperties.getAllowedProcessorBinding(ComponentInstance io) |
static java.util.List<ComponentClassifier> |
GetProperties.getAllowedProcessorBindingClass(ComponentInstance io) |
static ConnectionInstance |
ConnectionBindingUtil.getBusAccessConnection(ComponentInstance HWcomp,
ComponentInstance bus)
is hardware component connected (directly) to the given bus, incl.
|
static double |
GetProperties.getCycletimeasMIPS(ComponentInstance curprocessor)
return cycletime in terms of MIPS, zero if no cycle timee
|
static double |
GetProperties.getProcessorScalingFactor(ComponentInstance thread)
get the scaling factor between the processor the thread is bound to and
the reference processor used to specify the execution time
Calculate it based on cycle time and reference cycle time
if either is not specified, try looking for the scaling factor (predeclared or SEI)
|
static double |
GetProperties.getReferenceCycleTimeinSec(ComponentInstance thread) |
static double |
GetProperties.getReferenceCycleTimeinUS(ComponentInstance thread)
get cycle time that is the reference for the execution time of the thread
This value is determined based on the reference processor, or the
ReferenceCycleTime constant
|
static double |
GetProperties.getReferenceMIPS(ComponentInstance thread)
Get the MIPS per sec of the reference processor.
|
static double |
GetProperties.getScalingFactorPropertyValue(ComponentInstance processor) |