edu.cmu.sei.aadl.instance
Class InstantiateModel

java.lang.Object
  extended by 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

Field Summary
static java.lang.String NORMAL_SOM_NAME
           
 
Constructor Summary
InstantiateModel(org.eclipse.core.runtime.IProgressMonitor pm, AnalysisErrorReporterManager errMgr)
           
 
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
 

Field Detail

NORMAL_SOM_NAME

public static final java.lang.String NORMAL_SOM_NAME
See Also:
Constant Field Values
Constructor Detail

InstantiateModel

public InstantiateModel(org.eclipse.core.runtime.IProgressMonitor pm,
                        AnalysisErrorReporterManager errMgr)
Method Detail

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)