Word Unperfect - XT-Emporium

File editor

#ifndef WP_APPLICATION_H
#define WP_APPLICATION_H

#include "wp_display_buffer.h"
#include "wp_file_format.h"
#include "wp_layout_shared.h"
#include "wp_memory_manager.h"
#include <stdbool.h>
#include <stddef.h>

typedef struct WpApplicationScreenStats {
    size_t records_seen;
    size_t text_bytes;
    size_t text_chars;
    size_t logical_lines;
    size_t visual_lines;
    size_t hard_pages;
    size_t soft_pages;
    size_t estimated_pages;
    size_t rendered_page;
    size_t rendered_line;
    size_t rendered_line_units; /* Hundredths of a display line; 421 => Ln 4.21". */
    size_t rendered_pos;
    size_t rendered_pos_units; /* Hundredths of a display position; 160 => Pos 1.6". */
    size_t viewport_first_row;
    size_t viewport_last_row;
    size_t viewport_rows;
    size_t max_column;
    size_t soft_wraps;
    size_t fixed_position_codes;
    size_t generated_fields;
    size_t clipped_chars;
    size_t status_row;
    size_t cursor_row;
    size_t cursor_col;
    bool output_truncated;
} WpApplicationScreenStats;

typedef struct WpApplicationEditorStats {
    size_t operations;
    size_t move_operations;
    size_t insert_operations;
    size_t delete_operations;
    size_t attribute_operations;
    size_t save_operations;
    size_t rejected_operations;
    size_t cursor_text_offset;
    size_t final_text_units;
    bool saved;
} WpApplicationEditorStats;

/* One-shot smoke pipeline: parse head of primary buffer, sync Reveal Codes, run layout line. */
int wp_application_run_smoke_pipeline(WpLayoutGlobals *wl, WpVirtualMemory *vm, WpDisplayBuffer *db);

/* Run a full format pass on a file and print statistics to stdout. */
int wp_application_run_format_pass(const char *filename);

bool wp_application_render_file_screen(const char *filename,
                                       WpDisplayBuffer *db,
                                       WpApplicationScreenStats *out_stats);
bool wp_application_render_file_screen_view(const char *filename,
                                            size_t target_page,
                                            size_t first_row,
                                            WpDisplayBuffer *db,
                                            WpApplicationScreenStats *out_stats);
bool wp_application_render_file_screen_view_status(const char *filename,
                                                   size_t target_page,
                                                   size_t first_row,
                                                   size_t rendered_line,
                                                   WpDisplayBuffer *db,
                                                   WpApplicationScreenStats *out_stats);
bool wp_application_render_file_screen_view_status_units(const char *filename,
                                                         size_t target_page,
                                                         size_t first_row,
                                                         size_t rendered_line_units,
                                                         WpDisplayBuffer *db,
                                                         WpApplicationScreenStats *out_stats);
bool wp_application_render_file_screen_view_status_units_pos(const char *filename,
                                                             size_t target_page,
                                                             size_t first_row,
                                                             size_t rendered_line_units,
                                                             size_t rendered_pos,
                                                             WpDisplayBuffer *db,
                                                             WpApplicationScreenStats *out_stats);
bool wp_application_render_file_screen_view_status_units_pos_units(const char *filename,
                                                                   size_t target_page,
                                                                   size_t first_row,
                                                                   size_t rendered_line_units,
                                                                   size_t rendered_pos_units,
                                                                   WpDisplayBuffer *db,
                                                                   WpApplicationScreenStats *out_stats);
bool wp_application_render_file_screen_view_status_units_pos_units_render_page(const char *filename,
                                                                               size_t status_page,
                                                                               size_t render_page,
                                                                               size_t first_row,
                                                                               size_t rendered_line_units,
                                                                               size_t rendered_pos_units,
                                                                               WpDisplayBuffer *db,
                                                                               WpApplicationScreenStats *out_stats);
bool wp_application_render_loaded_file_screen_view_status_units_pos_units_render_page(WpLoadedFile *file,
                                                                                      const char *filename,
                                                                                      size_t status_page,
                                                                                      size_t render_page,
                                                                                      size_t first_row,
                                                                                      size_t rendered_line_units,
                                                                                      size_t rendered_pos_units,
                                                                                      WpDisplayBuffer *db,
                                                                                      WpApplicationScreenStats *out_stats);
int wp_application_print_screen_summary(const char *filename);
int wp_application_print_screen_summary_view(const char *filename,
                                             size_t target_page,
                                             size_t first_row);
int wp_application_print_screen_summary_view_status(const char *filename,
                                                    size_t target_page,
                                                    size_t first_row,
                                                    size_t rendered_line);
int wp_application_print_screen_summary_view_status_units(const char *filename,
                                                          size_t target_page,
                                                          size_t first_row,
                                                          size_t rendered_line_units);
int wp_application_print_screen_summary_view_status_units_pos(const char *filename,
                                                              size_t target_page,
                                                              size_t first_row,
                                                              size_t rendered_line_units,
                                                              size_t rendered_pos);
int wp_application_print_screen_summary_view_status_units_pos_units(const char *filename,
                                                                    size_t target_page,
                                                                    size_t first_row,
                                                                    size_t rendered_line_units,
                                                                    size_t rendered_pos_units);
int wp_application_print_screen_summary_view_status_units_pos_units_render_page(const char *filename,
                                                                                size_t status_page,
                                                                                size_t render_page,
                                                                                size_t first_row,
                                                                                size_t rendered_line_units,
                                                                                size_t rendered_pos_units);

bool wp_application_replay_editor_script(const char *input_filename,
                                         const char *output_filename,
                                         const char *script_filename,
                                         WpApplicationEditorStats *out_stats);

#endif
Commit message
This repository is read-only for this account.
Repository snapshot

Current branch
main
Visibility
public
Your access
Read
Remote
None
File activity

View file history