hazendaz / jmockit1 / 496

Committed 15 Nov 2025 05:33PM UTC coverage: 72.192% (-0.008%) from 72.2%

Build # 496

Build Type

push

github

Committed by

web-flow

Commit Message

Merge pull request #412 from hazendaz/renovate/major-spring-core

Update spring core to v7 (major)

Run Details

5677 of 8360 branches covered (67.91%)

Branch coverage included in aggregate %.

11922 of 16018 relevant lines covered (74.43%)

0.74 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

93.33

/main/src/main/java/mockit/asm/exceptionHandling/ExceptionHandling.java

/*
 * MIT License
 * Copyright (c) 2006-2025 JMockit developers
 * See LICENSE file for full license text.
 */
package mockit.asm.exceptionHandling;

import edu.umd.cs.findbugs.annotations.NonNull;
import edu.umd.cs.findbugs.annotations.Nullable;

import java.util.ArrayList;
import java.util.List;

import mockit.asm.constantPool.ConstantPoolGeneration;
import mockit.asm.controlFlow.Edge;
import mockit.asm.controlFlow.FrameTypeMask;
import mockit.asm.controlFlow.Label;
import mockit.asm.util.ByteVector;

import org.checkerframework.checker.index.qual.NonNegative;

public final class ExceptionHandling {
    @NonNull
    private final List<ExceptionHandler> handlers;
    @NonNull
    private final ConstantPoolGeneration cp;

    public ExceptionHandling(@NonNull ConstantPoolGeneration cp) {
        handlers = new ArrayList<>();
        this.cp = cp;
    }

    public void addHandler(@NonNull Label start, @NonNull Label end, @NonNull Label handler, @Nullable String type) {
        int handlerType = type == null ? 0 : cp.newClass(type);
        handlers.add(new ExceptionHandler(start, end, handler, type, handlerType));
    }

    public void completeControlFlowGraphWithExceptionHandlerBlocksFromComputedFrames() {
        for (ExceptionHandler exceptionHandler : handlers) {
            Label handler = exceptionHandler.handler.getFirst();
            Label start = exceptionHandler.start.getFirst();
            Label end = exceptionHandler.end.getFirst();

            // Computes the kind of the edges to 'handler'.
            String catchType = exceptionHandler.getCatchTypeDesc();
            int kindOfEdge = FrameTypeMask.OBJECT | cp.addNormalType(catchType);

            // 'handler' is an exception handler.
            handler.markAsTarget();

            addHandlerLabelAsSuccessor(kindOfEdge, handler, start, end);
        }
    }

    public void completeControlFlowGraphWithExceptionHandlerBlocks() {
        for (ExceptionHandler exceptionHandler : handlers) {
            addHandlerLabelAsSuccessor(Edge.EXCEPTION, exceptionHandler.handler, exceptionHandler.start,
                    exceptionHandler.end);
        }
    }

    // Adds 'handler' as a successor of labels between 'start' and 'end'.
    private static void addHandlerLabelAsSuccessor(int kindOfEdge, @NonNull Label handler, @NonNull Label start,
            @NonNull Label end) {
        while (start != end) {
            Edge edge = new Edge(kindOfEdge, handler);
            // noinspection ConstantConditions
            start = start.setSuccessors(edge);
        }
    }

    public boolean hasHandlers() {
        return !handlers.isEmpty();
    }

    @NonNegative
    public int getSize() {
        return 8 * handlers.size();
    }

    public void put(@NonNull ByteVector out) {
        out.putShort(handlers.size());

        for (ExceptionHandler exceptionHandler : handlers) {
            exceptionHandler.put(out);
        }
    }
}

1	/*
2	* MIT License
3	* Copyright (c) 2006-2025 JMockit developers
4	* See LICENSE file for full license text.
5	*/
6	package mockit.asm.exceptionHandling;
7
8	import edu.umd.cs.findbugs.annotations.NonNull;
9	import edu.umd.cs.findbugs.annotations.Nullable;
10
11	import java.util.ArrayList;
12	import java.util.List;
13
14	import mockit.asm.constantPool.ConstantPoolGeneration;
15	import mockit.asm.controlFlow.Edge;
16	import mockit.asm.controlFlow.FrameTypeMask;
17	import mockit.asm.controlFlow.Label;
18	import mockit.asm.util.ByteVector;
19
20	import org.checkerframework.checker.index.qual.NonNegative;
21
22	public final class ExceptionHandling {
23	@NonNull
24	private final List<ExceptionHandler> handlers;
25	@NonNull
26	private final ConstantPoolGeneration cp;
27
28	public ExceptionHandling(@NonNull ConstantPoolGeneration cp) {	1✔
29	handlers = new ArrayList<>();	1✔
30	this.cp = cp;	1✔
31	}	1✔
32
33	public void addHandler(@NonNull Label start, @NonNull Label end, @NonNull Label handler, @Nullable String type) {
34	int handlerType = type == null ? 0 : cp.newClass(type);	1✔
35	handlers.add(new ExceptionHandler(start, end, handler, type, handlerType));	1✔
36	}	1✔
37
38	public void completeControlFlowGraphWithExceptionHandlerBlocksFromComputedFrames() {
39	for (ExceptionHandler exceptionHandler : handlers) {	1✔
40	Label handler = exceptionHandler.handler.getFirst();	1✔
41	Label start = exceptionHandler.start.getFirst();	1✔
42	Label end = exceptionHandler.end.getFirst();	1✔
43
44	// Computes the kind of the edges to 'handler'.
45	String catchType = exceptionHandler.getCatchTypeDesc();	1✔
46	int kindOfEdge = FrameTypeMask.OBJECT \| cp.addNormalType(catchType);	1✔
47
48	// 'handler' is an exception handler.
49	handler.markAsTarget();	1✔
50
51	addHandlerLabelAsSuccessor(kindOfEdge, handler, start, end);	1✔
52	}	1✔
53	}	1✔
54
55	public void completeControlFlowGraphWithExceptionHandlerBlocks() {
56	for (ExceptionHandler exceptionHandler : handlers) {	1!
57	addHandlerLabelAsSuccessor(Edge.EXCEPTION, exceptionHandler.handler, exceptionHandler.start,	×
58	exceptionHandler.end);
59	}	×
60	}	1✔
61
62	// Adds 'handler' as a successor of labels between 'start' and 'end'.
63	private static void addHandlerLabelAsSuccessor(int kindOfEdge, @NonNull Label handler, @NonNull Label start,
64	@NonNull Label end) {
65	while (start != end) {	1✔
66	Edge edge = new Edge(kindOfEdge, handler);	1✔
67	// noinspection ConstantConditions
68	start = start.setSuccessors(edge);	1✔
69	}	1✔
70	}	1✔
71
72	public boolean hasHandlers() {
73	return !handlers.isEmpty();	1✔
74	}
75
76	@NonNegative
77	public int getSize() {
78	return 8 * handlers.size();	1✔
79	}
80
81	public void put(@NonNull ByteVector out) {
82	out.putShort(handlers.size());	1✔
83
84	for (ExceptionHandler exceptionHandler : handlers) {	1✔
85	exceptionHandler.put(out);	1✔
86	}	1✔
87	}	1✔
88	}

hazendaz / jmockit1 / 496

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous