Source file "org/aspectj/org/eclipse/jdt/internal/compiler/lookup/InferenceContext18.java" was not found during generation of report.
| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 5,494 of 5,494 | 0% | 955 of 955 | 0% | 575 | 575 | 1,149 | 1,149 | 93 | 93 |
| resolve(InferenceVariable[], boolean) | | 0% | | 0% | 33 | 33 | 84 | 84 | 1 | 1 |
| pickFromCycle(Set) | | 0% | | 0% | 26 | 26 | 63 | 63 | 1 | 1 |
| checkExpression(Expression, TypeBinding[], TypeBinding, TypeBinding[], TypeBinding) | | 0% | | 0% | 44 | 44 | 51 | 51 | 1 | 1 |
| addConstraintsToC_OneExpr(Expression, Set, TypeBinding, TypeBinding, MethodBinding) | | 0% | | 0% | 30 | 30 | 59 | 59 | 1 | 1 |
| inferInvocationType(TypeBinding, InvocationSite, MethodBinding) | | 0% | | 0% | 29 | 29 | 55 | 55 | 1 | 1 |
| createInitialConstraintsForParameters(TypeBinding[], boolean, TypeBinding, MethodBinding) | | 0% | | 0% | 16 | 16 | 36 | 36 | 1 | 1 |
| forwardResults(BoundSet, Invocation, ParameterizedMethodBinding, TypeBinding) | | 0% | | 0% | 21 | 21 | 44 | 44 | 1 | 1 |
| toString() | | 0% | | 0% | 18 | 18 | 29 | 29 | 1 | 1 |
| moreSpecificMain(TypeBinding, TypeBinding, Expression) | | 0% | | 0% | 15 | 15 | 26 | 26 | 1 | 1 |
| isMoreSpecificThan(MethodBinding, MethodBinding, boolean, boolean) | | 0% | | 0% | 11 | 11 | 27 | 27 | 1 | 1 |
| getTPrimeArgumentsAndCreateBounds(ParameterizedTypeBinding, InferenceVariable[]) | | 0% | | 0% | 8 | 8 | 25 | 25 | 1 | 1 |
| createAdditionalBoundswithU(ParameterizedTypeBinding, InferenceVariable[], TypeVariableBinding[]) | | 0% | | 0% | 10 | 10 | 23 | 23 | 1 | 1 |
| deriveTPrime(RecordPattern, TypeBinding, InferenceVariable[], TypeBinding) | | 0% | | 0% | 12 | 12 | 26 | 26 | 1 | 1 |
| addJDK_8153748ConstraintsFromExpression(Expression, TypeBinding, MethodBinding, InferenceSubstitution) | | 0% | | 0% | 11 | 11 | 23 | 23 | 1 | 1 |
| addTypeVariableSubstitutions(TypeBinding[], boolean) | | 0% | | 0% | 7 | 7 | 20 | 20 | 1 | 1 |
| getSmallestVariableSet(BoundSet, InferenceVariable[]) | | 0% | | 0% | 7 | 7 | 21 | 21 | 1 | 1 |
| getSolutions(TypeVariableBinding[], InvocationSite, BoundSet) | | 0% | | 0% | 10 | 10 | 16 | 16 | 1 | 1 |
| inferFunctionalInterfaceParameterization(LambdaExpression, BlockScope, ParameterizedTypeBinding) | | 0% | | 0% | 8 | 8 | 18 | 18 | 1 | 1 |
| addConstraintsToC(Expression[], Set, MethodBinding, int, InvocationSite) | | 0% | | 0% | 9 | 9 | 20 | 20 | 1 | 1 |
| resumeSuspendedInference(InferenceContext18.SuspendedInferenceRecord, InferenceContext18) | | 0% | | 0% | 3 | 3 | 18 | 18 | 1 | 1 |
| inferRecordPatternParameterization(RecordPattern, BlockScope, TypeBinding) | | 0% | | 0% | 7 | 7 | 22 | 22 | 1 | 1 |
| solve(boolean, boolean) | | 0% | | 0% | 10 | 10 | 15 | 15 | 1 | 1 |
| findRPrimeAndResultingBounds(TypeBinding, InferenceVariable[], TypeBinding) | | 0% | | 0% | 6 | 6 | 13 | 13 | 1 | 1 |
| setUpperBounds(CaptureBinding18, TypeBinding[]) | | 0% | | 0% | 7 | 7 | 13 | 13 | 1 | 1 |
| getRecordPatternTypeFromUpwardsProjection(TypeBinding, InferenceVariable[], BoundSet) | | 0% | | 0% | 5 | 5 | 15 | 15 | 1 | 1 |
| addJDK_8153748ConstraintsFromInvocation(Expression[], MethodBinding, InferenceSubstitution) | | 0% | | 0% | 7 | 7 | 14 | 14 | 1 | 1 |
| getReturnProblemMethodIfNeeded(TypeBinding, MethodBinding) | | 0% | | 0% | 8 | 8 | 11 | 11 | 1 | 1 |
| freshCapture(InferenceVariable) | | 0% | | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| InferenceContext18(Scope, Expression[], InvocationSite, InferenceContext18) | | 0% | | 0% | 2 | 2 | 16 | 16 | 1 | 1 |
| isReachable(Map, ConstraintFormula, ConstraintFormula, Set, Set) | | 0% | | 0% | 6 | 6 | 12 | 12 | 1 | 1 |
| reportUncheckedConversions(BoundSet) | | 0% | | 0% | 5 | 5 | 12 | 12 | 1 | 1 |
| addJDK_8153748ConstraintsFromFunctionalExpr(FunctionalExpression, TypeBinding, MethodBinding) | | 0% | | 0% | 5 | 5 | 10 | 10 | 1 | 1 |
| updateInnerDiamonds(ParameterizedMethodBinding, Expression[]) | | 0% | | 0% | 5 | 5 | 7 | 7 | 1 | 1 |
| siSuperI(TypeBinding, TypeBinding) | | 0% | | 0% | 6 | 6 | 8 | 8 | 1 | 1 |
| addInitialTypeVariableSubstitutions(TypeBinding[]) | | 0% | | 0% | 4 | 4 | 10 | 10 | 1 | 1 |
| addThrowsContraints(TypeBinding[], InferenceVariable[], ReferenceBinding[]) | | 0% | | 0% | 4 | 4 | 7 | 7 | 1 | 1 |
| siSubI(TypeBinding, TypeBinding) | | 0% | | 0% | 6 | 6 | 8 | 8 | 1 | 1 |
| addDependencies(BoundSet, Set, InferenceVariable) | | 0% | | 0% | 6 | 6 | 7 | 7 | 1 | 1 |
| rankNode(ConstraintExpressionFormula, Map, Map) | | 0% | | 0% | 5 | 5 | 11 | 11 | 1 | 1 |
| getFunctionInterfaceArgumentSolutions(TypeBinding[]) | | 0% | | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| intersectionFromGlb(TypeBinding[]) | | 0% | | 0% | 4 | 4 | 11 | 11 | 1 | 1 |
| findBottomSet(Set, Set, List) | | 0% | | 0% | 4 | 4 | 7 | 7 | 1 | 1 |
| addInferenceVariables(InferenceVariable[]) | | 0% | | 0% | 3 | 3 | 8 | 8 | 1 | 1 |
| parameterizedWithWildcard(TypeBinding) | | 0% | | 0% | 6 | 6 | 9 | 9 | 1 | 1 |
| reduce() | | 0% | | 0% | 5 | 5 | 9 | 9 | 1 | 1 |
| getFreshTypeVariables(TypeBinding[]) | | 0% | | 0% | 4 | 4 | 7 | 7 | 1 | 1 |
| canInfluenceAnyOf(InferenceVariable, Set, List) | | 0% | | 0% | 5 | 5 | 7 | 7 | 1 | 1 |
| pushBoundsTo(InferenceContext18) | | 0% | | 0% | 5 | 5 | 9 | 9 | 1 | 1 |
| varArgTypes(TypeBinding[], int) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| InferenceContext18(Scope) | | 0% | n/a | 1 | 1 | 11 | 11 | 1 | 1 | |
| dependsOn(Collection, Collection) | | 0% | | 0% | 4 | 4 | 5 | 5 | 1 | 1 |
| isTypeVariableOfCandidate(TypeBinding, MethodBinding) | | 0% | | 0% | 5 | 5 | 7 | 7 | 1 | 1 |
| createBoundsForFunctionalInterfaceParameterizationInference(ParameterizedTypeBinding) | | 0% | | 0% | 3 | 3 | 8 | 8 | 1 | 1 |
| doesExpressionContain(Expression, Expression) | | 0% | | 0% | 5 | 5 | 5 | 5 | 1 | 1 |
| integrateInnerInferenceB2(InferenceContext18) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| lambda$0(InferenceContext18, BoundSet, boolean) | | 0% | | 0% | 4 | 4 | 7 | 7 | 1 | 1 |
| reduceWithEqualityConstraints(TypeBinding[], TypeBinding[]) | | 0% | | 0% | 4 | 4 | 7 | 7 | 1 | 1 |
| isResolved(BoundSet) | | 0% | | 0% | 4 | 4 | 5 | 5 | 1 | 1 |
| enterPolyInvocation(InvocationSite, Expression[]) | | 0% | n/a | 1 | 1 | 6 | 6 | 1 | 1 | |
| getParameter(TypeBinding[], int, boolean) | | 0% | | 0% | 4 | 4 | 6 | 6 | 1 | 1 |
| hasPrematureOverloadResolution() | | 0% | | 0% | 5 | 5 | 7 | 7 | 1 | 1 |
| isSameSite(InvocationSite, InvocationSite) | | 0% | | 0% | 6 | 6 | 7 | 7 | 1 | 1 |
| enterLambda(LambdaExpression) | | 0% | n/a | 1 | 1 | 5 | 5 | 1 | 1 | |
| createInitialBoundSet(TypeVariableBinding[]) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| allOutputVariables(Set) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| computeB3(InvocationSite, TypeBinding, MethodBinding) | | 0% | | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| solve(InferenceVariable[], boolean) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| collectInnerContext(InferenceContext18) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| recordUncheckedConversion(ConstraintTypeFormula) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| enrichSubstitution(InferenceSubstitution, Invocation, MethodBinding) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| mergeInnerBounds() | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| collectingInnerBounds(InferenceContext18.InferenceOperation) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| getInferenceKind(MethodBinding, TypeBinding[]) | | 0% | | 0% | 3 | 3 | 4 | 4 | 1 | 1 |
| substitute(TypeBinding) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| flushBoundOutbox() | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| static {...} | | 0% | | 0% | 2 | 2 | 2 | 2 | 1 | 1 |
| inferInvocationApplicability(MethodBinding, TypeBinding[], boolean) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| isVarArgs() | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| usesUncheckedConversion() | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| cleanUp() | | 0% | n/a | 1 | 1 | 3 | 3 | 1 | 1 | |
| reduceAndIncorporate(ConstraintFormula) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| sortTypes(TypeBinding[]) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| getResultSubstitution(BoundSet) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| pushBoundsToOuter() | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| solve(boolean) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| resolve(InferenceVariable[]) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| missingImplementation(String) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| lambda$1(ConstraintFormula) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| solve() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| setInexactVarargsInference(boolean) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| lambda$2(ConstraintFormula) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| lambda$3(ConstraintFormula) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isInexactVarargsInference() | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 |