8 |
|
|
9 |
public class DiffBlock extends StormFilerBlock { |
public class DiffBlock extends StormFilerBlock { |
10 |
|
|
11 |
public DiffBlock() { super(null, null); } |
public final Version.Diff diff; |
12 |
|
public final Header822 headerFrom; |
13 |
|
public final Header822 headerTo; |
14 |
|
|
15 |
|
public DiffBlock(Header822 header, Version.Diff diff, |
16 |
|
Header822 headerFrom, Header822 headerTo, |
17 |
|
VersionFormat format) { |
18 |
|
super(header, format); |
19 |
|
|
20 |
|
this.diff = diff; |
21 |
|
this.headerFrom = headerFrom; |
22 |
|
this.headerTo = headerTo; |
23 |
|
} |
24 |
|
|
25 |
|
public void writeTo(OutputStream out) throws IOException { |
26 |
|
header.writeTo(out); |
27 |
|
headerFrom.writeTo(out); |
28 |
|
headerTo.writeTo(out); |
29 |
|
format.writeDiff(out, diff); |
30 |
|
} |
31 |
} |
} |