@@ -29,9 +29,6 @@ static void prune_movements(int32_t l);
2929static void special_out (int32_t p );
3030static void write_out (int32_t p );
3131static void pic_out (int32_t p );
32- static void dvi_four (int32_t x );
33- static void dvi_two (UTF16_code s );
34- static void dvi_pop (int32_t l );
3532static void dvi_font_def (internal_font_number f );
3633
3734
@@ -163,7 +160,7 @@ ship_out(int32_t p)
163160
164161 /* First page? Emit preamble items. */
165162
166- if (total_pages == 0 ) {
163+ if (total_pages () == 0 ) {
167164 dvi_out (PRE );
168165
169166 if (semantic_pagination_enabled )
@@ -233,7 +230,7 @@ ship_out(int32_t p)
233230 hlist_out ();
234231
235232 dvi_out (EOP );
236- total_pages ++ ;
233+ set_total_pages ( total_pages () + 1 ) ;
237234 set_cur_s (-1 );
238235
239236done :
@@ -2265,13 +2262,13 @@ finalize_dvi_file(void)
22652262 dvi_out (POP );
22662263 } else {
22672264 dvi_out (EOP );
2268- total_pages ++ ;
2265+ set_total_pages ( total_pages () + 1 ) ;
22692266 }
22702267
22712268 set_cur_s (cur_s ()- 1 );
22722269 }
22732270
2274- if (total_pages == 0 ) {
2271+ if (total_pages () == 0 ) {
22752272 print_nl_cstr ("No pages of output." );
22762273 return ;
22772274 }
@@ -2291,8 +2288,8 @@ finalize_dvi_file(void)
22912288 dvi_four (max_h );
22922289 dvi_out (max_push / 256 );
22932290 dvi_out (max_push % 256 );
2294- dvi_out ((total_pages / 256 ) % 256 );
2295- dvi_out (total_pages % 256 );
2291+ dvi_out ((total_pages () / 256 ) % 256 );
2292+ dvi_out (total_pages () % 256 );
22962293
22972294 while (font_ptr > FONT_BASE ) {
22982295 if (font_used [font_ptr ])
@@ -2332,8 +2329,8 @@ finalize_dvi_file(void)
23322329 print_nl_cstr ("Output written on " );
23332330 print (output_file_name );
23342331 print_cstr (" (" );
2335- print_int (total_pages );
2336- if (total_pages != 1 )
2332+ print_int (total_pages () );
2333+ if (total_pages () != 1 )
23372334 print_cstr (" pages" );
23382335 else
23392336 print_cstr (" page" );
@@ -2352,42 +2349,3 @@ finalize_dvi_file(void)
23522349 /* XeTeX adds history = OUTPUT_FAILURE = 4 here; I'm not implementing that. */
23532350 }
23542351}
2355-
2356-
2357- static void
2358- dvi_four (int32_t x )
2359- {
2360- if (x >= 0 ) {
2361- dvi_out (x / 0x1000000 );
2362- } else {
2363- x = x + 0x40000000 ;
2364- x = x + 0x40000000 ;
2365- dvi_out ((x / 0x1000000 ) + 128 );
2366- }
2367-
2368- x = x % 0x1000000 ;
2369- dvi_out (x / 0x10000 );
2370-
2371- x = x % 0x10000 ;
2372- dvi_out (x / 0x100 );
2373- dvi_out (x % 0x100 );
2374- }
2375-
2376-
2377- static void
2378- dvi_two (UTF16_code s )
2379- {
2380- dvi_out (s / 0x100 );
2381- dvi_out (s % 0x100 );
2382- }
2383-
2384-
2385- static void
2386- dvi_pop (int32_t l )
2387- {
2388- if (l == dvi_offset () + dvi_ptr () && dvi_ptr () > 0 ) {
2389- set_dvi_ptr (dvi_ptr ()- 1 );
2390- } else {
2391- dvi_out (POP );
2392- }
2393- }
0 commit comments