Fixes #129

Only check for subcomponents that have error states as to whether they
are included in the composite state declaration.

org.osate.aadl2.errormodel.analysis/src/org/osate/aadl2/errormodel/analysis/actions/ConsistencyAction.java

@@ -691,14 +691,18 @@ protected void checkComponent(ComponentInstance componentInstance, AnalysisModel
 
 					for (ComponentInstance ci : componentInstance.getComponentInstances()) {
 						boolean found = false;
-						for (Subcomponent s : subcomponents) {
-							if (s == ci.getSubcomponent()) {
-								found = true;
+						if (EMV2Util.hasComponentErrorBehaviorStates(ci)) {
+							for (Subcomponent s : subcomponents) {
+								if (s == ci.getSubcomponent()) {
+									found = true;
+								}
+							}
+							if (!found) {
+								error(componentInstance,
+										"C12: component " + ci.getName() + " is not referenced for state "
+												+ EMV2Util.getPrintName(ebs) + " in component "
+												+ componentInstance.getName());
 							}
-						}
-						if (!found) {
-							error(componentInstance, "C12: component " + ci.getName() + " is not referenced for state "
-									+ EMV2Util.getPrintName(ebs) + " in component " + componentInstance.getName());
 						}
 					}
 				}