42 #include "../my_config.h"
55 #define ESCAPE_FIXED_SEQUENCE_NORMAL 0xAD
56 #define ESCAPE_FIXED_SEQUENCE_SPARSE_FILE 0xAE
58 #define MAX_BUFFER_SIZE 204800
60 #if SSIZE_MAX < MAX_BUFFER_SIZE
61 #undef MAX_BUFFER_SIZE
62 #define MAX_BUFFER_SIZE SSIZE_MAX
72 class escape :
public generic_file
101 escape(generic_file *below,
102 const std::set<sequence_type> & x_unjumpable);
103 escape(
const escape & ref) :
generic_file(ref) { copy_from(ref); };
104 const escape & operator = (
const escape & ref);
109 void add_mark_at_current_position(sequence_type t);
117 bool skip_to_next_mark(sequence_type t,
bool jump);
118 bool next_to_read_is_mark(sequence_type t);
119 bool next_to_read_is_which_mark(sequence_type & t);
121 void add_unjumpable_mark(sequence_type t) {
if(
is_terminated())
throw SRC_BUG; unjumpable.insert(t); };
122 void remove_unjumpable_mark(sequence_type t);
123 bool is_unjumpable_mark(sequence_type t)
const {
return unjumpable.find(t) != unjumpable.end(); };
124 void clear_all_unjumpable_marks() { unjumpable.clear(); };
131 bool skip(
const infinint & pos);
133 bool skip_relative(S_I x);
134 infinint get_position();
139 U_I inherited_read(
char *a, U_I size);
140 void inherited_write(
const char *a, U_I size);
141 void inherited_sync_write() { flush_write(); };
142 void inherited_terminate() { flush_or_clean(); };
144 void change_fixed_escape_sequence(
unsigned char value) { fixed_sequence[0] = value; };
145 bool has_escaped_data_since_last_skip()
const {
return escaped_data_count_since_last_skip > 0; };
152 static const U_I ESCAPE_SEQUENCE_LENGTH = 6;
153 static const U_I WRITE_BUFFER_SIZE = 2*ESCAPE_SEQUENCE_LENGTH;
154 static const U_I READ_BUFFER_SIZE = MAX_BUFFER_SIZE;
163 static const unsigned char usual_fixed_sequence[ESCAPE_SEQUENCE_LENGTH];
168 U_I write_buffer_size;
169 char write_buffer[WRITE_BUFFER_SIZE];
171 U_I read_buffer_size;
174 U_I escape_seq_offset_in_buffer;
175 char read_buffer[READ_BUFFER_SIZE];
176 std::set<sequence_type> unjumpable;
177 unsigned char fixed_sequence[ESCAPE_SEQUENCE_LENGTH];
178 infinint escaped_data_count_since_last_skip;
182 void set_fixed_sequence_for(sequence_type t) { fixed_sequence[ESCAPE_SEQUENCE_LENGTH - 1] = type2char(t); };
183 void check_below() {
if(x_below == NULL)
throw SRC_BUG; };
184 void clean_data() { read_buffer_size = already_read = escape_seq_offset_in_buffer = 0; };
186 void flush_or_clean()
200 void copy_from(
const escape & ref);
201 bool mini_read_buffer();
206 static char type2char(sequence_type x);
207 static sequence_type char2type(
char x);
215 static U_I trouve_amorce(
const char *a, U_I size,
const unsigned char escape_sequence[ESCAPE_SEQUENCE_LENGTH]);
225 static U_I remove_data_marks_and_stop_at_first_real_mark(
char *a, U_I size, U_I & delta,
const unsigned char escape_sequence[ESCAPE_SEQUENCE_LENGTH]);