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
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
|
/* Copyright 2016 Software Freedom Conservancy Inc.
*
* This software is licensed under the GNU LGPL (version 2.1 or later).
* See the COPYING file in this distribution.
*/
class PngFileFormatProperties : PhotoFileFormatProperties {
private static string[] KNOWN_EXTENSIONS = { "png" };
private static string[] KNOWN_MIME_TYPES = { "image/png" };
private static PngFileFormatProperties instance = null;
public static void init() {
instance = new PngFileFormatProperties();
}
public static PngFileFormatProperties get_instance() {
return instance;
}
public override PhotoFileFormat get_file_format() {
return PhotoFileFormat.PNG;
}
public override PhotoFileFormatFlags get_flags() {
return PhotoFileFormatFlags.NONE;
}
public override string get_user_visible_name() {
return _("PNG");
}
public override string get_default_extension() {
return KNOWN_EXTENSIONS[0];
}
public override string[] get_known_extensions() {
return KNOWN_EXTENSIONS;
}
public override string get_default_mime_type() {
return KNOWN_MIME_TYPES[0];
}
public override string[] get_mime_types() {
return KNOWN_MIME_TYPES;
}
}
public class PngSniffer : GdkSniffer {
private const uint8[] MAGIC_SEQUENCE = { 137, 80, 78, 71, 13, 10, 26, 10 };
public PngSniffer(File file, PhotoFileSniffer.Options options) {
base (file, options);
}
private static bool is_png_file(File file) throws Error {
FileInputStream instream = file.read(null);
uint8[] file_lead_sequence = new uint8[MAGIC_SEQUENCE.length];
instream.read(file_lead_sequence, null);
for (int i = 0; i < MAGIC_SEQUENCE.length; i++) {
if (file_lead_sequence[i] != MAGIC_SEQUENCE[i])
return false;
}
return true;
}
public override DetectedPhotoInformation? sniff(out bool is_corrupted) throws Error {
// Rely on GdkSniffer to detect corruption
is_corrupted = false;
if (!is_png_file(file))
return null;
DetectedPhotoInformation? detected = base.sniff(out is_corrupted);
if (detected == null)
return null;
return (detected.file_format == PhotoFileFormat.PNG) ? detected : null;
}
}
public class PngReader : GdkReader {
public PngReader(string filepath) {
base (filepath, PhotoFileFormat.PNG);
}
public override Gdk.Pixbuf scaled_read(Dimensions full, Dimensions scaled) throws Error {
Gdk.Pixbuf result = null;
/* if we encounter a situation where there are two orders of magnitude or more of
difference between the full image size and the scaled size, and if the full image
size has five or more decimal digits of precision, Gdk.Pixbuf.from_file_at_scale( ) can
fail due to what appear to be floating-point round-off issues. This isn't surprising,
since 32-bit floats only have 6-7 decimal digits of precision in their mantissa. In
this case, we prefetch the image at a larger scale and then downsample it to the
desired scale as a post-process step. This short-circuits Gdk.Pixbuf's buggy
scaling code. */
if (((full.width > 9999) || (full.height > 9999)) && ((scaled.width < 100) ||
(scaled.height < 100))) {
Dimensions prefetch_dimensions = full.get_scaled_by_constraint(1000,
ScaleConstraint.DIMENSIONS);
result = new Gdk.Pixbuf.from_file_at_scale(get_filepath(), prefetch_dimensions.width,
prefetch_dimensions.height, false);
result = result.scale_simple(scaled.width, scaled.height, Gdk.InterpType.HYPER);
} else {
result = new Gdk.Pixbuf.from_file_at_scale(get_filepath(), scaled.width,
scaled.height, false);
}
return result;
}
}
public class PngWriter : PhotoFileWriter {
public PngWriter(string filepath) {
base (filepath, PhotoFileFormat.PNG);
}
public override void write(Gdk.Pixbuf pixbuf, Jpeg.Quality quality) throws Error {
pixbuf.save(get_filepath(), "png", "compression", "9", null);
}
}
public class PngMetadataWriter : PhotoFileMetadataWriter {
public PngMetadataWriter(string filepath) {
base (filepath, PhotoFileFormat.PNG);
}
public override void write_metadata(PhotoMetadata metadata) throws Error {
metadata.write_to_file(get_file());
}
}
public class PngFileFormatDriver : PhotoFileFormatDriver {
private static PngFileFormatDriver instance = null;
public static void init() {
instance = new PngFileFormatDriver();
PngFileFormatProperties.init();
}
public static PngFileFormatDriver get_instance() {
return instance;
}
public override PhotoFileFormatProperties get_properties() {
return PngFileFormatProperties.get_instance();
}
public override PhotoFileReader create_reader(string filepath) {
return new PngReader(filepath);
}
public override bool can_write_image() {
return true;
}
public override bool can_write_metadata() {
return true;
}
public override PhotoFileWriter? create_writer(string filepath) {
return new PngWriter(filepath);
}
public override PhotoFileMetadataWriter? create_metadata_writer(string filepath) {
return new PngMetadataWriter(filepath);
}
public override PhotoFileSniffer create_sniffer(File file, PhotoFileSniffer.Options options) {
return new PngSniffer(file, options);
}
public override PhotoMetadata create_metadata() {
return new PhotoMetadata();
}
}
|
