internalFindGrammar(GrammarProvider) |   | 46% |   | 33% | 3 | 4 | 6 | 10 | 0 | 1 |
getClaimRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getArgumentExprRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getThenEvidenceExprRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getElseEvidenceExprRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getSingleElseEvidenceExprRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getCompositeElseEvidenceExprRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getQuantifiedEvidenceExprRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getCompositeEvidenceExprRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getVAReferenceRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getVerificationValidationRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getVerificationPreconditionRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getMethodKindRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getPythonMethodRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getManualMethodRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAgreeMethodRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getJUnit4MethodRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getRationaleAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getRationaleRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getUncertaintyAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getUncertaintyRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getTypeRefRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getPropertyRefAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getPropertyRefRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getValDeclarationAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getValDeclarationRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getComputeDeclarationAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getComputeDeclarationRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAModelOrPropertyReferenceAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAModelOrPropertyReferenceRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAModelReferenceAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAModelReferenceRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAPropertyReferenceAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAPropertyReferenceRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAVariableReferenceRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getShowValueAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getShowValueRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getImageReferenceAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getImageReferenceRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getIMGREFAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getIMGREFRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getOperationAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getOperationRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAExpressionRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAOrExpressionRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getOpOrAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getOpOrRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAAndExpressionRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getOpAndAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getOpAndRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAEqualityExpressionRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getOpEqualityAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getOpEqualityRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getARelationalExpressionRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getOpCompareAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getOpCompareRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAAdditiveExpressionRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getOpAddAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getOpAddRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAMultiplicativeExpressionRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getOpMultiAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getOpMultiRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAUnaryOperationRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getOpUnaryAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getOpUnaryRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAUnitExpressionRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAPrimaryExpressionRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAFunctionCallAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAFunctionCallRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getARangeExpressionAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getARangeExpressionRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAIfExpressionAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAIfExpressionRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getALiteralAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getALiteralRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAIntegerTermAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAIntegerTermRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAIntAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAIntRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getARealTermAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getARealTermRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getARealAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getARealRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getABooleanLiteralAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getABooleanLiteralRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getStringTermAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getStringTermRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getNoQuoteStringAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getNoQuoteStringRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAParenthesizedExpressionAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAParenthesizedExpressionRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getComponentCategoryRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getTargetTypeRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getEXPONENTRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getINT_EXPONENTRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getREAL_LITRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getDIGITRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getEXTENDED_DIGITRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getBASED_INTEGERRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAadlClassifierReferenceAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAadlClassifierReferenceRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAADLPROPERTYREFERENCERule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getURIIDAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getURIIDRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getQualifiedNameRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getThisKeywordAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getThisKeywordRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getIDRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getINTRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getSTRINGRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getML_COMMENTRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getSL_COMMENTRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getWSRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getANY_OTHERRule() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getCommonGrammarAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getTerminalsGrammarAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getVerificationPreconditionAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getPythonMethodAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getManualMethodAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getAgreeMethodAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
getJUnit4MethodAccess() |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
VerifyGrammarAccess(GrammarProvider, CommonGrammarAccess, TerminalsGrammarAccess) |  | 100% | | n/a | 0 | 1 | 0 | 32 | 0 | 1 |
getVerificationRule() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getVerificationPlanRule() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getComputeRefRule() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getVerificationActivityRule() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getVerificationMethodRegistryRule() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getFormalParameterRule() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getVerificationMethodRule() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getResoluteMethodRule() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getJavaMethodRule() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getPluginMethodRule() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getJavaParameterRule() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getDescriptionAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getDescriptionRule() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getDescriptionElementAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getDescriptionElementRule() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getTypeRefAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getAVariableReferenceAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getAExpressionAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getAOrExpressionAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getAAndExpressionAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getAEqualityExpressionAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getARelationalExpressionAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getAAdditiveExpressionAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getAMultiplicativeExpressionAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getAUnaryOperationAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getAUnitExpressionAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getAPrimaryExpressionAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getComponentCategoryAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getTargetTypeAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getAADLPROPERTYREFERENCEAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getQualifiedNameAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getGrammar() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getVerificationAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getVerificationPlanAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getClaimAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getArgumentExprAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getThenEvidenceExprAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getElseEvidenceExprAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getSingleElseEvidenceExprAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getCompositeElseEvidenceExprAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getQuantifiedEvidenceExprAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getCompositeEvidenceExprAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getVAReferenceAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getComputeRefAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getVerificationActivityAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getVerificationValidationAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getVerificationMethodRegistryAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getFormalParameterAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getVerificationMethodAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getMethodKindAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getResoluteMethodAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getJavaMethodAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getPluginMethodAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
getJavaParameterAccess() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |