blob: bdf3445d20c30552b49ea5ea3b6e8fa1a731665d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
|
/*******************************************************************************
* Copyright (c) 2009, 2019 Mountainminds GmbH & Co. KG and Contributors
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* Marc R. Hoffmann - initial API and implementation
*
*******************************************************************************/
package org.jacoco.core.data;
import java.io.ByteArrayOutputStream;
import java.io.IOException;
import java.io.OutputStream;
import org.jacoco.core.internal.data.CompactDataOutput;
/**
* Serialization of execution data into binary streams.
*/
public class ExecutionDataWriter implements ISessionInfoVisitor,
IExecutionDataVisitor {
/** File format version, will be incremented for each incompatible change. */
public static final char FORMAT_VERSION;
static {
// Runtime initialize to ensure javac does not inline the value.
FORMAT_VERSION = 0x1007;
}
/** Magic number in header for file format identification. */
public static final char MAGIC_NUMBER = 0xC0C0;
/** Block identifier for file headers. */
public static final byte BLOCK_HEADER = 0x01;
/** Block identifier for session information. */
public static final byte BLOCK_SESSIONINFO = 0x10;
/** Block identifier for execution data of a single class. */
public static final byte BLOCK_EXECUTIONDATA = 0x11;
/** Underlying data output */
protected final CompactDataOutput out;
/**
* Creates a new writer based on the given output stream. Depending on the
* nature of the underlying stream output should be buffered as most data is
* written in single bytes.
*
* @param output
* binary stream to write execution data to
* @throws IOException
* if the header can't be written
*/
public ExecutionDataWriter(final OutputStream output) throws IOException {
this.out = new CompactDataOutput(output);
writeHeader();
}
/**
* Writes an file header to identify the stream and its protocol version.
*
* @throws IOException
* if the header can't be written
*/
private void writeHeader() throws IOException {
out.writeByte(BLOCK_HEADER);
out.writeChar(MAGIC_NUMBER);
out.writeChar(FORMAT_VERSION);
}
/**
* Flushes the underlying stream.
*
* @throws IOException
* if the underlying stream can't be flushed
*/
public void flush() throws IOException {
out.flush();
}
public void visitSessionInfo(final SessionInfo info) {
try {
out.writeByte(BLOCK_SESSIONINFO);
out.writeUTF(info.getId());
out.writeLong(info.getStartTimeStamp());
out.writeLong(info.getDumpTimeStamp());
} catch (final IOException e) {
throw new RuntimeException(e);
}
}
// BEGIN android-change
public void visitClassExecution(final IExecutionData data) {
// END android-change
if (data.hasHits()) {
try {
out.writeByte(BLOCK_EXECUTIONDATA);
out.writeLong(data.getId());
out.writeUTF(data.getName());
// BEGIN android-change
out.writeBooleanArray(data.getProbesCopy());
// END android-change
} catch (final IOException e) {
throw new RuntimeException(e);
}
}
}
/**
* Returns the first bytes of a file that represents a valid execution data
* file. In any case every execution data file starts with the three bytes
* <code>0x01 0xC0 0xC0</code>.
*
* @return first bytes of a execution data file
*/
public static final byte[] getFileHeader() {
final ByteArrayOutputStream buffer = new ByteArrayOutputStream();
try {
new ExecutionDataWriter(buffer);
} catch (final IOException e) {
// Must not happen with ByteArrayOutputStream
throw new AssertionError(e);
}
return buffer.toByteArray();
}
}
|
