edu.cmu.sei.aadl.instance
Class InstantiateModel
java.lang.Object
edu.cmu.sei.aadl.instance.InstantiateModel
public class InstantiateModel
- extends java.lang.Object
This class implements the instantiation of models from a root system impl.
The class also contains a switch for performing checks on semantic
constraints that must be satisfied for certain analyes on instance models.
Although there is a method that invokes these checks, it is best for each
analysis method to invoke those checks that are relevant for its processing.
- Author:
- phf
Method Summary |
SystemInstance |
buildInstanceModelFile(SystemImplementation si)
|
protected SystemInstance |
createSystemInstance(SystemImplementation si,
org.eclipse.emf.ecore.resource.Resource aadlResource)
|
protected SystemInstance |
createSystemInstanceInt(SystemImplementation si,
org.eclipse.emf.ecore.resource.Resource aadlResource)
|
protected void |
createSystemOperationModes(SystemInstance root)
|
protected void |
enumerateSystemOperationModes(SystemInstance root,
ComponentInstance[] instances)
|
protected void |
enumerateSystemOperationModes(SystemInstance root,
ComponentInstance[] instances,
int currentInstance,
java.util.LinkedList<ComponentInstance> skipped,
java.util.LinkedList<ModeInstance> modeState)
|
protected void |
expandFeatureGroupInstance(Feature feature,
FeatureInstance fi,
boolean inverse)
|
protected void |
fillFeatureInstance(Feature feature,
FeatureInstance fi,
boolean inverse)
|
SystemInstance |
findSystemInstance(SystemImplementation si)
|
org.eclipse.emf.common.util.URI |
getInstanceModelURI(SystemImplementation si)
|
protected InstanceUtil.InstantiatedClassifier |
getInstantiatedClassifier(InstanceObject iobj,
int index)
|
SystemInstance |
getSystemInstance(SystemImplementation si)
|
protected void |
instantiateFeatures(ComponentInstance ci)
|
protected void |
instantiateSubcomponent(ComponentInstance parent,
ModalElement mm,
Subcomponent sub,
int index)
|
protected void |
instantiateSubcomponents(ComponentInstance ci,
ComponentImplementation impl)
|
protected void |
populateComponentInstance(ComponentInstance ci,
int index)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
NORMAL_SOM_NAME
public static final java.lang.String NORMAL_SOM_NAME
- See Also:
- Constant Field Values
InstantiateModel
public InstantiateModel(org.eclipse.core.runtime.IProgressMonitor pm,
AnalysisErrorReporterManager errMgr)
createSystemInstance
protected SystemInstance createSystemInstance(SystemImplementation si,
org.eclipse.emf.ecore.resource.Resource aadlResource)
createSystemInstanceInt
protected SystemInstance createSystemInstanceInt(SystemImplementation si,
org.eclipse.emf.ecore.resource.Resource aadlResource)
populateComponentInstance
protected void populateComponentInstance(ComponentInstance ci,
int index)
instantiateSubcomponents
protected void instantiateSubcomponents(ComponentInstance ci,
ComponentImplementation impl)
instantiateSubcomponent
protected void instantiateSubcomponent(ComponentInstance parent,
ModalElement mm,
Subcomponent sub,
int index)
instantiateFeatures
protected void instantiateFeatures(ComponentInstance ci)
fillFeatureInstance
protected void fillFeatureInstance(Feature feature,
FeatureInstance fi,
boolean inverse)
expandFeatureGroupInstance
protected void expandFeatureGroupInstance(Feature feature,
FeatureInstance fi,
boolean inverse)
getInstantiatedClassifier
protected InstanceUtil.InstantiatedClassifier getInstantiatedClassifier(InstanceObject iobj,
int index)
buildInstanceModelFile
public SystemInstance buildInstanceModelFile(SystemImplementation si)
getSystemInstance
public SystemInstance getSystemInstance(SystemImplementation si)
findSystemInstance
public SystemInstance findSystemInstance(SystemImplementation si)
getInstanceModelURI
public org.eclipse.emf.common.util.URI getInstanceModelURI(SystemImplementation si)
createSystemOperationModes
protected void createSystemOperationModes(SystemInstance root)
enumerateSystemOperationModes
protected void enumerateSystemOperationModes(SystemInstance root,
ComponentInstance[] instances)
enumerateSystemOperationModes
protected void enumerateSystemOperationModes(SystemInstance root,
ComponentInstance[] instances,
int currentInstance,
java.util.LinkedList<ComponentInstance> skipped,
java.util.LinkedList<ModeInstance> modeState)