VerifyGrammarAccess

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