Source file "org/checkerframework/checker/signedness/SignednessUtil.java" was not found during generation of report.
| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 370 of 370 | 0% | 36 of 36 | 0% | 78 | 78 | 83 | 83 | 60 | 60 |
| toUnsignedBigInteger(long) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| byteFromFloat(float) | | 0% | | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| shortFromFloat(float) | | 0% | | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| byteFromDouble(double) | | 0% | | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| shortFromDouble(double) | | 0% | | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| intFromFloat(float) | | 0% | | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| longFromFloat(float) | | 0% | | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| intFromDouble(double) | | 0% | | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| longFromDouble(double) | | 0% | | 0% | 3 | 3 | 2 | 2 | 1 | 1 |
| static {...} | | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| SignednessUtil() | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| getUnsigned(ByteBuffer, byte[], int, int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| putUnsigned(IntBuffer, int[], int, int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| readUnsigned(RandomAccessFile, byte[], int, int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| writeUnsigned(RandomAccessFile, byte[], int, int) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| compareUnsigned(short, short) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| compareUnsigned(byte, byte) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| wrapUnsigned(byte[], int, int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| putUnsigned(ByteBuffer, int, byte) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| putUnsigned(IntBuffer, int, int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| putUnsignedShort(ByteBuffer, int, short) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| putUnsignedInt(ByteBuffer, int, int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| putUnsignedLong(ByteBuffer, int, long) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| writeUnsignedByte(RandomAccessFile, byte) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| writeUnsignedChar(RandomAccessFile, char) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| writeUnsignedShort(RandomAccessFile, short) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| getUnsigned(ByteBuffer, byte[]) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| toUnsignedString(short, int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| toUnsignedString(byte, int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| toUnsignedShort(byte) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| toUnsignedLong(char) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| toUnsignedShort(char) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| toFloat(byte) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| toFloat(short) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| toFloat(int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| toDouble(byte) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| toDouble(short) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| toDouble(int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| getUnsigned(ByteBuffer, int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| putUnsigned(ByteBuffer, byte) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| putUnsigned(IntBuffer, int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| putUnsigned(IntBuffer, int[]) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| getUnsigned(IntBuffer, int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| putUnsignedShort(ByteBuffer, short) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| putUnsignedInt(ByteBuffer, int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| readFullyUnsigned(RandomAccessFile, byte[]) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| writeUnsignedInt(RandomAccessFile, int) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| writeUnsignedLong(RandomAccessFile, long) | | 0% | n/a | 1 | 1 | 2 | 2 | 1 | 1 | |
| toUnsignedString(short) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| toUnsignedString(byte) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| toUnsignedInt(char) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| toFloat(long) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| toDouble(long) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| wrapUnsigned(byte[]) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| getUnsignedInt(ByteBuffer) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| getUnsignedShort(ByteBuffer) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| getUnsigned(ByteBuffer) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| readUnsignedChar(RandomAccessFile) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| readUnsignedInt(RandomAccessFile) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| readUnsignedLong(RandomAccessFile) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 |