edu.cmu.sei.aadl.instance
Class CheckInstanceSemanticsSwitch

java.lang.Object
  extended by edu.cmu.sei.aadl.modelsupport.modeltraversal.ForAllElement
      extended by edu.cmu.sei.aadl.modelsupport.modeltraversal.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 edu.cmu.sei.aadl.model.util.ForAllAObject#processPostOrderAll(edu.cmu.sei.aadl.model.core.AObject)


Field Summary
 
Fields inherited from class edu.cmu.sei.aadl.modelsupport.modeltraversal.AadlProcessingSwitch
aadl2Switch, copyright, DONE, INSTANCE, instanceSwitch, NOT_DONE
 
Fields inherited from class edu.cmu.sei.aadl.modelsupport.modeltraversal.ForAllElement
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()
           
 
Method Summary
protected  void initSwitches()
          Subclasses override this method to set the switch fields #coreSwitch,#componentSwitch, #connectionSwitch,#featureSwitch,#flowSwitch, AadlProcessingSwitch.instanceSwitch, and #propertySwitchto analysis-specific switch implementations.
 
Methods inherited from class edu.cmu.sei.aadl.modelsupport.modeltraversal.AadlProcessingSwitch
getAadl2Switch, getInstanceSwitch, process
 
Methods inherited from class edu.cmu.sei.aadl.modelsupport.modeltraversal.ForAllElement
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()
Method Detail

initSwitches

protected final void initSwitches()
Description copied from class: AadlProcessingSwitch
Subclasses override this method to set the switch fields #coreSwitch,#componentSwitch, #connectionSwitch,#featureSwitch,#flowSwitch, AadlProcessingSwitch.instanceSwitch, and #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