edu.cmu.sei.aadl.instance
Class CheckInstanceSemanticsSwitch

java.lang.Object
  extended by edu.cmu.sei.aadl.model.util.ForAllAObject
      extended by edu.cmu.sei.aadl.model.util.AadlProcessingSwitch
          extended by edu.cmu.sei.aadl.instance.CheckInstanceSemanticsSwitch

public class CheckInstanceSemanticsSwitch
extends AadlProcessingSwitch

Should only be invoked from within an iteration of the system operation modes

Should only be invoked with ForAllAObject.processPostOrderAll(edu.cmu.sei.aadl.model.core.AObject)


Field Summary
 
Fields inherited from class edu.cmu.sei.aadl.model.util.AadlProcessingSwitch
componentSwitch, connectionSwitch, copyright, coreSwitch, DONE, featureSwitch, flowSwitch, INSTANCE, instanceSwitch, NOT_DONE, propertySwitch, self
 
Fields inherited from class edu.cmu.sei.aadl.model.util.ForAllAObject
DEFAULT_DEFAULT_TRAVERSAL, NO_DEFAULT, PROCESS_BOTTOM_UP_COMPONENT_IMPL, PROCESS_POST_ORDER_ALL, PROCESS_PRE_ORDER_ALL, PROCESS_TOP_DOWN_COMPONENT_CLASSIFIER, PROCESS_TOP_DOWN_COMPONENT_IMPL, resultList
 
Constructor Summary
CheckInstanceSemanticsSwitch(SystemOperationMode som, java.util.Map bindings, edu.cmu.sei.aadl.instance.SCProperties scp, AnalysisErrorReporterManager errMgr)
           
 
Method Summary
protected  void initSwitches()
          Subclasses override this method to set the switch fields AadlProcessingSwitch.coreSwitch,AadlProcessingSwitch.componentSwitch, AadlProcessingSwitch.connectionSwitch,AadlProcessingSwitch.featureSwitch,AadlProcessingSwitch.flowSwitch, AadlProcessingSwitch.instanceSwitch, and AadlProcessingSwitch.propertySwitchto analysis-specific switch implementations.
 
Methods inherited from class edu.cmu.sei.aadl.model.util.AadlProcessingSwitch
getComponentSwitch, getConnectionSwitch, getCoreSwitch, getFeatureSwitch, getFlowSwitch, getInstanceSwitch, getPropertySwitch, process
 
Methods inherited from class edu.cmu.sei.aadl.model.util.ForAllAObject
action, cancelled, cancelTraversal, defaultTraversal, defaultTraversal, defaultTraversalAllDeclarativeModels, defaultTraversalAllInstances, error, error, getErrorManager, getResultList, info, info, internalError, internalError, notCancelled, processAllComponentImpl, processBottomUpComponentImpl, processBottomUpComponentImpl, processEList, processObject, processPostOrderAll, processPostOrderAll, processPostOrderAll, processPostOrderAllDeclarativeModels, processPostOrderAllInstances, processPostOrderComponentInstance, processPostOrderComponentInstance, processPreOrderAll, processPreOrderAll, processPreOrderAll, processPreOrderAllDeclarativeModels, processPreOrderAllInstances, processPreOrderComponentInstance, processPreOrderComponentInstance, processResources, processResources, processResourcesIgnoreFailure, processTopDownComponentClassifier, processTopDownComponentClassifierAllDeclarativeModels, processTopDownComponentImpl, processTopDownComponentImpl, processTree, processTreeIgnoreFailure, suchThat, warning, warning
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CheckInstanceSemanticsSwitch

public CheckInstanceSemanticsSwitch(SystemOperationMode som,
                                    java.util.Map bindings,
                                    edu.cmu.sei.aadl.instance.SCProperties scp,
                                    AnalysisErrorReporterManager errMgr)
Method Detail

initSwitches

protected final void initSwitches()
Description copied from class: AadlProcessingSwitch
Subclasses override this method to set the switch fields AadlProcessingSwitch.coreSwitch,AadlProcessingSwitch.componentSwitch, AadlProcessingSwitch.connectionSwitch,AadlProcessingSwitch.featureSwitch,AadlProcessingSwitch.flowSwitch, AadlProcessingSwitch.instanceSwitch, and AadlProcessingSwitch.propertySwitchto analysis-specific switch implementations. Implementaions should take care, however, as this method is invoked by the constructor AadlProcessingSwitch.AadlProcessingSwitch(). Only the switches that are actually needed need to be initialized, as the switch fields are previously inialized to default do-nothing switch implementations.

Specified by:
initSwitches in class AadlProcessingSwitch