src/jdk.jfr/share/classes/jdk/jfr/internal/consumer/RecordingInput.java
author egahlin
Fri, 17 May 2019 16:02:27 +0200
branchJEP-349-branch
changeset 57360 5d043a159d5c
parent 50113 caf115bb98ad
child 57386 acdd0dbe37ee
permissions -rw-r--r--
Preview
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
     1
/*
57360
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
     2
 * Copyright (c) 2016, 2019, Oracle and/or its affiliates. All rights reserved.
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
     4
 *
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    10
 *
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    15
 * accompanied this code).
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    16
 *
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    20
 *
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    23
 * questions.
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    24
 */
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    25
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    26
package jdk.jfr.internal.consumer;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    27
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    28
import java.io.DataInput;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    29
import java.io.EOFException;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    30
import java.io.File;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    31
import java.io.IOException;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    32
import java.io.RandomAccessFile;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    33
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    34
public final class RecordingInput implements DataInput, AutoCloseable {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    35
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    36
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    37
    private final static int DEFAULT_BLOCK_SIZE = 16 * 1024 * 1024;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    38
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    39
    private static final class Block {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    40
        private byte[] bytes = new byte[0];
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    41
        private long blockPosition;
57360
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    42
        private int size;
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    43
        boolean contains(long position) {
57360
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    44
            return position >= blockPosition && position < blockPosition + size;
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    45
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    46
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    47
        public void read(RandomAccessFile file, int amount) throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    48
            blockPosition = file.getFilePointer();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    49
            // reuse byte array, if possible
57360
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    50
            if (amount > bytes.length) {
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    51
                bytes = new byte[amount];
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    52
            }
57360
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    53
            this.size = amount;
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    54
            file.readFully(bytes, 0 , amount);
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    55
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    56
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    57
        public byte get(long position) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    58
            return bytes[(int) (position - blockPosition)];
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    59
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    60
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    61
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    62
    private final RandomAccessFile file;
57360
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    63
    private final String filename;
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    64
    private Block currentBlock = new Block();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    65
    private Block previousBlock = new Block();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    66
    private long position;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    67
    private final int blockSize;
57360
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    68
    private long size = -1; // Fail fast if setSize(...) has not been called before parsing
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    69
57360
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    70
    public RecordingInput(File f, int blockSize) throws IOException {
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    71
        this.blockSize = blockSize;
57360
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    72
        this.filename = f.getAbsolutePath().toString();
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    73
        this.file = new RandomAccessFile(f, "r");
57360
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    74
        if (f.length() < 8) {
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    75
            throw new IOException("Not a valid Flight Recorder file. File length is only " + f.length() + " bytes.");
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    76
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    77
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    78
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    79
    public RecordingInput(File f) throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    80
        this(f, DEFAULT_BLOCK_SIZE);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    81
    }
57360
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    82
    public void positionPhysical(long position) throws IOException {
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    83
        file.seek(position);
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    84
    }
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    85
    public final byte readPhysicalByte() throws IOException {
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    86
        return file.readByte();
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    87
    }
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    88
    public long readPhysicalLong() throws IOException {
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    89
        return file.readLong();
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
    90
    }
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    91
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    92
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    93
    public final byte readByte() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    94
        if (!currentBlock.contains(position)) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    95
            position(position);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    96
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    97
        return currentBlock.get(position++);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    98
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
    99
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   100
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   101
    public final void readFully(byte[] dest, int offset, int length) throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   102
        // TODO: Optimize, use Arrays.copy if all bytes are in current block
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   103
        // array
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   104
        for (int i = 0; i < length; i++) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   105
            dest[i + offset] = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   106
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   107
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   108
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   109
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   110
    public final void readFully(byte[] dst) throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   111
        readFully(dst, 0, dst.length);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   112
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   114
    public final short readRawShort() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   115
        // copied from java.io.Bits
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   116
        byte b0 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   117
        byte b1 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   118
        return (short) ((b1 & 0xFF) + (b0 << 8));
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   119
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   120
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   121
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   122
    public final double readDouble() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   123
        // copied from java.io.Bits
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   124
        return Double.longBitsToDouble(readRawLong());
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   125
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   126
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   127
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   128
    public final float readFloat() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   129
        // copied from java.io.Bits
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   130
        return Float.intBitsToFloat(readRawInt());
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   131
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   132
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   133
    public final int readRawInt() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   134
        // copied from java.io.Bits
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   135
        byte b0 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   136
        byte b1 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   137
        byte b2 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   138
        byte b3 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   139
        return ((b3 & 0xFF)) + ((b2 & 0xFF) << 8) + ((b1 & 0xFF) << 16) + ((b0) << 24);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   140
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   141
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   142
    public final long readRawLong() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   143
        // copied from java.io.Bits
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   144
        byte b0 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   145
        byte b1 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   146
        byte b2 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   147
        byte b3 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   148
        byte b4 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   149
        byte b5 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   150
        byte b6 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   151
        byte b7 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   152
        return ((b7 & 0xFFL)) + ((b6 & 0xFFL) << 8) + ((b5 & 0xFFL) << 16) + ((b4 & 0xFFL) << 24) + ((b3 & 0xFFL) << 32) + ((b2 & 0xFFL) << 40) + ((b1 & 0xFFL) << 48) + (((long) b0) << 56);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   153
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   154
57360
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   155
    public final long position() {
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   156
        return position;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   157
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   158
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   159
    public final void position(long newPosition) throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   160
        if (!currentBlock.contains(newPosition)) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   161
            if (!previousBlock.contains(newPosition)) {
57360
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   162
                if (newPosition > size) {
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   163
                    throw new EOFException("Trying to read at " + newPosition + ", but file is only " + size + " bytes.");
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   164
                }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   165
                long blockStart = trimToFileSize(calculateBlockStart(newPosition));
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   166
                file.seek(blockStart);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   167
                // trim amount to file size
57360
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   168
                long amount = Math.min(size - blockStart, blockSize);
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   169
                previousBlock.read(file, (int) amount);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   170
            }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   171
            // swap previous and current
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   172
            Block tmp = currentBlock;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   173
            currentBlock = previousBlock;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   174
            previousBlock = tmp;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   175
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   176
        position = newPosition;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   177
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   178
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   179
    private final long trimToFileSize(long position) throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   180
        return Math.min(size(), Math.max(0, position));
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   181
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   182
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   183
    private final long calculateBlockStart(long newPosition) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   184
        // align to end of current block
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   185
        if (currentBlock.contains(newPosition - blockSize)) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   186
            return currentBlock.blockPosition + currentBlock.bytes.length;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   187
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   188
        // align before current block
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   189
        if (currentBlock.contains(newPosition + blockSize)) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   190
            return currentBlock.blockPosition - blockSize;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   191
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   192
        // not near current block, pick middle
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   193
        return newPosition - blockSize / 2;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   194
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   195
57360
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   196
    public final long size() {
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   197
        return size;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   198
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   199
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   200
    public final void close() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   201
        file.close();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   202
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   203
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   204
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   205
    public final int skipBytes(int n) throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   206
        long position = position();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   207
        position(position + n);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   208
        return (int) (position() - position);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   209
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   210
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   211
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   212
    public final boolean readBoolean() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   213
        return readByte() != 0;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   214
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   215
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   216
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   217
    public int readUnsignedByte() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   218
        return readByte() & 0x00FF;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   219
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   220
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   221
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   222
    public int readUnsignedShort() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   223
        return readShort() & 0xFFFF;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   224
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   225
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   226
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   227
    public final String readLine() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   228
        throw new UnsupportedOperationException();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   229
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   230
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   231
    // NOTE, this method should really be called readString
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   232
    // but can't be renamed without making RecordingInput a
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   233
    // public class.
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   234
    //
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   235
    // This method DOES Not read as expected (s2 + utf8 encoded character)
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   236
    // instead it read:
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   237
    // byte encoding
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   238
    // int size
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   239
    // data (byte or char)
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   240
    //
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   241
    // where encoding
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   242
    //
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   243
    // 0, means null
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   244
    // 1, means UTF8 encoded byte array
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   245
    // 2, means char array
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   246
    // 3, means latin-1 (ISO-8859-1) encoded byte array
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   247
    // 4, means ""
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   248
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   249
    public String readUTF() throws IOException {
57360
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   250
        throw new UnsupportedOperationException("Use StringParser");
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   251
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   252
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   253
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   254
    public char readChar() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   255
        return (char) readLong();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   256
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   257
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   258
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   259
    public short readShort() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   260
        return (short) readLong();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   261
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   262
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   263
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   264
    public int readInt() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   265
        return (int) readLong();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   266
    }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   267
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   268
    @Override
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   269
    public long readLong() throws IOException {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   270
        // can be optimized by branching checks, but will do for now
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   271
        byte b0 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   272
        long ret = (b0 & 0x7FL);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   273
        if (b0 >= 0) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   274
            return ret;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   275
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   276
        int b1 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   277
        ret += (b1 & 0x7FL) << 7;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   278
        if (b1 >= 0) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   279
            return ret;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   280
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   281
        int b2 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   282
        ret += (b2 & 0x7FL) << 14;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   283
        if (b2 >= 0) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   284
            return ret;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   285
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   286
        int b3 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   287
        ret += (b3 & 0x7FL) << 21;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   288
        if (b3 >= 0) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   289
            return ret;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   290
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   291
        int b4 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   292
        ret += (b4 & 0x7FL) << 28;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   293
        if (b4 >= 0) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   294
            return ret;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   295
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   296
        int b5 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   297
        ret += (b5 & 0x7FL) << 35;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   298
        if (b5 >= 0) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   299
            return ret;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   300
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   301
        int b6 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   302
        ret += (b6 & 0x7FL) << 42;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   303
        if (b6 >= 0) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   304
            return ret;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   305
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   306
        int b7 = readByte();
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   307
        ret += (b7 & 0x7FL) << 49;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   308
        if (b7 >= 0) {
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   309
            return ret;
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   310
        }
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   311
        int b8 = readByte(); // read last byte raw
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   312
        return ret + (((long) (b8 & 0XFF)) << 56);
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   313
    }
57360
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   314
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   315
    public void setValidSize(long size) {
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   316
        if (size > this.size) {
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   317
            this.size = size;
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   318
        }
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   319
    }
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   320
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   321
    public long getFileSize() throws IOException {
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   322
        return file.length();
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   323
    }
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   324
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   325
    public String getFilename() {
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   326
        return filename;
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   327
    }
5d043a159d5c Preview
egahlin
parents: 50113
diff changeset
   328
50113
caf115bb98ad 8199712: Flight Recorder
egahlin
parents:
diff changeset
   329
}