| ruleVerificationMethod() |   | 65% | | 44% | 180 | 211 | 153 | 557 | 0 | 1 |
| ruleVerificationActivity() | | 58% | | 37% | 132 | 148 | 117 | 344 | 0 | 1 |
| ruleClaim() | | 48% | | 32% | 85 | 96 | 112 | 259 | 0 | 1 |
| ruleSingleElseEvidenceExpr() | | 13% | | 5% | 55 | 56 | 127 | 160 | 0 | 1 |
| ruleVerificationPlan() | | 43% | | 27% | 70 | 75 | 107 | 210 | 0 | 1 |
| ruleComponentCategory() | | 9% | | 4% | 51 | 52 | 83 | 98 | 0 | 1 |
| ruleAFunctionCall() | | 0% | | 0% | 36 | 36 | 84 | 84 | 1 | 1 |
| ruleAPrimaryExpression() | | 24% | | 15% | 52 | 54 | 83 | 113 | 0 | 1 |
| ruleARangeExpression() | | 0% | | 0% | 26 | 26 | 82 | 82 | 1 | 1 |
| ruleAIfExpression() | | 0% | | 0% | 25 | 25 | 82 | 82 | 1 | 1 |
| ruleVerificationPrecondition() | | 0% | | 0% | 28 | 28 | 65 | 65 | 1 | 1 |
| ruleTypeRef() | | 46% | | 30% | 49 | 56 | 61 | 132 | 0 | 1 |
| ruleShowValue() | | 0% | | 0% | 26 | 26 | 67 | 67 | 1 | 1 |
| ruleAModelOrPropertyReference() | | 0% | | 0% | 24 | 24 | 67 | 67 | 1 | 1 |
| ruleAadlClassifierReference() | | 0% | | 0% | 21 | 21 | 55 | 55 | 1 | 1 |
| ruleALiteral() | | 0% | | 0% | 23 | 23 | 67 | 67 | 1 | 1 |
| ruleOpCompare() | | 0% | | 0% | 23 | 23 | 51 | 51 | 1 | 1 |
| ruleTargetType() | | 32% | | 18% | 28 | 31 | 41 | 71 | 0 | 1 |
| ruleIMGREF() | | 0% | | 0% | 18 | 18 | 44 | 44 | 1 | 1 |
| ruleMethodKind() | | 43% | | 25% | 33 | 38 | 54 | 106 | 0 | 1 |
| ruleOpMulti() | | 0% | | 0% | 19 | 19 | 44 | 44 | 1 | 1 |
| ruleAgreeMethod() | | 0% | | 0% | 17 | 17 | 43 | 43 | 1 | 1 |
| ruleAUnaryOperation() | | 31% | | 16% | 28 | 29 | 44 | 69 | 0 | 1 |
| ruleAModelReference() | | 0% | | 0% | 16 | 16 | 41 | 41 | 1 | 1 |
| ruleARelationalExpression() | | 34% | | 20% | 24 | 25 | 47 | 73 | 0 | 1 |
| ruleRationale() | | 0% | | 0% | 15 | 15 | 43 | 43 | 1 | 1 |
| ruleOpUnary() | | 0% | | 0% | 15 | 15 | 37 | 37 | 1 | 1 |
| ruleABooleanLiteral() | | 0% | | 0% | 14 | 14 | 39 | 39 | 1 | 1 |
| ruleVerificationMethodRegistry() | | 62% | | 37% | 31 | 34 | 35 | 105 | 0 | 1 |
| ruleDescriptionElement() | | 46% | | 28% | 26 | 29 | 44 | 83 | 0 | 1 |
| ruleAMultiplicativeExpression() | | 34% | | 20% | 22 | 23 | 45 | 70 | 0 | 1 |
| ruleVerificationValidation() | | 53% | | 27% | 27 | 28 | 26 | 65 | 0 | 1 |
| ruleAOrExpression() | | 34% | | 19% | 18 | 19 | 41 | 64 | 0 | 1 |
| ruleAAndExpression() | | 34% | | 19% | 18 | 19 | 41 | 64 | 0 | 1 |
| ruleAEqualityExpression() | | 34% | | 19% | 18 | 19 | 41 | 64 | 0 | 1 |
| ruleAAdditiveExpression() | | 34% | | 19% | 18 | 19 | 41 | 64 | 0 | 1 |
| ruleFormalParameter() | | 63% | | 41% | 31 | 35 | 30 | 91 | 0 | 1 |
| ruleOpOr() | | 0% | | 0% | 11 | 11 | 32 | 32 | 1 | 1 |
| ruleOpAnd() | | 0% | | 0% | 11 | 11 | 32 | 32 | 1 | 1 |
| ruleOpEquality() | | 0% | | 0% | 11 | 11 | 32 | 32 | 1 | 1 |
| ruleOpAdd() | | 0% | | 0% | 11 | 11 | 32 | 32 | 1 | 1 |
| ruleCompositeEvidenceExpr() | | 37% | | 22% | 16 | 17 | 25 | 51 | 0 | 1 |
| ruleAParenthesizedExpression() | | 0% | | 0% | 9 | 9 | 27 | 27 | 1 | 1 |
| ruleManualMethod() | | 0% | | 0% | 9 | 9 | 33 | 33 | 1 | 1 |
| ruleThenEvidenceExpr() | | 37% | | 21% | 14 | 15 | 29 | 51 | 0 | 1 |
| ruleCompositeElseEvidenceExpr() | | 37% | | 21% | 14 | 15 | 29 | 51 | 0 | 1 |
| ruleAPropertyReference() | | 0% | | 0% | 10 | 10 | 28 | 28 | 1 | 1 |
| ruleJavaMethod() | | 68% | | 42% | 25 | 28 | 24 | 89 | 0 | 1 |
| rulePythonMethod() | | 0% | | 0% | 8 | 8 | 29 | 29 | 1 | 1 |
| ruleJUnit4Method() | | 0% | | 0% | 8 | 8 | 29 | 29 | 1 | 1 |
| ruleImageReference() | | 0% | | 0% | 8 | 8 | 29 | 29 | 1 | 1 |
| rulePropertyRef() | | 0% | | 0% | 8 | 8 | 24 | 24 | 1 | 1 |
| ruleAUnitExpression() | | 69% | | 44% | 23 | 26 | 15 | 60 | 0 | 1 |
| ruleVerification() | | 68% | | 51% | 16 | 21 | 15 | 75 | 0 | 1 |
| ruleAIntegerTerm() | | 0% | | 0% | 6 | 6 | 25 | 25 | 1 | 1 |
| ruleARealTerm() | | 0% | | 0% | 6 | 6 | 25 | 25 | 1 | 1 |
| ruleStringTerm() | | 0% | | 0% | 6 | 6 | 25 | 25 | 1 | 1 |
| entryRuleIMGREF() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleOpOr() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleOpAnd() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleOpEquality() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleOpCompare() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleOpAdd() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleOpMulti() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleOpUnary() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAInt() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAReal() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleNoQuoteString() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleComponentCategory() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAadlClassifierReference() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAADLPROPERTYREFERENCE() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleQualifiedName() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleThisKeyword() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleVerificationPlan() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleClaim() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleArgumentExpr() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleThenEvidenceExpr() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleElseEvidenceExpr() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleSingleElseEvidenceExpr() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleCompositeElseEvidenceExpr() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleQuantifiedEvidenceExpr() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleCompositeEvidenceExpr() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleVAReference() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleComputeRef() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleVerificationActivity() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleVerificationValidation() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleVerificationPrecondition() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleVerificationMethodRegistry() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleFormalParameter() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleVerificationMethod() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleMethodKind() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleResoluteMethod() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleJavaMethod() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRulePythonMethod() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleManualMethod() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRulePluginMethod() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAgreeMethod() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleJUnit4Method() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleJavaParameter() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleDescription() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleDescriptionElement() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleRationale() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleTypeRef() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRulePropertyRef() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAModelOrPropertyReference() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAModelReference() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAPropertyReference() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAVariableReference() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleShowValue() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleImageReference() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAExpression() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAOrExpression() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAAndExpression() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAEqualityExpression() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleARelationalExpression() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAAdditiveExpression() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAMultiplicativeExpression() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAUnaryOperation() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAUnitExpression() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAPrimaryExpression() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAFunctionCall() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleARangeExpression() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAIfExpression() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleALiteral() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAIntegerTerm() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleARealTerm() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleABooleanLiteral() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleStringTerm() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| entryRuleAParenthesizedExpression() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| ruleAInt() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| ruleAReal() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| ruleNoQuoteString() | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| ruleThisKeyword() | | 0% | | 0% | 4 | 4 | 14 | 14 | 1 | 1 |
| synpred10_InternalVerify() | | 0% | | 0% | 2 | 2 | 10 | 10 | 1 | 1 |
| synpred2_InternalVerify() | | 0% | | 0% | 2 | 2 | 10 | 10 | 1 | 1 |
| synpred9_InternalVerify() | | 0% | | 0% | 2 | 2 | 10 | 10 | 1 | 1 |
| synpred3_InternalVerify() | | 0% | | 0% | 2 | 2 | 10 | 10 | 1 | 1 |
| synpred5_InternalVerify() | | 0% | | 0% | 2 | 2 | 10 | 10 | 1 | 1 |
| synpred11_InternalVerify() | | 0% | | 0% | 2 | 2 | 10 | 10 | 1 | 1 |
| synpred7_InternalVerify() | | 0% | | 0% | 2 | 2 | 10 | 10 | 1 | 1 |
| synpred1_InternalVerify() | | 0% | | 0% | 2 | 2 | 10 | 10 | 1 | 1 |
| synpred12_InternalVerify() | | 0% | | 0% | 2 | 2 | 10 | 10 | 1 | 1 |
| synpred8_InternalVerify() | | 0% | | 0% | 2 | 2 | 10 | 10 | 1 | 1 |
| synpred6_InternalVerify() | | 0% | | 0% | 2 | 2 | 10 | 10 | 1 | 1 |
| synpred14_InternalVerify() | | 0% | | 0% | 2 | 2 | 10 | 10 | 1 | 1 |
| ruleElseEvidenceExpr() | | 74% | | 48% | 11 | 14 | 7 | 43 | 0 | 1 |
| ruleQuantifiedEvidenceExpr() | | 87% | | 55% | 18 | 21 | 5 | 67 | 0 | 1 |
| ruleDescription() | | 78% | | 60% | 10 | 15 | 7 | 43 | 0 | 1 |
| ruleJavaParameter() | | 83% | | 50% | 9 | 10 | 4 | 33 | 0 | 1 |
| synpred5_InternalVerify_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred7_InternalVerify_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred8_InternalVerify_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred9_InternalVerify_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred10_InternalVerify_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred11_InternalVerify_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| synpred12_InternalVerify_fragment() | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| ruleVAReference() | | 76% | | 50% | 6 | 7 | 4 | 20 | 0 | 1 |
| ruleAVariableReference() | | 76% | | 50% | 6 | 7 | 4 | 20 | 0 | 1 |
| ruleQualifiedName() | | 89% | | 59% | 9 | 12 | 3 | 32 | 0 | 1 |
| ruleAADLPROPERTYREFERENCE() | | 88% | | 59% | 9 | 12 | 3 | 31 | 0 | 1 |
| ruleResoluteMethod() | | 86% | | 50% | 8 | 9 | 3 | 24 | 0 | 1 |
| rulePluginMethod() | | 86% | | 50% | 7 | 8 | 3 | 25 | 0 | 1 |
| entryRuleVerification() | | 79% | | 50% | 4 | 5 | 3 | 15 | 0 | 1 |
| synpred1_InternalVerify_fragment() | | 0% | | 0% | 2 | 2 | 2 | 2 | 1 | 1 |
| synpred2_InternalVerify_fragment() | | 0% | | 0% | 2 | 2 | 2 | 2 | 1 | 1 |
| synpred3_InternalVerify_fragment() | | 0% | | 0% | 2 | 2 | 2 | 2 | 1 | 1 |
| synpred6_InternalVerify_fragment() | | 0% | | 0% | 2 | 2 | 2 | 2 | 1 | 1 |
| synpred14_InternalVerify_fragment() | | 0% | | 0% | 2 | 2 | 2 | 2 | 1 | 1 |
| synpred4_InternalVerify() | | 75% | | 50% | 1 | 2 | 1 | 10 | 0 | 1 |
| ruleArgumentExpr() | | 81% | | 50% | 4 | 5 | 3 | 19 | 0 | 1 |
| ruleComputeRef() | | 81% | | 50% | 5 | 6 | 3 | 16 | 0 | 1 |
| ruleAExpression() | | 81% | | 50% | 4 | 5 | 3 | 19 | 0 | 1 |
| getGrammarAccess() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getGrammarFileName() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getFirstRuleName() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| synpred4_InternalVerify_fragment() | | 92% | | 50% | 1 | 2 | 0 | 2 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 134 | 0 | 1 |
| InternalVerifyParser(TokenStream, RecognizerSharedState) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| InternalVerifyParser(TokenStream, VerifyGrammarAccess) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| InternalVerifyParser(TokenStream) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getTokenNames() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |