6233274834

Committed 19 Sep 2023 08:46AM UTC coverage: 36.409% (-0.6%) from 36.982%

Build # 6233274834

Build Type

Pull #658

github

Committed by

dkfellows

Commit Message

Merge branch 'master' into java-17

Pull Request Pull Request #658: Update Java version to 17

Run Details

1656 of 1656 new or added lines in 260 files covered. (100.0%)

8373 of 22997 relevant lines covered (36.41%)

0.36 hits per line

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

0.0

/SpiNNaker-allocserv/src/main/java/uk/ac/manchester/spinnaker/alloc/model/DownLink.java

/*
 * Copyright (c) 2021 The University of Manchester
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     https://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
package uk.ac.manchester.spinnaker.alloc.model;

import static com.fasterxml.jackson.annotation.JsonFormat.Shape.ARRAY;

import javax.validation.Valid;
import javax.validation.constraints.NotNull;

import com.fasterxml.jackson.annotation.JsonFormat;
import com.google.errorprone.annotations.Immutable;

/**
 * Describes a link that is disabled.
 *
 * @author Donal Fellows
 * @param end1
 *            One end of the down link.
 * @param end2
 *            The other end of the down link.
 */
@Immutable
@JsonFormat(shape = ARRAY)
public record DownLink(@Valid DownLink.End end1, @Valid DownLink.End end2) {
        /**
         * Describes one end of a link that is disabled.
         *
         * @author Donal Fellows
         * @param board
         *            On what board is this end of the link.
         * @param direction
         *            In which direction does this end of the link go?
         */
        @Immutable
        public record End(@Valid BoardCoords board, @NotNull Direction direction) {
        }

        /**
         * Create a down link description.
         *
         * @param board1
         *            Which board is one end of the link.
         * @param dir1
         *            In which direction off of {@code board1} is the link.
         * @param board2
         *            Which board is one end of the link.
         * @param dir2
         *            In which direction off of {@code board2} is the link.
         */
        public DownLink(BoardCoords board1, Direction dir1, BoardCoords board2,
                        Direction dir2) {
                this(new End(board1, dir1), new End(board2, dir2));
        }
}

1	/*
2	* Copyright (c) 2021 The University of Manchester
3	*
4	* Licensed under the Apache License, Version 2.0 (the "License");
5	* you may not use this file except in compliance with the License.
6	* You may obtain a copy of the License at
7	*
8	* https://www.apache.org/licenses/LICENSE-2.0
9	*
10	* Unless required by applicable law or agreed to in writing, software
11	* distributed under the License is distributed on an "AS IS" BASIS,
12	* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13	* See the License for the specific language governing permissions and
14	* limitations under the License.
15	*/
16	package uk.ac.manchester.spinnaker.alloc.model;
17
18	import static com.fasterxml.jackson.annotation.JsonFormat.Shape.ARRAY;
19
20	import javax.validation.Valid;
21	import javax.validation.constraints.NotNull;
22
23	import com.fasterxml.jackson.annotation.JsonFormat;
24	import com.google.errorprone.annotations.Immutable;
25
26	/**
27	* Describes a link that is disabled.
28	*
29	* @author Donal Fellows
30	* @param end1
31	* One end of the down link.
32	* @param end2
33	* The other end of the down link.
34	*/
35	@Immutable
36	@JsonFormat(shape = ARRAY)
37	public record DownLink(@Valid DownLink.End end1, @Valid DownLink.End end2) {	×
38	/**
39	* Describes one end of a link that is disabled.
40	*
41	* @author Donal Fellows
42	* @param board
43	* On what board is this end of the link.
44	* @param direction
45	* In which direction does this end of the link go?
46	*/
47	@Immutable
48	public record End(@Valid BoardCoords board, @NotNull Direction direction) {	×
49	}
50
51	/**
52	* Create a down link description.
53	*
54	* @param board1
55	* Which board is one end of the link.
56	* @param dir1
57	* In which direction off of {@code board1} is the link.
58	* @param board2
59	* Which board is one end of the link.
60	* @param dir2
61	* In which direction off of {@code board2} is the link.
62	*/
63	public DownLink(BoardCoords board1, Direction dir1, BoardCoords board2,
64	Direction dir2) {
65	this(new End(board1, dir1), new End(board2, dir2));	×
66	}	×
67	}

SpiNNakerManchester / JavaSpiNNaker / 6233274834

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