edu.cmu.sei.aadl.instance
Class CheckInstancePropertiesSwitch

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.CheckInstancePropertiesSwitch

public class CheckInstancePropertiesSwitch
extends AadlProcessingSwitch

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 XXX: Not currently used. Need to figure out if we should do these checks at all.

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
CheckInstancePropertiesSwitch(AnalysisErrorReporterManager errManager)
           
 
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

CheckInstancePropertiesSwitch

public CheckInstancePropertiesSwitch(AnalysisErrorReporterManager errManager)
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