AdelanteParserDefaultVisitor

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total1,080 of 1,0800%0 of 0n/a216216217217216216
defaultVisit(SimpleNode, Object)70%n/a112211
visit(SimpleNode, Object)50%n/a111111
visit(ASTProgram, Object)50%n/a111111
visit(ASTBundleFile, Object)50%n/a111111
visit(ASTPacket, Object)50%n/a111111
visit(ASTPacketRequires, Object)50%n/a111111
visit(ASTPacketEnsures, Object)50%n/a111111
visit(ASTBlockTail, Object)50%n/a111111
visit(ASTPacketUsage, Object)50%n/a111111
visit(ASTPacketRefPart, Object)50%n/a111111
visit(ASTDirUp, Object)50%n/a111111
visit(ASTUseRename, Object)50%n/a111111
visit(ASTWithoutClause, Object)50%n/a111111
visit(ASTOnlyClause, Object)50%n/a111111
visit(ASTImportItem, Object)50%n/a111111
visit(ASTDecl, Object)50%n/a111111
visit(ASTPublicModifier, Object)50%n/a111111
visit(ASTAbstractTypeDecl, Object)50%n/a111111
visit(ASTFormalTypePart, Object)50%n/a111111
visit(ASTFormalTypeParam, Object)50%n/a111111
visit(ASTTypeBounds, Object)50%n/a111111
visit(ASTDisjunctTypeBound, Object)50%n/a111111
visit(ASTConjunctTypeBound, Object)50%n/a111111
visit(ASTSimpleTypeBound, Object)50%n/a111111
visit(ASTAbstractType, Object)50%n/a111111
visit(ASTProcedureDecl, Object)50%n/a111111
visit(ASTPureModifier, Object)50%n/a111111
visit(ASTProcedureHead, Object)50%n/a111111
visit(ASTFormalMeasurePart, Object)50%n/a111111
visit(ASTProcedureNaming, Object)50%n/a111111
visit(ASTFormalParameterPack, Object)50%n/a111111
visit(ASTVarModifier, Object)50%n/a111111
visit(ASTConstModifier, Object)50%n/a111111
visit(ASTParameterHead, Object)50%n/a111111
visit(ASTProcParam, Object)50%n/a111111
visit(ASTVirtualParametersPack, Object)50%n/a111111
visit(ASTParameterBody, Object)50%n/a111111
visit(ASTOperatorDecl, Object)50%n/a111111
visit(ASTOperatorHead, Object)50%n/a111111
visit(ASTExpressionSynonym, Object)50%n/a111111
visit(ASTTypeSynonym, Object)50%n/a111111
visit(ASTProtocolDecl, Object)50%n/a111111
visit(ASTSignature, Object)50%n/a111111
visit(ASTAutomaticDelegation, Object)50%n/a111111
visit(ASTImplProtocol, Object)50%n/a111111
visit(ASTMeasureDecl, Object)50%n/a111111
visit(ASTUnitTest, Object)50%n/a111111
visit(ASTBody, Object)50%n/a111111
visit(ASTRoot, Object)50%n/a111111
visit(ASTRefinement, Object)50%n/a111111
visit(ASTParagraph, Object)50%n/a111111
visit(ASTAssertion, Object)50%n/a111111
visit(ASTPrecondition, Object)50%n/a111111
visit(ASTPostcondition, Object)50%n/a111111
visit(ASTInvariant, Object)50%n/a111111
visit(ASTVariant, Object)50%n/a111111
visit(ASTProtocolInstance, Object)50%n/a111111
visit(ASTExpressionStatement, Object)50%n/a111111
visit(ASTAssignmentExpression, Object)50%n/a111111
visit(ASTOperatorExpression, Object)50%n/a111111
visit(ASTComparisonExpression, Object)50%n/a111111
visit(ASTPowerExpression, Object)50%n/a111111
visit(ASTConcretizer, Object)50%n/a111111
visit(ASTAbstractor, Object)50%n/a111111
visit(ASTConditionalChoice, Object)50%n/a111111
visit(ASTConditionalBranch, Object)50%n/a111111
visit(ASTPatternMatching, Object)50%n/a111111
visit(ASTDefaultBranch, Object)50%n/a111111
visit(ASTCaseBranch, Object)50%n/a111111
visit(ASTPatterns, Object)50%n/a111111
visit(ASTPattern, Object)50%n/a111111
visit(ASTPatternBinder, Object)50%n/a111111
visit(ASTPatternDisplay, Object)50%n/a111111
visit(ASTActualParameterList, Object)50%n/a111111
visit(ASTActualParameter, Object)50%n/a111111
visit(ASTActualProcParameter, Object)50%n/a111111
visit(ASTWithStatement, Object)50%n/a111111
visit(ASTWithHead, Object)50%n/a111111
visit(ASTDisplay, Object)50%n/a111111
visit(ASTSelector, Object)50%n/a111111
visit(ASTInvocation, Object)50%n/a111111
visit(ASTSubscript, Object)50%n/a111111
visit(ASTTerminator, Object)50%n/a111111
visit(ASTContinuator, Object)50%n/a111111
visit(ASTRepetition, Object)50%n/a111111
visit(ASTAcrossClause, Object)50%n/a111111
visit(ASTWhileClause, Object)50%n/a111111
visit(ASTRepeatClause, Object)50%n/a111111
visit(ASTUntilClause, Object)50%n/a111111
visit(ASTSomeClause, Object)50%n/a111111
visit(ASTAllClause, Object)50%n/a111111
visit(ASTNotAllClause, Object)50%n/a111111
visit(ASTNoClause, Object)50%n/a111111
visit(ASTLoopInvariant, Object)50%n/a111111
visit(ASTLoopVariant, Object)50%n/a111111
visit(ASTProcRef, Object)50%n/a111111
visit(ASTOpRef, Object)50%n/a111111
visit(ASTRefinementRef, Object)50%n/a111111
visit(ASTLoopRef, Object)50%n/a111111
visit(ASTObjectDecl, Object)50%n/a111111
visit(ASTTypeDeclarer, Object)50%n/a111111
visit(ASTIndexType, Object)50%n/a111111
visit(ASTStructType, Object)50%n/a111111
visit(ASTEnumType, Object)50%n/a111111
visit(ASTIntType, Object)50%n/a111111
visit(ASTRealType, Object)50%n/a111111
visit(ASTTextType, Object)50%n/a111111
visit(ASTBoolType, Object)50%n/a111111
visit(ASTNamedType, Object)50%n/a111111
visit(ASTVoidType, Object)50%n/a111111
visit(ASTBounds, Object)50%n/a111111
visit(ASTDimension, Object)50%n/a111111
visit(ASTDimOp, Object)50%n/a111111
visit(ASTAstOp, Object)50%n/a111111
visit(ASTSlashOp, Object)50%n/a111111
visit(ASTDimFactor, Object)50%n/a111111
visit(ASTObsoletion, Object)50%n/a111111
visit(ASTDocumentation, Object)50%n/a111111
visit(ASTReason, Object)50%n/a111111
visit(ASTExample, Object)50%n/a111111
visit(ASTOperatorName, Object)50%n/a111111
visit(ASTAssignmentOp, Object)50%n/a111111
visit(ASTBracketsOp, Object)50%n/a111111
visit(ASTOperator, Object)50%n/a111111
visit(ASTLeftArrow, Object)50%n/a111111
visit(ASTBoxedRightArrow, Object)50%n/a111111
visit(ASTRightArrow, Object)50%n/a111111
visit(ASTBoxedLeftArrow, Object)50%n/a111111
visit(ASTLeftRightArrow, Object)50%n/a111111
visit(ASTOrElseOp, Object)50%n/a111111
visit(ASTOrOp, Object)50%n/a111111
visit(ASTXorOp, Object)50%n/a111111
visit(ASTImpliesOp, Object)50%n/a111111
visit(ASTAndThenOp, Object)50%n/a111111
visit(ASTAndOp, Object)50%n/a111111
visit(ASTLessThanOp, Object)50%n/a111111
visit(ASTGreaterThanOp, Object)50%n/a111111
visit(ASTLessOrEqualOp, Object)50%n/a111111
visit(ASTGreaterOrEqualOp, Object)50%n/a111111
visit(ASTEqualOp, Object)50%n/a111111
visit(ASTNotEqualOp, Object)50%n/a111111
visit(ASTNotInOp, Object)50%n/a111111
visit(ASTInOp, Object)50%n/a111111
visit(ASTBoxedGreaterThanOp, Object)50%n/a111111
visit(ASTBoxedLessThanOp, Object)50%n/a111111
visit(ASTBoxedLessOrEqualOp, Object)50%n/a111111
visit(ASTBoxedGreaterOrEqualOp, Object)50%n/a111111
visit(ASTBoxedEqualOp, Object)50%n/a111111
visit(ASTBoxedNotEqualOp, Object)50%n/a111111
visit(ASTCircledLessThanOp, Object)50%n/a111111
visit(ASTCircledGreaterThanOp, Object)50%n/a111111
visit(ASTCircledLessOrEqualOp, Object)50%n/a111111
visit(ASTCircledGreaterOrEqualOp, Object)50%n/a111111
visit(ASTCircledEqualOp, Object)50%n/a111111
visit(ASTCircledNotEqualOp, Object)50%n/a111111
visit(ASTStarshipOp, Object)50%n/a111111
visit(ASTBatOp, Object)50%n/a111111
visit(ASTTildeOp, Object)50%n/a111111
visit(ASTPlusOp, Object)50%n/a111111
visit(ASTMinusOp, Object)50%n/a111111
visit(ASTDoublePlusOp, Object)50%n/a111111
visit(ASTDoubleMinusOp, Object)50%n/a111111
visit(ASTCircledPlusOp, Object)50%n/a111111
visit(ASTCircledMinusOp, Object)50%n/a111111
visit(ASTBoxedPlusOp, Object)50%n/a111111
visit(ASTBoxedMinusOp, Object)50%n/a111111
visit(ASTAsteriskOp, Object)50%n/a111111
visit(ASTDivOp, Object)50%n/a111111
visit(ASTModOp, Object)50%n/a111111
visit(ASTTimesOp, Object)50%n/a111111
visit(ASTPercentOp, Object)50%n/a111111
visit(ASTAsteriskSlashOp, Object)50%n/a111111
visit(ASTSlashAsteriskOp, Object)50%n/a111111
visit(ASTCircledAateriskOp, Object)50%n/a111111
visit(ASTCircledSlashOp, Object)50%n/a111111
visit(ASTCircledTimesOp, Object)50%n/a111111
visit(ASTCircledDotOp, Object)50%n/a111111
visit(ASTBoxedAsteriskOp, Object)50%n/a111111
visit(ASTBoxedSlashOp, Object)50%n/a111111
visit(ASTBoxedTimesOp, Object)50%n/a111111
visit(ASTBoxedDotOp, Object)50%n/a111111
visit(ASTBoxedColonOp, Object)50%n/a111111
visit(ASTSlashSlashOp, Object)50%n/a111111
visit(ASTCaretOp, Object)50%n/a111111
visit(ASTDoubleAsteriskOp, Object)50%n/a111111
visit(ASTBoxedCaretOp, Object)50%n/a111111
visit(ASTNotOp, Object)50%n/a111111
visit(ASTDoubleLessThanOp, Object)50%n/a111111
visit(ASTDoubleGreaterThanOp, Object)50%n/a111111
visit(ASTTripleLessThanOp, Object)50%n/a111111
visit(ASTTripleGreaterThanOo, Object)50%n/a111111
visit(ASTExclamationOp, Object)50%n/a111111
visit(ASTDoubleExclamationOp, Object)50%n/a111111
visit(ASTQuestionOp, Object)50%n/a111111
visit(ASTDoubleQuestionOp, Object)50%n/a111111
visit(ASTQuestionExclamationOp, Object)50%n/a111111
visit(ASTExclamationQuestionOp, Object)50%n/a111111
visit(ASTVerticalBarOp, Object)50%n/a111111
visit(ASTDoubleVerticalBarOp, Object)50%n/a111111
visit(ASTAmpersandOp, Object)50%n/a111111
visit(ASTDoubleAmpersandOp, Object)50%n/a111111
visit(ASTDoubleCaretOp, Object)50%n/a111111
visit(ASTBoxedQuestionOp, Object)50%n/a111111
visit(ASTBoxedSingleQuoteOp, Object)50%n/a111111
visit(ASTPlusMinusOp, Object)50%n/a111111
visit(ASTMinusPlusOp, Object)50%n/a111111
visit(ASTMinus, Object)50%n/a111111
visit(ASTIdentifier, Object)50%n/a111111
visit(ASTIdentifierRef, Object)50%n/a111111
visit(ASTEllipsis, Object)50%n/a111111
visit(ASTIntegerDenotation, Object)50%n/a111111
visit(ASTRealDenotation, Object)50%n/a111111
visit(ASTTrueDenotation, Object)50%n/a111111
visit(ASTFalseDenotation, Object)50%n/a111111
visit(ASTTextDenotation, Object)50%n/a111111
AdelanteParserDefaultVisitor()30%n/a111111