Modifier and Type | Method and Description |
---|---|
static void |
TransformComplementaryNameMatchingPropag.ComplementaryNameMatchingPropag2PetriNet(PetriNet.PetriNet pn,
InstanceObject currentCompOrConnection,
java.util.Hashtable intermediaryInfoList) |
static PetriNet.Place |
ErrorModel2PetriNet.createIntermediaryPlace(PetriNet.PetriNet pn,
InstanceObject iobj,
java.lang.String name)
Creates an intermediate place for the AADL propagation and links it to the Petri net transition
corresponding to the out propagation
|
static PetriNet.Place |
ErrorModel2PetriNet.createNamedPlace(PetriNet.PetriNet pn,
edu.cmu.sei.aadl.errorannex.ErrorState es,
InstanceObject iobj,
java.lang.String name)
Creates a place from an AADL error state if a place with the same name
does not exist in the petri net
|
static PetriNet.Transition |
ErrorModel2PetriNet.createNamedTransition(PetriNet.PetriNet pn,
InstanceObject iobj,
java.lang.String name,
java.lang.String probability)
Creates a new named transition with the given probability
|
static PetriNet.Place |
ErrorModel2PetriNet.createNoPropagPlace(PetriNet.PetriNet pn,
edu.cmu.sei.aadl.errorannex.ErrorState origin,
edu.cmu.sei.aadl.errorannex.ErrorPropagation currentAction,
InstanceObject iobj)
Creates a place that corresponds to a non-propagation
|
static PetriNet.Place |
ErrorModel2PetriNet.createPlace(PetriNet.PetriNet pn,
edu.cmu.sei.aadl.errorannex.ErrorState es,
InstanceObject iobj)
Creates a place from an AADL error state if a place with the same name
does not exist in the petri net
|
static PetriNet.Transition |
ErrorModel2PetriNet.eventOrPropagation2transition(PetriNet.PetriNet pn,
edu.cmu.sei.aadl.errorannex.ErrorEventOrPropagation ee,
InstanceObject iobj,
edu.cmu.sei.aadl.errorannex.ErrorState origin)
Transforms AADL Error Event or Propagation with its Occurrence property into a Petri Net transition
|
static PetriNet.Transition |
ErrorModel2PetriNet.inPropagation2transition(PetriNet.PetriNet pn,
edu.cmu.sei.aadl.errorannex.ErrorPropagation ep,
InstanceObject sender,
InstanceObject receiver,
int suffix)
Transforms AADL in Error Propagation into a Petri Net transition of probability 1
|
static edu.cmu.sei.aadl.errorannex.ErrorModelImplementation |
TransformIsolated.IsolatedEM2PetriNet(InstanceObject iobj,
PetriNet.PetriNet pn) |
static java.util.Hashtable |
TransfomNameMatchingPropag.NameMatchingPropag2PetriNet(InstanceObject iobj,
edu.cmu.sei.aadl.errorannex.ErrorModelImplementation emi,
org.eclipse.emf.common.util.EList UpperComponentsEM,
PetriNet.PetriNet pn)
This method creates a subnet for each name-matching couple of propagations
It considers each out propagation and calls the method createNameMatchingSubnet
that searches for name-matching in propagations and generates corresponding subnets
|
Modifier and Type | Method and Description |
---|---|
InstanceObject |
AnalysisModel.getRoot() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
TraverseErrorFlows.generateEffectText(InstanceObject io,
ErrorPropagation ep)
report on io object with optional error propagation.
|
java.lang.String |
OrigTraverseErrorFlows.generateEffectText(InstanceObject io,
ErrorPropagation ep)
report on io object with optional error propagation.
|
java.lang.String |
TraverseErrorFlows.generateItemText(InstanceObject io)
get the text to be used for the item (Component or feature)
that is the source of a failure mode
|
java.lang.String |
OrigTraverseErrorFlows.generateItemText(InstanceObject io)
get the text to be used for the item (Component or feature)
that is the source of a failure mode
|
ComponentInstance |
AnalysisModel.getContainingComponentInstance(InstanceObject ci)
find component instance in Analysis Model subcomponent list that contains the specified CI
|
static void |
EMSUtil.removeAll(InstanceObject root) |
void |
TraverseErrorFlows.report(InstanceObject io,
ErrorPropagation ep)
report on io object with optional error propagation.
|
void |
PropagateErrorFlows.report(InstanceObject io,
ErrorPropagation ep)
report on io object with optional error propagation.
|
void |
OrigTraverseErrorFlows.report(InstanceObject io,
ErrorPropagation ep)
report on io object with optional error propagation.
|
void |
PropagateErrorFlows.report(InstanceObject io,
java.lang.String prefix)
can be overwritten.
|
static void |
EMSUtil.unsetAll(InstanceObject root) |
Modifier and Type | Interface and Description |
---|---|
interface |
ComponentInstance
A representation of the model object 'Component Instance'.
|
interface |
ConnectionInstance
A representation of the model object 'Connection Instance'.
|
interface |
ConnectionInstanceEnd
A representation of the model object 'Connection Instance End'.
|
interface |
ConnectionReference
A representation of the model object 'Connection Reference'.
|
interface |
EndToEndFlowInstance
A representation of the model object 'End To End Flow Instance'.
|
interface |
FeatureInstance
A representation of the model object 'Feature Instance'.
|
interface |
FlowElementInstance
A representation of the model object 'Flow Element Instance'.
|
interface |
FlowSpecificationInstance
A representation of the model object 'Flow Specification Instance'.
|
interface |
ModeInstance
A representation of the model object 'Mode Instance'.
|
interface |
ModeTransitionInstance
A representation of the model object 'Mode Transition Instance'.
|
interface |
SystemInstance
A representation of the model object '
System Instance'.
|
Modifier and Type | Method and Description |
---|---|
InstanceObject |
InstanceReferenceValue.getReferencedInstanceObject()
Returns the value of the 'Referenced Instance Object' reference.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<InstanceObject> |
InstanceObject.findInstanceObjects(org.eclipse.emf.common.util.EList<ContainmentPathElement> referencePath)
Find all instance object that match a given containment path.
|
java.util.List<InstanceObject> |
ConnectionInstance.getThroughFeatureInstances()
Get the feature instances that this semantic connection passes through
including the ultimate start and end points.
|
Modifier and Type | Method and Description |
---|---|
void |
InstanceReferenceValue.setReferencedInstanceObject(InstanceObject value)
Sets the value of the '
Referenced Instance Object ' reference. |
Modifier and Type | Class and Description |
---|---|
class |
ComponentInstanceImpl
An implementation of the model object 'Component Instance'.
|
class |
ConnectionInstanceEndImpl
An implementation of the model object 'Connection Instance End'.
|
class |
ConnectionInstanceImpl
An implementation of the model object 'Connection Instance'.
|
class |
ConnectionReferenceImpl
An implementation of the model object 'Connection Reference'.
|
class |
EndToEndFlowInstanceImpl
An implementation of the model object 'End To End Flow Instance'.
|
class |
FeatureInstanceImpl
An implementation of the model object 'Feature Instance'.
|
class |
FlowElementInstanceImpl
An implementation of the model object 'Flow Element Instance'.
|
class |
FlowSpecificationInstanceImpl
An implementation of the model object 'Flow Specification Instance'.
|
class |
InstanceObjectImpl
An implementation of the model object '
Object'.
|
class |
ModeInstanceImpl
An implementation of the model object 'Mode Instance'.
|
class |
ModeTransitionInstanceImpl
An implementation of the model object 'Mode Transition Instance'.
|
class |
SystemInstanceImpl
An implementation of the model object '
System Instance'.
|
Modifier and Type | Method and Description |
---|---|
InstanceObject |
InstanceReferenceValueImpl.basicGetReferencedInstanceObject() |
InstanceObject |
InstanceReferenceValueImpl.getReferencedInstanceObject() |
Modifier and Type | Method and Description |
---|---|
java.util.List<InstanceObject> |
InstanceObjectImpl.findInstanceObjects(org.eclipse.emf.common.util.EList<ContainmentPathElement> referencePath) |
java.util.List<InstanceObject> |
ConnectionInstanceImpl.getThroughFeatureInstances()
return list of Feature instances involved in a connection instance
In case of a fan-in/fan-out it includes both the feature group and the feature
For an end point in teh connection it may be a component instance
|
Modifier and Type | Method and Description |
---|---|
void |
InstanceReferenceValueImpl.setReferencedInstanceObject(InstanceObject newReferencedInstanceObject) |
Modifier and Type | Method and Description |
---|---|
T |
InstanceSwitch.caseInstanceObject(InstanceObject object)
Returns the result of interpreting the object as an instance of 'Object'.
|
static InstanceUtil.InstantiatedClassifier |
InstanceUtil.getInstantiatedClassifier(InstanceObject iobj,
int index)
Get the component or feature group classifier that is instantiated by an
instance object.
|
static InstanceUtil.InstantiatedClassifier |
InstanceUtil.getInstantiatedClassifier(InstanceObject iobj,
int index,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache)
Get the component or feature group classifier that is instantiated by an
instance object.
|
static ComponentPrototypeActual |
InstanceUtil.resolveComponentPrototype(Prototype proto,
InstanceObject context,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache)
Find the binding for a given component prototype.
|
static FeatureGroupPrototypeActual |
InstanceUtil.resolveFeatureGroupPrototype(Prototype proto,
InstanceObject context,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache)
Find the binding for a given feature group prototype.
|
static FeaturePrototypeActual |
InstanceUtil.resolveFeaturePrototype(Prototype proto,
InstanceObject context,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache)
Find the binding for a given feature prototype.
|
static PrototypeBinding |
InstanceUtil.resolvePrototype(Prototype proto,
InstanceObject context,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache)
Find the binding for a given prototype.
|
Modifier and Type | Method and Description |
---|---|
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.
|
static FeatureGroupType |
InstanceUtil.getFeatureGroupType(FeatureInstance fi,
int index,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache)
Get the feature group classifier of a feature instance.
|
static InstanceUtil.InstantiatedClassifier |
InstanceUtil.getInstantiatedClassifier(InstanceObject iobj,
int index,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache)
Get the component or feature group classifier that is instantiated by an
instance object.
|
static ComponentPrototypeActual |
InstanceUtil.resolveComponentPrototype(Prototype proto,
InstanceObject context,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache)
Find the binding for a given component prototype.
|
static FeatureGroupPrototypeActual |
InstanceUtil.resolveFeatureGroupPrototype(Prototype proto,
InstanceObject context,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache)
Find the binding for a given feature group prototype.
|
static FeaturePrototypeActual |
InstanceUtil.resolveFeaturePrototype(Prototype proto,
InstanceObject context,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache)
Find the binding for a given feature prototype.
|
static PrototypeBinding |
InstanceUtil.resolvePrototype(Prototype proto,
InstanceObject context,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache)
Find the binding for a given prototype.
|
Constructor and Description |
---|
CreateConnectionsSwitch(org.eclipse.core.runtime.IProgressMonitor pm,
AnalysisErrorReporterManager errMgr,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache)
Create a new instance.
|
CreateEndToEndFlowsSwitch(org.eclipse.core.runtime.IProgressMonitor pm,
AnalysisErrorReporterManager errMgr,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache)
Create a new instance.
|
Modifier and Type | Method and Description |
---|---|
static org.eclipse.emf.common.util.URI |
OsateResourceUtil.getReportsURI(InstanceObject obj,
java.lang.String reporttype,
java.lang.String extension) |
Modifier and Type | Method and Description |
---|---|
static boolean |
AadlUtil.containedIn(InstanceObject element,
ComponentInstance parent) |
static ConnectionInstance |
AadlUtil.findConnectionInstance(InstanceObject src,
InstanceObject dst)
find the connection instance with src as its source and dst as its
destination
|
static Element |
AadlUtil.getInstanceOrigin(InstanceObject io) |
Modifier and Type | Method and Description |
---|---|
InstanceObject |
EvaluationContext.getInstanceObject() |
Modifier and Type | Method and Description |
---|---|
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> |
EvaluationContext.getClassifierCache() |
Constructor and Description |
---|
EvaluationContext(InstanceObject io,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache) |
EvaluationContext(InstanceObject io,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache,
PropertyAssociation scProp) |
Constructor and Description |
---|
EvaluationContext(InstanceObject io,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache) |
EvaluationContext(InstanceObject io,
java.util.HashMap<InstanceObject,InstanceUtil.InstantiatedClassifier> classifierCache,
PropertyAssociation scProp) |
Modifier and Type | Method and Description |
---|---|
static boolean |
Aadl2InstanceUtil.containedIn(InstanceObject element,
InstanceObject parent) |
Modifier and Type | Method and Description |
---|---|
static ErrorFlow |
EM2Util.findErrorFlow(ErrorPropagations eps,
InstanceObject incie)
find the error flow whose incoming error propagation point is incie
|
static ErrorFlow |
EM2Util.findReverseErrorFlow(ErrorPropagations eps,
InstanceObject incie)
find the error flow whose outgoing error propagation point is incie
|
Modifier and Type | Method and Description |
---|---|
static InstanceObject |
PropertyUtils.getInstanceObjectReference(InstanceObject io,
Property pd)
Get an InstanceObject from an instance reference value.
|
Modifier and Type | Method and Description |
---|---|
static java.util.List<ComponentInstance> |
GetProperties.getActualMemoryBinding(InstanceObject io) |
static InstanceObject |
PropertyUtils.getInstanceObjectReference(InstanceObject io,
Property pd)
Get an InstanceObject from an instance reference value.
|