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
|
/* 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.
*/
namespace Photos {
class GifFileFormatProperties : PhotoFileFormatProperties {
private static string[] KNOWN_EXTENSIONS = { "gif" };
private static string[] KNOWN_MIME_TYPES = { "image/gif" };
private static GifFileFormatProperties instance = null;
public static void init() {
instance = new GifFileFormatProperties();
}
public static GifFileFormatProperties 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 _("GIF");
}
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 GifSniffer : GdkSniffer {
private const uint8[] MAGIC_SEQUENCE = { (uint8)'G', (uint8)'I', (uint8)'F', (uint8)'8' };
public GifSniffer(File file, PhotoFileSniffer.Options options) {
base (file, options);
}
private static bool is_gif_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);
return Posix.memcmp (file_lead_sequence, MAGIC_SEQUENCE, MAGIC_SEQUENCE.length) == 0;
}
public override DetectedPhotoInformation? sniff(out bool is_corrupted) throws Error {
// Rely on GdkSniffer to detect corruption
is_corrupted = false;
if (!is_gif_file(file))
return null;
DetectedPhotoInformation? detected = base.sniff(out is_corrupted);
if (detected == null)
return null;
return (detected.file_format == PhotoFileFormat.GIF) ? detected : null;
}
}
public class GifReader : GdkReader {
public GifReader(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 GifMetadataWriter : PhotoFileMetadataWriter {
public GifMetadataWriter(string filepath) {
base (filepath, PhotoFileFormat.GIF);
}
public override void write_metadata(PhotoMetadata metadata) throws Error {
metadata.write_to_file(get_file());
}
}
public class GifFileFormatDriver : PhotoFileFormatDriver {
private static GifFileFormatDriver instance = null;
public static void init() {
instance = new GifFileFormatDriver();
GifFileFormatProperties.init();
}
public static GifFileFormatDriver get_instance() {
return instance;
}
public override PhotoFileFormatProperties get_properties() {
return GifFileFormatProperties.get_instance();
}
public override PhotoFileReader create_reader(string filepath) {
return new GifReader(filepath);
}
public override bool can_write_image() {
return false;
}
public override bool can_write_metadata() {
return true;
}
public override PhotoFileWriter? create_writer(string filepath) {
return null;
}
public override PhotoFileMetadataWriter? create_metadata_writer(string filepath) {
return new GifMetadataWriter(filepath);
}
public override PhotoFileSniffer create_sniffer(File file, PhotoFileSniffer.Options options) {
return new GifSniffer(file, options);
}
public override PhotoMetadata create_metadata() {
return new PhotoMetadata();
}
}
}
|
