| checkFlowImplementationModeCompatibilityWithRefinedFlowSegments(ComponentImplementation) |   | 18% | | 25% | 24 | 31 | 60 | 77 | 0 | 1 |
| checkFlowSegmentModes(FlowImplementation) | | 10% | | 19% | 15 | 19 | 42 | 51 | 0 | 1 |
| checkDirectionOfFeatureGroupMembers(Connection) | | 44% | | 48% | 24 | 38 | 53 | 103 | 0 | 1 |
| checkNumberType(NumberType) | | 3% | | 3% | 16 | 17 | 42 | 45 | 0 | 1 |
| checkFeatureGroupConnectionClassifiers(Connection) | | 46% | | 60% | 16 | 25 | 38 | 84 | 0 | 1 |
| checkParameterConnectionClassifiers(Connection) | | 42% | | 50% | 14 | 24 | 32 | 61 | 0 | 1 |
| checkAccessConnectionClassifiers(Connection) | | 54% | | 61% | 15 | 32 | 35 | 84 | 0 | 1 |
| checkFeatureConnectionClassifiers(FeatureConnection) | | 45% | | 45% | 14 | 22 | 31 | 60 | 0 | 1 |
| checkPortConnectionClassifiers(Connection) | | 53% | | 62% | 16 | 34 | 27 | 64 | 0 | 1 |
| checkWithsAreUsed(PackageSection) | | 50% | | 50% | 15 | 25 | 35 | 72 | 0 | 1 |
| checkIfFeatureGroupTypesAreSiblingSubsets(ConnectedElement, FeatureGroupType, ConnectedElement, FeatureGroupType, boolean) | | 44% | | 28% | 33 | 38 | 39 | 67 | 0 | 1 |
| checkPortConnectionEnds(Connection) | | 38% | | 54% | 20 | 32 | 24 | 40 | 0 | 1 |
| checkFeatureGroupConnectionDirection(Connection) | | 62% | | 79% | 9 | 23 | 18 | 67 | 0 | 1 |
| checkNestedEndToEndFlows(EndToEndFlow) | | 47% | | 47% | 13 | 18 | 27 | 52 | 0 | 1 |
| checkWithsAreUsed(PropertySet) | | 39% | | 70% | 6 | 11 | 21 | 38 | 0 | 1 |
| checkConnectionDirection(Connection) | | 59% | | 80% | 11 | 34 | 13 | 46 | 0 | 1 |
| checkForInheritedFlowsAndModesFromAbstractType(DataType) | | 30% | | 31% | 8 | 9 | 15 | 27 | 0 | 1 |
| checkEndToEndFlowSegments(EndToEndFlow) | | 44% | | 73% | 6 | 13 | 15 | 25 | 0 | 1 |
| checkFeaturesOfExtendedAbstractType(ComponentType) | | 58% | | 71% | 11 | 20 | 15 | 47 | 0 | 1 |
| classifiersFoundInSupportedClassifierEquivalenceMatchesProperty(Connection, Classifier, Classifier) | | 0% | | 0% | 12 | 12 | 18 | 18 | 1 | 1 |
| classifiersFoundInSupportedClassifierComplementMatchesProperty(FeatureGroupConnection, FeatureGroupType, FeatureGroupType) | | 0% | | 0% | 12 | 12 | 18 | 18 | 1 | 1 |
| checkFlowConnectionEnds(FlowImplementation) | | 89% | | 75% | 24 | 58 | 27 | 165 | 0 | 1 |
| classifiersFoundInSupportedClassifierSubsetMatchesProperty(Connection, Classifier, Classifier) | | 0% | | 0% | 10 | 10 | 17 | 17 | 1 | 1 |
| classifiersFoundInSupportedTypeConversionsProperty(Connection, Classifier, Classifier) | | 0% | | 0% | 10 | 10 | 17 | 17 | 1 | 1 |
| checkComponentImplementationUniqueNames(ComponentImplementation) | | 86% | | 87% | 9 | 36 | 10 | 91 | 0 | 1 |
| checkForInheritedFeatureArrays(ComponentType) | | 23% | | 41% | 5 | 7 | 9 | 16 | 0 | 1 |
| checkDirectionOfRefinedFeaturePrototype(FeaturePrototype) | | 5% | | 8% | 6 | 7 | 13 | 15 | 0 | 1 |
| checkComponentPrototypeActualComponentCategory(ComponentPrototypeActual) | | 29% | | 50% | 5 | 7 | 11 | 18 | 0 | 1 |
| checkAbstractFeatureAndPrototypeDirectionConsistency(AbstractFeature) | | 6% | | 16% | 3 | 4 | 12 | 14 | 0 | 1 |
| checkEndToEndFlowModes(EndToEndFlow) | | 58% | | 59% | 7 | 12 | 7 | 26 | 0 | 1 |
| findFirstArraySizeNodeEqualToSize(ICompositeNode, long) | | 0% | | 0% | 9 | 9 | 19 | 19 | 1 | 1 |
| removeOverridenFlowImplementations(EList) | | 22% | | 8% | 6 | 7 | 11 | 15 | 0 | 1 |
| checkComponentTypeRenameCategory(ComponentTypeRename) | | 18% | | 50% | 2 | 3 | 7 | 10 | 0 | 1 |
| checkAccessConnectionCategory(AccessConnection) | | 67% | | 91% | 3 | 19 | 7 | 42 | 0 | 1 |
| checkRealizationCategory(Realization) | | 24% | | 50% | 2 | 3 | 6 | 11 | 0 | 1 |
| checkComponentPrototypeCategory(ComponentPrototype) | | 17% | | 75% | 1 | 3 | 6 | 9 | 0 | 1 |
| checkForDuplicateModelUnits(ModelUnit) | | 30% | | 16% | 3 | 4 | 13 | 19 | 0 | 1 |
| checkAccessConnectionProvidesRequires(Connection) | | 81% | | 89% | 10 | 47 | 12 | 69 | 0 | 1 |
| checkSubcomponentsOfExtendedAbstractImplementation(ComponentImplementation) | | 69% | | 71% | 11 | 20 | 14 | 47 | 0 | 1 |
| isInverseOfInExtends(FeatureGroupType, FeatureGroupType) | | 0% | | 0% | 7 | 7 | 15 | 15 | 1 | 1 |
| checkForInheritedConnectionsFlowsAndCallsFromAbstractImplementation(BusImplementation) | | 36% | | 30% | 10 | 11 | 18 | 30 | 0 | 1 |
| checkForInheritedConnectionsFlowsAndCallsFromAbstractImplementation(VirtualBusImplementation) | | 36% | | 30% | 10 | 11 | 18 | 30 | 0 | 1 |
| checkForInheritedFlowsAndModesFromAbstractImplementation(DataImplementation) | | 36% | | 30% | 10 | 11 | 18 | 30 | 0 | 1 |
| checkForAccessTypeInAccessRefinement(Access) | | 21% | | 75% | 1 | 3 | 8 | 11 | 0 | 1 |
| checkIncomingFeatureDirection(Feature, FlowEnd, boolean, boolean) | | 72% | | 72% | 10 | 23 | 10 | 36 | 0 | 1 |
| checkConsistentFlowKind(FlowImplementation) | | 27% | | 50% | 3 | 4 | 4 | 10 | 0 | 1 |
| checkTypeExtensionCategory(TypeExtension) | | 20% | | 50% | 1 | 2 | 5 | 9 | 0 | 1 |
| checkImplementationExtensionCategory(ImplementationExtension) | | 20% | | 50% | 1 | 2 | 5 | 9 | 0 | 1 |
| getFGTforPrototype(FeatureType) | | 0% | | 0% | 6 | 6 | 12 | 12 | 1 | 1 |
| checkForInheritedFlowsFromAbstractType(MemoryType) | | 25% | | 37% | 4 | 5 | 8 | 14 | 0 | 1 |
| checkForInheritedFlowsFromAbstractType(BusType) | | 25% | | 37% | 4 | 5 | 8 | 14 | 0 | 1 |
| checkForInheritedFlowsFromAbstractType(VirtualBusType) | | 25% | | 37% | 4 | 5 | 8 | 14 | 0 | 1 |
| checkEndId(Classifier) | | 47% | | 66% | 2 | 4 | 5 | 18 | 0 | 1 |
| isDataSubset(Classifier, Classifier) | | 0% | | 0% | 6 | 6 | 7 | 7 | 1 | 1 |
| checkEndId(ModelUnit) | | 42% | | 50% | 1 | 2 | 4 | 14 | 0 | 1 |
| resolveCompositeNodeToList(ICompositeNode) | | 0% | | 0% | 5 | 5 | 12 | 12 | 1 | 1 |
| checkForDuplicatePropertyAssociations(NamedElement) | | 76% | | 76% | 5 | 14 | 5 | 28 | 0 | 1 |
| checkOutgoingFeatureDirection(Feature, FlowEnd, boolean, boolean) | | 75% | | 78% | 7 | 22 | 7 | 35 | 0 | 1 |
| checkCategoryOfRefinedComponentPrototype(ComponentPrototype) | | 36% | | 75% | 2 | 5 | 6 | 12 | 0 | 1 |
| checkAadlinteger(AadlInteger) | | 13% | | 12% | 4 | 5 | 6 | 9 | 0 | 1 |
| isCircularExtension(FeatureGroupType) | | 0% | | 0% | 5 | 5 | 11 | 11 | 1 | 1 |
| checkForInheritedFlowsAndCallSequenceFromAbstractImplementation(MemoryImplementation) | | 38% | | 31% | 8 | 9 | 14 | 24 | 0 | 1 |
| containsFeatureArrays(FeatureGroupType) | | 0% | | 0% | 6 | 6 | 10 | 10 | 1 | 1 |
| checkComponentPrototypeBindingCategory(ComponentPrototypeBinding) | | 45% | | 75% | 2 | 5 | 6 | 12 | 0 | 1 |
| checkSubcomponentRefinementCategory(Subcomponent) | | 34% | | 83% | 1 | 4 | 5 | 10 | 0 | 1 |
| checkComponentTypeUniqueNames(ComponentType) | | 87% | | 57% | 20 | 35 | 9 | 51 | 0 | 1 |
| checkFeatureGroupTypeUniqueNames(FeatureGroupType) | | 84% | | 56% | 18 | 32 | 9 | 41 | 0 | 1 |
| checkFeatureDirectionInRefinement(DirectedFeature) | | 46% | | 70% | 3 | 6 | 5 | 11 | 0 | 1 |
| caseEnumerationType(EnumerationType) | | 23% | | 25% | 2 | 3 | 3 | 7 | 0 | 1 |
| checkComponentImplementationInPackageSection(ComponentImplementation) | | 23% | | 16% | 6 | 7 | 7 | 10 | 0 | 1 |
| checkForInheritedCallSequenceFromAbstractImplementation(VirtualProcessorImplementation) | | 0% | | 0% | 5 | 5 | 12 | 12 | 1 | 1 |
| checkFlowFeatureType(FlowEnd) | | 66% | | 75% | 6 | 15 | 4 | 16 | 0 | 1 |
| getFeatureType(Feature) | | 76% | | 59% | 17 | 28 | 11 | 38 | 0 | 1 |
| checkClassifierSubstitutionMatch(NamedElement, Classifier, Classifier) | | 54% | | 40% | 4 | 6 | 4 | 14 | 0 | 1 |
| getSelfPlusAncestors(Classifier) | | 0% | | 0% | 3 | 3 | 8 | 8 | 1 | 1 |
| applyTest(EObject, List) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| checkFeaturePrototypeBindingDirection(FeaturePrototypeBinding) | | 56% | | 57% | 6 | 8 | 7 | 15 | 0 | 1 |
| containsNonSubprogramFeatures(FeatureGroupType) | | 49% | | 27% | 9 | 12 | 6 | 13 | 0 | 1 |
| containsNonSubprogramGroupFeatures(FeatureGroupType) | | 34% | | 14% | 7 | 8 | 7 | 11 | 0 | 1 |
| checkForAddedDirectionInAbstractFeatureRefinement(AbstractFeature) | | 40% | | 40% | 4 | 6 | 6 | 12 | 0 | 1 |
| findSubcomponentRefinement(Subcomponent, ArrayList) | | 0% | | 0% | 4 | 4 | 6 | 6 | 1 | 1 |
| findConnectionRefinement(Connection, ArrayList) | | 0% | | 0% | 4 | 4 | 6 | 6 | 1 | 1 |
| getImplementedClassifiersWithElement(ComponentImplementation, NamedElement) | | 68% | | 62% | 4 | 9 | 5 | 18 | 0 | 1 |
| checkForAddedPrototypeOrClassifierInAbstractFeatureRefinement(AbstractFeature) | | 40% | | 40% | 4 | 6 | 5 | 10 | 0 | 1 |
| lambda$15(Property, Subcomponent) | | 0% | | 0% | 2 | 2 | 8 | 8 | 1 | 1 |
| checkTypeOfFeatureRefinement(Feature) | | 41% | | 83% | 1 | 4 | 2 | 6 | 0 | 1 |
| caseUnitsType(UnitsType) | | 29% | | 25% | 2 | 3 | 2 | 6 | 0 | 1 |
| postRefineableErrorWithFix(NamedElement, NamedElement) | | 80% | | 20% | 5 | 6 | 5 | 21 | 0 | 1 |
| checkRefinedFeatureAsTransitionTrigger(Feature) | | 56% | | 87% | 1 | 5 | 3 | 11 | 0 | 1 |
| checkProvidesAccessOnly(SubprogramAccess) | | 36% | | 37% | 4 | 5 | 3 | 6 | 0 | 1 |
| checkProvidesAccessOnly(SubprogramGroupAccess) | | 36% | | 37% | 4 | 5 | 3 | 6 | 0 | 1 |
| areConnected(ConnectedElement, ConnectedElement) | | 51% | | 37% | 6 | 9 | 4 | 9 | 0 | 1 |
| checkExtensionAndRealizationHierarchy(ImplementationExtension) | | 68% | | 78% | 3 | 8 | 4 | 19 | 0 | 1 |
| isSameInExtends(FeatureGroupType, FeatureGroupType) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| checkModeSpecificFlowImplementations(ComponentImplementation) | | 82% | | 87% | 2 | 9 | 2 | 22 | 0 | 1 |
| containsNamedElement(String, EList) | | 0% | | 0% | 3 | 3 | 4 | 4 | 1 | 1 |
| checkRequiresAccessOnly(DataAccess) | | 40% | | 75% | 1 | 3 | 2 | 6 | 0 | 1 |
| checkRequiresAccessOnly(SubprogramAccess) | | 40% | | 75% | 1 | 3 | 2 | 6 | 0 | 1 |
| checkRequiresAccessOnly(SubprogramGroupAccess) | | 40% | | 75% | 1 | 3 | 2 | 6 | 0 | 1 |
| checkRefinedOfFeatureGroupPrototype(FeatureGroupPrototype) | | 18% | | 25% | 2 | 3 | 1 | 3 | 0 | 1 |
| checkRefinedOfFeaturePrototype(FeaturePrototype) | | 18% | | 25% | 2 | 3 | 1 | 3 | 0 | 1 |
| testIfFeatureGroupTypeExtension(FeatureGroupType, FeatureGroupType) | | 0% | | 0% | 4 | 4 | 5 | 5 | 1 | 1 |
| checkForInheritedCallSequenceFromAbstractImplementation(ThreadGroupImplementation) | | 50% | | 37% | 4 | 5 | 6 | 12 | 0 | 1 |
| checkForInheritedCallSequenceFromAbstractImplementation(ProcessorImplementation) | | 50% | | 37% | 4 | 5 | 6 | 12 | 0 | 1 |
| checkForInheritedCallsFromAbstractImplementation(DeviceImplementation) | | 50% | | 37% | 4 | 5 | 6 | 12 | 0 | 1 |
| checkFormalOfComponentPrototypeBinding(ComponentPrototypeBinding) | | 42% | | 50% | 2 | 3 | 1 | 4 | 0 | 1 |
| checkFormalOfFeatureGroupPrototypeBinding(FeatureGroupPrototypeBinding) | | 25% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| checkFormalOfFeaturePrototypeBinding(FeaturePrototypeBinding) | | 25% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| checkSubcomponentImplementationReferenceList(Subcomponent) | | 92% | | 69% | 10 | 19 | 6 | 47 | 0 | 1 |
| checkFeatureConnectionFeatureGroupToFeatureOrAbstract(Connection) | | 57% | | 41% | 5 | 7 | 5 | 11 | 0 | 1 |
| checkRefinedOfComponentPrototype(ComponentPrototype) | | 36% | | 75% | 1 | 3 | 1 | 3 | 0 | 1 |
| testIfFeatureGroupTypesAreIdentical(FeatureGroup, FeatureGroupType, FeatureGroup, FeatureGroupType) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| checkIfFeatureGroupTypesAreUpAndDownSubsets(ConnectedElement, FeatureGroupType, ConnectedElement, FeatureGroupType) | | 89% | | 61% | 10 | 14 | 5 | 27 | 0 | 1 |
| checkDottedNameUsage(FlowImplementation) | | 69% | | 50% | 5 | 6 | 5 | 9 | 0 | 1 |
| getNextNode(INode) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| checkArrayOfRefinedComponentPrototype(ComponentPrototype) | | 57% | | 50% | 3 | 5 | 2 | 6 | 0 | 1 |
| caseRangeType(RangeType) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| checkFeatureGroupChaining(Connection) | | 79% | | 71% | 4 | 8 | 4 | 12 | 0 | 1 |
| lambda$24(ModelUnit, IEObjectDescription) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| checkArraySizeIsAadlintegerNoUnits(ArraySize) | | 81% | | 68% | 5 | 9 | 5 | 19 | 0 | 1 |
| checkSubcomponentCategory(Subcomponent) | | 76% | | 80% | 2 | 6 | 4 | 13 | 0 | 1 |
| checkLegalFeatureGroup(FeatureGroup) | | 68% | | 75% | 2 | 5 | 4 | 10 | 0 | 1 |
| checkForArraysInRefinedFeature(Feature) | | 47% | | 50% | 2 | 4 | 3 | 5 | 0 | 1 |
| getSizesForSubcomponents(DataImplementation, Property) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| checkOutFeatureIdentifier(FlowImplementation) | | 95% | | 76% | 8 | 18 | 7 | 36 | 0 | 1 |
| checkInFeatureIdentifier(FlowImplementation) | | 95% | | 76% | 8 | 18 | 7 | 35 | 0 | 1 |
| checkForInverseInFeatureGroupTypeExtension(GroupExtension) | | 63% | | 75% | 1 | 3 | 2 | 6 | 0 | 1 |
| checkForExtendingAnInverseFeatureGroupType(GroupExtension) | | 57% | | 75% | 1 | 3 | 3 | 6 | 0 | 1 |
| checkForChainedInverseFeatureGroupTypes(FeatureGroupType) | | 50% | | 75% | 1 | 3 | 3 | 5 | 0 | 1 |
| lambda$17(Feature, ModeTransitionTrigger) | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| checkBusAccessPrototypeReference(BusAccess) | | 46% | | 25% | 2 | 3 | 1 | 4 | 0 | 1 |
| lambda$25(IEObjectDescription) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| caseFeatureGroupTypeRename(FeatureGroupTypeRename) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| checkFeaturesInInverseFeatureGroupType(FeatureGroupType) | | 94% | | 94% | 1 | 10 | 2 | 25 | 0 | 1 |
| checkAppliesTo(Property) | | 83% | | 62% | 3 | 5 | 1 | 6 | 0 | 1 |
| caseNumberType(NumberType) | | 64% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| nodeSearchString(String) | | 61% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| checkFlowConnectionOrder(FlowImplementation) | | 97% | | 83% | 6 | 19 | 1 | 38 | 0 | 1 |
| isSubcomponentCircularDependency(ComponentClassifier, Classifier, List) | | 92% | | 85% | 2 | 8 | 2 | 16 | 0 | 1 |
| getFeatures(FeatureGroupType) | | 91% | | 83% | 1 | 4 | 1 | 10 | 0 | 1 |
| checkExtendCycles(Classifier) | | 89% | | 83% | 1 | 4 | 1 | 9 | 0 | 1 |
| checkForAbstractFeatureDirectionInAccessRefinement(Access) | | 75% | | 75% | 1 | 3 | 1 | 4 | 0 | 1 |
| checkSubprogramAccessPrototypeReference(SubprogramAccess) | | 71% | | 75% | 1 | 3 | 1 | 4 | 0 | 1 |
| checkSubprogramGroupAccessPrototypeReference(SubprogramGroupAccess) | | 69% | | 75% | 1 | 3 | 2 | 5 | 0 | 1 |
| checkDataAccessPrototypeReference(DataAccess) | | 69% | | 75% | 1 | 3 | 1 | 4 | 0 | 1 |
| checkDefiningID(Connection) | | 69% | | 50% | 2 | 3 | 1 | 4 | 0 | 1 |
| caseVirtualProcessorImplementation(VirtualProcessorImplementation) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$16(ModeTransition) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| checkReferencesToInternalFeatures(Connection) | | 97% | | 79% | 5 | 13 | 1 | 30 | 0 | 1 |
| testIfFeatureGroupsAreInverses(ConnectedElement, ConnectedElement) | | 95% | | 91% | 1 | 7 | 1 | 13 | 0 | 1 |
| lambda$14(Subcomponent) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| checkFlowConnectionEnds(EndToEndFlow) | | 99% | | 80% | 11 | 29 | 2 | 85 | 0 | 1 |
| checkSubcomponentsHierarchy(Subcomponent) | | 99% | | 92% | 3 | 20 | 2 | 49 | 0 | 1 |
| getClassifier(ConnectionEnd) | | 96% | | 87% | 1 | 5 | 1 | 9 | 0 | 1 |
| isOpposite(FlowEnd) | | 96% | | 87% | 2 | 9 | 0 | 9 | 0 | 1 |
| findFirstKeywordNodeEqualToString(ICompositeNode, String) | | 96% | | 85% | 2 | 8 | 1 | 17 | 0 | 1 |
| checkDirectionOfFeatureGroupMembers(FeatureGroup) | | 95% | | 87% | 1 | 5 | 0 | 11 | 0 | 1 |
| getRequiresModesNode(ComponentType) | | 93% | | 75% | 2 | 5 | 1 | 7 | 0 | 1 |
| sameDirection(DirectionType, DirectionType) | | 87% | | 62% | 3 | 5 | 0 | 2 | 0 | 1 |
| canExtend(ComponentType, ComponentType) | | 86% | | 66% | 2 | 4 | 0 | 1 | 0 | 1 |
| canExtend(ComponentImplementation, ComponentImplementation) | | 86% | | 66% | 2 | 4 | 0 | 2 | 0 | 1 |
| isReachDown(FlowEnd) | | 84% | | 83% | 1 | 4 | 0 | 1 | 0 | 1 |
| lambda$8(Mode) | | 71% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| typeCheckPortConnectionEnd(ConnectedElement) | | 99% | | 92% | 3 | 20 | 1 | 35 | 0 | 1 |
| typeCheckParameterConnectionEnd(ConnectedElement) | | 99% | | 89% | 3 | 15 | 1 | 34 | 0 | 1 |
| typeCheckFeatureConnectionEnd(ConnectedElement) | | 99% | | 83% | 4 | 13 | 1 | 27 | 0 | 1 |
| typeCheckAccessConnectionEnd(ConnectedElement) | | 99% | | 84% | 4 | 14 | 1 | 24 | 0 | 1 |
| typeCheckFeatureGroupConnectionEnd(ConnectedElement) | | 98% | | 83% | 3 | 10 | 1 | 21 | 0 | 1 |
| typeCheckModeTransitionTrigger(ModeTransitionTrigger) | | 98% | | 85% | 3 | 11 | 1 | 16 | 0 | 1 |
| caseFlowImplementation(FlowImplementation) | | 98% | | 90% | 1 | 6 | 1 | 15 | 0 | 1 |
| checkDirectionOfFeatureGroupMembers(List, DirectionType, Connection, EStructuralFeature) | | 97% | | 75% | 1 | 3 | 1 | 13 | 0 | 1 |
| caseFeatureGroupType(FeatureGroupType) | | 95% | | 50% | 1 | 2 | 1 | 8 | 0 | 1 |
| getLastLeaf(INode) | | 93% | | 75% | 1 | 3 | 0 | 4 | 0 | 1 |
| getConnectionSubcomponent(Connection, Context, ConnectionEnd) | | 92% | | 75% | 1 | 3 | 0 | 3 | 0 | 1 |
| static {...} | | 100% | | 100% | 0 | 28 | 0 | 224 | 0 | 1 |
| checkModalElementMissingModeValues(ModalElement) | | 100% | | 85% | 8 | 28 | 0 | 64 | 0 | 1 |
| checkComponentTypeModes(ComponentType) | | 100% | | 87% | 4 | 17 | 0 | 37 | 0 | 1 |
| caseFeatureConnection(FeatureConnection) | | 100% | | 76% | 8 | 18 | 0 | 40 | 0 | 1 |
| typeCheckEndToEndFlowSegments(EndToEndFlow) | | 100% | | 87% | 3 | 13 | 0 | 28 | 0 | 1 |
| collectDirectionViolations(DirectedFeature, boolean, String) | | 100% | | 92% | 3 | 20 | 0 | 25 | 0 | 1 |
| isMatchingConnectionPoint(Context, FlowEnd, ConnectedElement) | | 100% | | 94% | 2 | 18 | 0 | 21 | 0 | 1 |
| checkComponentImplementationModes(ComponentImplementation) | | 100% | | 95% | 1 | 12 | 0 | 27 | 0 | 1 |
| checkFlowPathElements(FlowImplementation) | | 100% | | 86% | 5 | 21 | 0 | 31 | 0 | 1 |
| caseUnitLiteral(UnitLiteral) | | 100% | | 91% | 1 | 7 | 0 | 19 | 0 | 1 |
| checkDataSizeProperty(DataImplementation) | | 100% | | 100% | 0 | 6 | 0 | 21 | 0 | 1 |
| getExtendedClassifiersWithElement(Classifier, NamedElement) | | 100% | | 96% | 1 | 14 | 0 | 23 | 0 | 1 |
| checkSubcomponentFlowHelper(Element, Subcomponent, List) | | 100% | | 94% | 1 | 10 | 0 | 15 | 0 | 1 |
| checkReservedPort(Port) | | 100% | | 92% | 1 | 8 | 0 | 11 | 0 | 1 |
| isInvertNeeded(List) | | 100% | | 91% | 1 | 7 | 0 | 18 | 0 | 1 |
| checkSubcomponentFlows(EndToEndFlow) | | 100% | | 100% | 0 | 7 | 0 | 15 | 0 | 1 |
| checkSubcomponentFlows(FlowImplementation) | | 100% | | 83% | 2 | 7 | 0 | 15 | 0 | 1 |
| doSubcomponentsAndFeaturesMatch(Context, FlowEnd, Context, ConnectedElement) | | 100% | | 80% | 4 | 11 | 0 | 14 | 0 | 1 |
| checkOneSequencePerMode(SubprogramCallSequence) | | 100% | | 100% | 0 | 6 | 0 | 21 | 0 | 1 |
| findDupesInSameClassifier(Classifier, NamedElement) | | 100% | | 92% | 1 | 8 | 0 | 13 | 0 | 1 |
| checkFlowFeatureDirection(FlowEnd, FlowEnd) | | 100% | | 92% | 2 | 15 | 0 | 13 | 0 | 1 |
| buildModeListForAllModalPropertyValues(List, List) | | 100% | | 71% | 4 | 8 | 0 | 12 | 0 | 1 |
| checkEmptyFlowImplementation(FlowImplementation) | | 100% | | 83% | 3 | 10 | 0 | 14 | 0 | 1 |
| getComponentPrototypeCategory(ComponentPrototype) | | 100% | | 100% | 0 | 5 | 0 | 10 | 0 | 1 |
| lambda$4(NamedElement, NamedElement) | | 100% | | 100% | 0 | 9 | 0 | 17 | 0 | 1 |
| checkForCyclicDeclarations(Subcomponent) | | 100% | | 100% | 0 | 4 | 0 | 12 | 0 | 1 |
| lambda$29(List, DirectionType, Connection, EStructuralFeature, DirectedFeature) | | 100% | | 100% | 0 | 3 | 0 | 13 | 0 | 1 |
| isFeatureGroupCircularContainment(Feature, FeatureGroupType, Set) | | 100% | | 100% | 0 | 6 | 0 | 9 | 0 | 1 |
| checkPropertyAssociationIsModal(PropertyAssociation, String, String) | | 100% | | 83% | 1 | 4 | 0 | 7 | 0 | 1 |
| isCorrectKind(Context, Access, AccessType) | | 100% | | 100% | 0 | 8 | 0 | 10 | 0 | 1 |
| caseFeature(Feature) | | 100% | | 100% | 0 | 2 | 0 | 12 | 0 | 1 |
| testClassifierMatchRule(Connection, ConnectionEnd, Classifier, ConnectionEnd, Classifier) | | 100% | | 100% | 0 | 6 | 0 | 11 | 0 | 1 |
| buildAppliesToString(ContainedNamedElement) | | 100% | | 100% | 0 | 4 | 0 | 11 | 0 | 1 |
| testAccessClassifierMatchRule(Connection, ConnectionEnd, Classifier, ConnectionEnd, Classifier) | | 100% | | 87% | 1 | 5 | 0 | 8 | 0 | 1 |
| checkThroughConnection(Connection) | | 100% | | 81% | 3 | 9 | 0 | 10 | 0 | 1 |
| checkFeatureRefinementClassifierSubstitution(Feature) | | 100% | | 100% | 0 | 4 | 0 | 9 | 0 | 1 |
| checkSubcomponentRefinementClassifierSubstitution(Subcomponent) | | 100% | | 100% | 0 | 4 | 0 | 9 | 0 | 1 |
| getAllExtendsFeaturesFilterRefined(FeatureGroupType) | | 100% | | n/a | 0 | 1 | 0 | 12 | 0 | 1 |
| isOutgoingAccessConnection(ConnectionEnd, Context, ConnectionEnd, Context) | | 100% | | 100% | 0 | 7 | 0 | 5 | 0 | 1 |
| checkForFeatureArrays(Feature) | | 100% | | 100% | 0 | 5 | 0 | 6 | 0 | 1 |
| hasExtendCycles(Classifier) | | 100% | | 100% | 0 | 3 | 0 | 8 | 0 | 1 |
| getModesNode(ComponentType) | | 100% | | 100% | 0 | 4 | 0 | 5 | 0 | 1 |
| getModesNode(ComponentImplementation) | | 100% | | 100% | 0 | 4 | 0 | 5 | 0 | 1 |
| getEClassDisplayName(EClass) | | 100% | | 100% | 0 | 3 | 0 | 5 | 0 | 1 |
| caseComponentImplementation(ComponentImplementation) | | 100% | | 100% | 0 | 2 | 0 | 10 | 0 | 1 |
| caseSubcomponent(Subcomponent) | | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 |
| getConnectionChain(ConnectedElement) | | 100% | | 100% | 0 | 3 | 0 | 8 | 0 | 1 |
| fqName(FlowEnd) | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| checkForCyclicDeclarations(FeatureGroup) | | 100% | | 100% | 0 | 3 | 0 | 4 | 0 | 1 |
| casePortConnection(PortConnection) | | 100% | | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| caseAccessConnection(AccessConnection) | | 100% | | 50% | 1 | 2 | 0 | 8 | 0 | 1 |
| checkAggregateDataPort(Connection) | | 100% | | 50% | 1 | 2 | 0 | 6 | 0 | 1 |
| caseEndToEndFlow(EndToEndFlow) | | 100% | | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| canHaveFeatureArrays(ComponentType) | | 100% | | 100% | 0 | 7 | 0 | 2 | 0 | 1 |
| checkForRequiredInverseInFeatureGroupTypeExtension(GroupExtension) | | 100% | | 83% | 1 | 4 | 0 | 5 | 0 | 1 |
| caseComponentType(ComponentType) | | 100% | | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| caseFeatureGroupConnection(FeatureGroupConnection) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| caseSubprogramCall(SubprogramCall) | | 100% | | 100% | 0 | 3 | 0 | 5 | 0 | 1 |
| checkForInverseInFeatureGroup(FeatureGroup) | | 100% | | 83% | 1 | 4 | 0 | 5 | 0 | 1 |
| caseComponentPrototype(ComponentPrototype) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| caseParameterConnection(ParameterConnection) | | 100% | | 50% | 1 | 2 | 0 | 6 | 0 | 1 |
| checkForAppendsInContainedPropertyAssociation(PropertyAssociation) | | 100% | | 83% | 1 | 4 | 0 | 6 | 0 | 1 |
| isContainerFeature(ConnectionEnd, Context, AccessType) | | 100% | | 100% | 0 | 5 | 0 | 2 | 0 | 1 |
| caseImplementationExtension(ImplementationExtension) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| checkNoConnectedSubcomponents(Connection) | | 100% | | 100% | 0 | 3 | 0 | 6 | 0 | 1 |
| caseConnection(Connection) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| checkOutOnly(Port) | | 100% | | 100% | 0 | 3 | 0 | 5 | 0 | 1 |
| caseGroupExtension(GroupExtension) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| isSubcomponentFeature(ConnectionEnd, Context, AccessType) | | 100% | | 100% | 0 | 4 | 0 | 1 | 0 | 1 |
| checkPropertyDefinition(Property) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| caseTypeExtension(TypeExtension) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| caseComponentPrototypeActual(ComponentPrototypeActual) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| caseProperty(Property) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| casePropertyConstant(PropertyConstant) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| caseArraySize(ArraySize) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| findKeywordOffset(EObject, String) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| lambda$2(Mode, SubprogramCallSequence) | | 100% | | 100% | 0 | 3 | 0 | 1 | 0 | 1 |
| doSubcomponentsMatch(Subcomponent, Subcomponent) | | 100% | | 75% | 1 | 3 | 0 | 1 | 0 | 1 |
| getPreviousNode(INode) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| checkPropertyConstant(PropertyConstant) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| checkSubprogramGroupNoFlowSpecification(FlowSpecification) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| lambda$22(ConnectedElement) | | 100% | | 100% | 0 | 3 | 0 | 2 | 0 | 1 |
| caseFeatureGroupPrototypeActual(FeatureGroupPrototypeActual) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| caseFlowSpecification(FlowSpecification) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| caseBasicProperty(BasicProperty) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| caseListType(ListType) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| context(FlowEnd) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| caseAbstractFeature(AbstractFeature) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| caseFeatureGroup(FeatureGroup) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| caseSubprogramAccess(SubprogramAccess) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| caseSubprogramGroupAccess(SubprogramGroupAccess) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| caseComponentTypeRename(ComponentTypeRename) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| casePropertyAssociation(PropertyAssociation) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| lambda$28(DirectedFeature) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| caseComponentPrototypeBinding(ComponentPrototypeBinding) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| caseFeaturePrototypeBinding(FeaturePrototypeBinding) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| caseFeaturePrototype(FeaturePrototype) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| caseDataImplementation(DataImplementation) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| caseAccess(Access) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| caseDataAccess(DataAccess) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| casePropertySet(PropertySet) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| checkFlowFeatureDirection(FlowSpecification) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| checkFlowImplementationDirection(FlowImplementation) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$0(SubprogramCallSequence, SubprogramCallSequence) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| casePortSpecification(PortSpecification) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseAccessSpecification(AccessSpecification) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseComponentImplementationReference(ComponentImplementationReference) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$1(List, Mode) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$21(Feature) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| sortNamedElements(EList) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$18(Classifier) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$23(ConnectedElement) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| caseRealization(Realization) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseModalElement(ModalElement) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseFeatureGroupPrototypeBinding(FeatureGroupPrototypeBinding) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseFeatureGroupPrototype(FeatureGroupPrototype) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseDataType(DataType) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseThreadGroupImplementation(ThreadGroupImplementation) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseProcessorImplementation(ProcessorImplementation) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseMemoryType(MemoryType) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseMemoryImplementation(MemoryImplementation) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseBusType(BusType) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseBusImplementation(BusImplementation) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseVirtualBusType(VirtualBusType) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseVirtualBusImplementation(VirtualBusImplementation) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseDeviceImplementation(DeviceImplementation) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseEventPort(EventPort) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseEventPort(EventDataPort) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| casePort(Port) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseFlowEnd(FlowEnd) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseDirectedFeature(DirectedFeature) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseBusAccess(BusAccess) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseAadlPackage(AadlPackage) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseModelUnit(ModelUnit) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseClassifier(Classifier) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseNamedElement(NamedElement) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseAadlinteger(AadlInteger) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseModeTransitionTrigger(ModeTransitionTrigger) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| casePackageSection(PackageSection) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$5(Classifier) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$9(Classifier) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$19(Feature) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$33(FeatureGroupType) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| Aadl2Validator() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isSubcomponentProvider(ConnectionEnd) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$3(Mode) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$26(Feature) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$27(Feature) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$31(Classifier) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$32(Classifier) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$30(NamedElement) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| checkForArrayDimensionSizeInRefinedFeature(Feature) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |