| propertyExpressionResolver(BehaviorVariable, Property, PropertyExpression) |   | 19% | | 22% | 28 | 32 | 73 | 91 | 0 | 1 |
| behaviorVariableResolver() | | 64% | | 59% | 7 | 12 | 16 | 44 | 0 | 1 |
| behaviorComponentsUniquenessCheck() | | 79% | | 85% | 6 | 22 | 12 | 44 | 0 | 1 |
| propertySetpropertyReferenceResolver(DeclarativePropertyReference) | | 72% | | 75% | 5 | 13 | 11 | 40 | 0 | 1 |
| propertyNameResolver(EList) | | 70% | | 55% | 14 | 21 | 14 | 46 | 0 | 1 |
| parentComponentIdentifiersUniquenessCheck() | | 73% | | 80% | 4 | 11 | 12 | 36 | 0 | 1 |
| structOrUnionOrArrayIdResolver(Identifier, DataClassifier, boolean) | | 67% | | 35% | 9 | 11 | 9 | 34 | 0 | 1 |
| getBasicPropertyResolver(BehaviorVariable, Property, String) | | 0% | | 0% | 4 | 4 | 9 | 9 | 1 | 1 |
| propertyFieldListIndexResolver(int, ListValue, int, DeclarativePropertyName) | | 34% | | 50% | 2 | 3 | 6 | 11 | 0 | 1 |
| recordFieldResolver(RecordType, DeclarativePropertyName) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| propertyIndexResolver(DeclarativePropertyName) | | 64% | | 58% | 4 | 7 | 7 | 20 | 0 | 1 |
| reportDuplicateNameError(BehaviorElement, NamedElement) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| classifierFeaturePropertyReferenceResolver(DeclarativePropertyReference) | | 79% | | 65% | 7 | 11 | 5 | 31 | 0 | 1 |
| getPropertyDeclaration(Element) | | 48% | | 62% | 2 | 5 | 5 | 11 | 0 | 1 |
| timeUnitResolver(Identifier) | | 52% | | 50% | 2 | 3 | 5 | 14 | 0 | 1 |
| unitResolver(NumberValue, BehaviorVariable, Property) | | 63% | | 50% | 2 | 3 | 4 | 15 | 0 | 1 |
| propertyTypeResolver(PropertyType, DeclarativePropertyName) | | 72% | | 62% | 3 | 6 | 6 | 16 | 0 | 1 |
| featureNameUniquenessCheck(IterativeVariable) | | 46% | | 50% | 1 | 2 | 2 | 6 | 0 | 1 |
| behaviorVariableNameUniquenessCheck(IterativeVariable) | | 46% | | 50% | 1 | 2 | 2 | 6 | 0 | 1 |
| iterativeVariableUniquenessWithinScopeHandler(IterativeVariable) | | 44% | | 50% | 1 | 2 | 2 | 5 | 0 | 1 |
| propertyFieldListValueResolver(IntegerValue, ListValue, int, DeclarativePropertyName) | | 60% | | 50% | 1 | 2 | 3 | 7 | 0 | 1 |
| propertyFieldIndexResolver(Element, IntegerValue, BasicProperty, int, DeclarativePropertyName) | | 81% | | 60% | 4 | 6 | 4 | 14 | 0 | 1 |
| propertyFieldResolution(DeclarativePropertyName) | | 68% | | 50% | 1 | 2 | 3 | 9 | 0 | 1 |
| refResolver(Classifier, Reference) | | 93% | | 95% | 1 | 12 | 3 | 35 | 0 | 1 |
| resolveProperty(QualifiedNamedElement) | | 77% | | 50% | 2 | 3 | 1 | 7 | 0 | 1 |
| propertyAssociationResolver(PropertyAssociation, DeclarativePropertyName) | | 85% | | 50% | 1 | 2 | 3 | 11 | 0 | 1 |
| iterativeVariableScopeCheck(Identifier, boolean) | | 78% | | 75% | 1 | 3 | 1 | 7 | 0 | 1 |
| identifierBaResolver(Identifier, boolean) | | 78% | | 83% | 1 | 4 | 1 | 7 | 0 | 1 |
| featurePrototypeResolver(Identifier, Classifier, boolean) | | 87% | | 83% | 1 | 4 | 1 | 12 | 0 | 1 |
| baVariableResolver(Identifier, boolean) | | 82% | | 75% | 1 | 3 | 1 | 8 | 0 | 1 |
| featureResolver(Classifier, Identifier, boolean) | | 81% | | 75% | 1 | 3 | 1 | 8 | 0 | 1 |
| subcomponentIdResolver(Identifier, Classifier, boolean) | | 81% | | 75% | 1 | 3 | 1 | 8 | 0 | 1 |
| propertyDeclarationResolver(Property, DeclarativePropertyName) | | 90% | | 100% | 0 | 3 | 2 | 12 | 0 | 1 |
| propertyValueResolver(PropertyExpression, DeclarativePropertyName) | | 87% | | 100% | 0 | 2 | 2 | 9 | 0 | 1 |
| propertyReferenceResolver(DeclarativePropertyReference) | | 98% | | 93% | 1 | 9 | 1 | 26 | 0 | 1 |
| enumerationTypeResolver(EnumerationType, DeclarativePropertyName) | | 93% | | 75% | 1 | 3 | 1 | 7 | 0 | 1 |
| classifierPropertyReferenceResolver(DeclarativePropertyReference, boolean) | | 98% | | 83% | 1 | 4 | 0 | 11 | 0 | 1 |
| communicationActionResolver(CommAction) | | 100% | | 100% | 0 | 11 | 0 | 42 | 0 | 1 |
| qualifiedNamedElementResolver(QualifiedNamedElement, boolean) | | 100% | | 95% | 1 | 12 | 0 | 27 | 0 | 1 |
| behaviorActionResolver(BehaviorAction) | | 100% | | 100% | 0 | 5 | 0 | 25 | 0 | 1 |
| behaviorTransitionResolver() | | 100% | | 100% | 0 | 7 | 0 | 19 | 0 | 1 |
| valueExpressionResolver(ValueExpression) | | 100% | | 100% | 0 | 8 | 0 | 18 | 0 | 1 |
| identifierComponentResolver(Identifier, Classifier, boolean) | | 100% | | 90% | 1 | 6 | 0 | 11 | 0 | 1 |
| timedActionResolver(TimedAction) | | 100% | | 100% | 0 | 4 | 0 | 7 | 0 | 1 |
| ifStatementResolver(IfStatement) | | 100% | | 100% | 0 | 3 | 0 | 10 | 0 | 1 |
| transSrcStateResolver(DeclarativeBehaviorTransition) | | 100% | | 100% | 0 | 3 | 0 | 10 | 0 | 1 |
| modeSwitchTriggerLogicalExpression(ModeSwitchTriggerLogicalExpression) | | 100% | | 100% | 0 | 3 | 0 | 6 | 0 | 1 |
| dispatchTriggerLogicalExpressionResolver(DispatchTriggerLogicalExpression) | | 100% | | 100% | 0 | 3 | 0 | 6 | 0 | 1 |
| dispatchConditionResolver(DispatchCondition) | | 100% | | 100% | 0 | 4 | 0 | 8 | 0 | 1 |
| behaviorActionsResolver(BehaviorActions) | | 100% | | 100% | 0 | 3 | 0 | 7 | 0 | 1 |
| behaviorTimeResolver(DeclarativeTime) | | 100% | | 100% | 0 | 3 | 0 | 7 | 0 | 1 |
| transDestStateResolver(DeclarativeBehaviorTransition) | | 100% | | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| dispatchTriggerConditionResolver(DispatchTriggerCondition) | | 100% | | 100% | 0 | 3 | 0 | 8 | 0 | 1 |
| propertyIndexAndFieldResolution(DeclarativePropertyName) | | 100% | | 100% | 0 | 4 | 0 | 7 | 0 | 1 |
| AadlBaNameResolver(BehaviorAnnex, AnalysisErrorReporterManager) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| assignmentActionResolver(AssignmentAction) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| subprogramParameterListResolver(EList) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| valueResolver(Value) | | 100% | | 100% | 0 | 3 | 0 | 5 | 0 | 1 |
| basicActionResolver(BasicAction) | | 100% | | 100% | 0 | 3 | 0 | 5 | 0 | 1 |
| behaviorActionBlockResolver(BehaviorActionBlock) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| iterativeVariableUniquenessCheck(IterativeVariable) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| resolveNames() | | 100% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| valueVariableResolver(BehaviorElement, ValueVariable) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| integerRangeResolver(IntegerRange) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| reportNameError(BehaviorElement, String) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| elementValuesResolver(ElementValues) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| integerValueResolver(IntegerValue) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| valueConstantResolver(ValueConstant) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| refResolver(Reference) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| integerValueVariableResolver(IntegerValueVariable) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| targetResolver(Target) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| integerValueConstantResolver(IntegerValueConstant) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |