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

14.29

/SpiNNaker-comms/src/main/java/uk/ac/manchester/spinnaker/messages/bmp/ReadIPAddress.java

/*
 * Copyright (c) 2022 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.messages.bmp;

import static java.lang.System.arraycopy;
import static java.net.InetAddress.getByAddress;
import static uk.ac.manchester.spinnaker.messages.bmp.BMPInfo.IP_ADDR;
import static uk.ac.manchester.spinnaker.messages.scp.SCPCommand.CMD_BMP_INFO;

import java.net.InetAddress;
import java.net.UnknownHostException;
import java.nio.ByteBuffer;

import uk.ac.manchester.spinnaker.machine.board.BMPBoard;
import uk.ac.manchester.spinnaker.messages.model.Addresses;
import uk.ac.manchester.spinnaker.messages.model.UnexpectedResponseCodeException;

/**
 * A request for the IP address data from a BMP. The response payload is the
 * {@linkplain Addresses pair of addresses} that the board is configured to
 * have.
 * <p>
 * Handled by {@code cmd_bmp_info()} in {@code bmp_cmd.c}.
 */
public final class ReadIPAddress extends BMPRequest<ReadIPAddress.Response> {
        /**
         * @param board
         *            which board to request the IP address data from
         */
        public ReadIPAddress(BMPBoard board) {
                super(board, CMD_BMP_INFO, IP_ADDR.value);
        }

        @Override
        public Response getSCPResponse(ByteBuffer buffer) throws Exception {
                return new Response(buffer);
        }

        private static final int CHUNK_LEN = 32;

        private static final int IP_OFFSET = 8;

        private static final int IP_LEN = 4;

        /**
         * Get a slice out of the result buffer and pick the IP address out of that.
         *
         * @param buffer
         *            The result buffer. Position will be updated.
         * @return The parsed IP address.
         * @throws UnknownHostException
         *             Unexpected; we are presenting the right number of bytes.
         */
        private static InetAddress getIP(ByteBuffer buffer)
                        throws UnknownHostException {
                /*
                 * NB: CHUNK_LEN != IP_LEN so we *must* copy like this or otherwise
                 * mess around with the buffer position. This is easiest.
                 */
                var chunk = new byte[CHUNK_LEN];
                buffer.get(chunk);
                var bytes = new byte[IP_LEN];
                arraycopy(chunk, IP_OFFSET, bytes, 0, IP_LEN);
                return getByAddress(bytes);
        }

        /** An SCP response to a request for IP address information. */
        protected final class Response
                        extends BMPRequest.PayloadedResponse<Addresses> {
                private Response(ByteBuffer buffer)
                                throws UnexpectedResponseCodeException {
                        super("Read IP Address Data", CMD_BMP_INFO, buffer);
                }

                /** @return The addresses of the SpiNNaker board. */
                @Override
                protected Addresses parse(ByteBuffer buffer) {
                        try {
                                // Tricky point: order of evaluation matters
                                return new Addresses(getIP(buffer), getIP(buffer));
                        } catch (UnknownHostException e) {
                                // Should be unreachable
                                return null;
                        }
                }
        }
}

1	/*
2	* Copyright (c) 2022 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.messages.bmp;
17
18	import static java.lang.System.arraycopy;
19	import static java.net.InetAddress.getByAddress;
20	import static uk.ac.manchester.spinnaker.messages.bmp.BMPInfo.IP_ADDR;
21	import static uk.ac.manchester.spinnaker.messages.scp.SCPCommand.CMD_BMP_INFO;
22
23	import java.net.InetAddress;
24	import java.net.UnknownHostException;
25	import java.nio.ByteBuffer;
26
27	import uk.ac.manchester.spinnaker.machine.board.BMPBoard;
28	import uk.ac.manchester.spinnaker.messages.model.Addresses;
29	import uk.ac.manchester.spinnaker.messages.model.UnexpectedResponseCodeException;
30
31	/**
32	* A request for the IP address data from a BMP. The response payload is the
33	* {@linkplain Addresses pair of addresses} that the board is configured to
34	* have.
35	* <p>
36	* Handled by {@code cmd_bmp_info()} in {@code bmp_cmd.c}.
37	*/
38	public final class ReadIPAddress extends BMPRequest<ReadIPAddress.Response> {
39	/**
40	* @param board
41	* which board to request the IP address data from
42	*/
43	public ReadIPAddress(BMPBoard board) {
44	super(board, CMD_BMP_INFO, IP_ADDR.value);	1✔
45	}	1✔
46
47	@Override
48	public Response getSCPResponse(ByteBuffer buffer) throws Exception {
49	return new Response(buffer);	×
50	}
51
52	private static final int CHUNK_LEN = 32;
53
54	private static final int IP_OFFSET = 8;
55
56	private static final int IP_LEN = 4;
57
58	/**
59	* Get a slice out of the result buffer and pick the IP address out of that.
60	*
61	* @param buffer
62	* The result buffer. Position will be updated.
63	* @return The parsed IP address.
64	* @throws UnknownHostException
65	* Unexpected; we are presenting the right number of bytes.
66	*/
67	private static InetAddress getIP(ByteBuffer buffer)
68	throws UnknownHostException {
69	/*
70	* NB: CHUNK_LEN != IP_LEN so we must copy like this or otherwise
71	* mess around with the buffer position. This is easiest.
72	*/
73	var chunk = new byte[CHUNK_LEN];	×
74	buffer.get(chunk);	×
75	var bytes = new byte[IP_LEN];	×
76	arraycopy(chunk, IP_OFFSET, bytes, 0, IP_LEN);	×
77	return getByAddress(bytes);	×
78	}
79
80	/** An SCP response to a request for IP address information. */
81	protected final class Response
82	extends BMPRequest.PayloadedResponse<Addresses> {
83	private Response(ByteBuffer buffer)
84	throws UnexpectedResponseCodeException {	×
85	super("Read IP Address Data", CMD_BMP_INFO, buffer);	×
86	}	×
87
88	/** @return The addresses of the SpiNNaker board. */
89	@Override
90	protected Addresses parse(ByteBuffer buffer) {
91	try {
92	// Tricky point: order of evaluation matters
93	return new Addresses(getIP(buffer), getIP(buffer));	×
94	} catch (UnknownHostException e) {	×
95	// Should be unreachable
96	return null;	×
97	}
98	}
99	}
100	}

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